Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 01567478
Price: 1540 CZK
Availability: InStock

Roy Dyckhoff

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01567478

Nakladatelství Springer, Berlin, listopadu 1999

This book constitutes the refereed proceedings of the International Conference on Automated Reasonin... Celý popis

Libristo kód: 01567478

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Kol dějů Petr Pazdera Payne

/ binding.

121 Kč

Dynamic Sun A. Hanslmeier

/ Pevná

3 815 Kč

Membrane Trafficking in Viral Replication M. Marsh

/ Pevná

4 671 Kč

Abridgment of That Eminent Patriot Mr. John Trenchard's History of Standing Armies in England. with an Incomparable Preface Upon Government JOHN TRENCHARD

/ Pevná

719 Kč

Aristotle and Rational Discovery Russell Winslow

/ Pevná

6 080 Kč

Travelling Wild: Expedition to the Arctic Alex Woolf

/ Brožovaná

306 Kč

Britain, 1846-1919 Jocelyn Hunt

/ Brožovaná

1 494 Kč

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.§The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.

Informace o knize

Plný název Automated Reasoning with Analytic Tableaux and Related Methods

Autor Roy Dyckhoff

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2000

Počet stran 440

EAN 9783540676973

ISBN 354067697X

Libristo kód 01567478

Nakladatelství Springer, Berlin

Váha 635

Rozměry 155 x 235 x 23

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Umělá inteligence

Medicína a ošetřovatelství > Medicína: obecná témata

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce