Gå direkt till innehållet
Automated Theorem Proving
Spara

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.
Författare
Wolfgang Bibel
Upplaga
Second Edition 1987
ISBN
9783528185206
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1987-01-01
Sidor
289