Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Automated Reasoning with Analytic Tableaux and Related Methods

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

Roy Dyckhoff

Język

Angielski

Książka Miękka

Kod Libristo: 01567478

Wydawnictwo Springer, Berlin, listopad 1999

This book constitutes the refereed proceedings of the International Conference on Automated Reasonin... Cały opis

Kod Libristo: 01567478

147 b

252.27 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 10-14 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Kol dějů Petr Pazdera Payne

/ binding.

19.19 zł

Britain, 1846-1919 Jocelyn Hunt

/ Miękka

244.83 zł

Membrane Trafficking in Viral Replication M. Marsh

/ Twarda

764.76 zł

Dynamic Sun A. Hanslmeier

/ Twarda

620.07 zł

Aristotle and Rational Discovery Russell Winslow

/ Twarda

999.44 zł

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.

Informacje o książce

Pełna nazwa Automated Reasoning with Analytic Tableaux and Related Methods

Autor Roy Dyckhoff

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2000

Liczba stron 440

EAN 9783540676973

ISBN 354067697X

Kod Libristo 01567478

Wydawnictwo Springer, Berlin

Waga 635

Wymiary 155 x 235 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja

Medycyna i opieka zdrowotna > Medycyna – zagadnienia ogólne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Dostawa

Doradca ds. zakupów