Clausal form logic an introduction to the logic of computer reasoning

Clausal form logic an introduction to the logic of computer reasoning

Mostra tutte le versioni (2)
Dettagli Bibliografici
Autore principale: Richards, Tom
Natura: Libro
Lingua:English
Pubblicazione: Sydney Addison-Wesley c1989.
Soggetti:
Expert systems (Computer science).
Artificial intelligence.
Logic, Symbolic and mathematical.
Reasoning.