Gå direkte til innholdet
Automated Theorem Proving
Spar

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.
Opplag
Second Edition 1987
ISBN
9783528185206
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
1.1.1987
Antall sider
289