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 Deduction - CADE-14

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Deduction - CADE-14 William McCune
Libristo kod: 01566388
Nakladnici Springer, Berlin, studeni 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
World of Warcraft: The Shattering Christie Golden / Meki uvez
common.buy 8.04 €
Anthropology and the Bushman Alan Barnard / Meki uvez
common.buy 45.68 €
Global Theory of Dynamical Systems Z. Nitecki / Meki uvez
common.buy 77.38 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Meki uvez
common.buy 80.80 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Tvrdi uvez
common.buy 185.76 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Tvrdi uvez
common.buy 88.55 €
Chaines de Markov sur les Permutations J.-E. Dies / Meki uvez
common.buy 50.41 €

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

Informacije o knjizi

Puni naziv Automated Deduction - CADE-14
Autor William McCune
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 469
EAN 9783540631040
ISBN 3540631046
Libristo kod 01566388
Nakladnici Springer, Berlin
Težina 632
Dimenzije 156 x 234 x 24

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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