Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning
Your Guide to Automated Reasoning
Omschrijving
This text demonstrates - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program.
Ik heb een vraag over het boek:
‘Fascinating Country In The World Of Computing, A: Your Guide To Automated Reasoning - Larry Wos, Gail W. Pieper’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
