Automated Deduction in Equational Logic and Cubic Curves - Lecture Notes in Computer Science - William Mccune - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540613985 - 12. junija 1996
Če se naslovnica in naslov ne ujemata, je naslov pravilen

William Mccune
Automated Deduction in Equational Logic and Cubic Curves - Lecture Notes in Computer Science 1996 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 29. okt - 6. nov
Prejemajte obvestila o novih izdajah izvajalca William Mccune

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

This text resulted from co-operation between a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics. This book presents their results.

238 pages, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 12. junija 1996
ISBN13 9783540613985
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 238
Dimenzije 155 × 233 × 13 mm   ·   358 g
Jezik Angleščina  

Več od William Mccune

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh William Mccune