Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation Softcover reprint of the original 1st ed. 1983 edition

J Siekmann

Cena

zł 516,90

Zamówione z odległego magazynu

Przewidywana dostawa 25 lis - 4 gru

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation Softcover reprint of the original 1st ed. 1983 edition

The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.

656 pages, biography

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	9 lutego 2012
ISBN13	9783642819575
Wydawcy	Springer-Verlag Berlin and Heidelberg Gm
Strony	637
Wymiary	170 × 244 × 33 mm · 1,03 kg
Język	German
Redaktor	Siekmann, J.
Redaktor	Wrightson, G.

Pokaż wszystko

Więcej od J Siekmann

Zobacz wszystko od J Siekmann ( np. Paperback Book )