phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Automated Reasoning with Analytic Tableaux and Related Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Reasoning with Analytic Tableaux and Related Methods Roy Dyckhoff
Libristo kod: 01567478
Nakladnici Springer, Berlin, studeni 1999
This book constitutes the refereed proceedings of the International Conference on Automated Reasonin... Cijeli opis
? points 154 b
61.56 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Kol dějů Petr Pazdera Payne / binding.
common.buy 4.44 €
Dynamic Sun A. Hanslmeier / Tvrdi uvez
common.buy 152.45 €
Membrane Trafficking in Viral Replication M. Marsh / Tvrdi uvez
common.buy 186.62 €
Abridgment of That Eminent Patriot Mr. John Trenchard's History of Standing Armies in England. with an Incomparable Preface Upon Government JOHN TRENCHARD / Tvrdi uvez
common.buy 28.70 €
Aristotle and Rational Discovery Russell Winslow / Tvrdi uvez
common.buy 242.93 €
Travelling Wild: Expedition to the Arctic Alex Woolf / Meki uvez
common.buy 12.22 €
Britain, 1846-1919 Jocelyn Hunt / Meki uvez
common.buy 59.64 €

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.

Informacije o knjizi

Puni naziv Automated Reasoning with Analytic Tableaux and Related Methods
Autor Roy Dyckhoff
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2000
Broj stranica 440
EAN 9783540676973
ISBN 354067697X
Libristo kod 01567478
Nakladnici Springer, Berlin
Težina 635
Dimenzije 155 x 235 x 23

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Medicine & Nursing > Medicine: general issues
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun