Siirry suoraan sisältöön
Automated Theorem Proving
Tallenna

Automated Theorem Proving

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity.
Kirjailija
Wolfgang Bibel
Painos
Second Edition 1987
ISBN
9783528185206
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
1.1.1987
Sivumäärä
289