TY  - BOOK
AU  - Wos, Larry
TI  - Automated reasoning: 33 basic research problems
PY  - 1988///
CY  - Englewood
PB  - Prentice-Hall of India
KW  - Research problems
KW  - Computer systems
KW  - Computer operating systems
KW  - Computer peripherals
KW  - Computer software
KW  - Computer science
KW  - Electronic data procressing
KW  - AI (Artificial intelligence)
KW  - Electronic brains
KW  - Intelligence, Artificial
KW  - Machine intelligence
KW  - Artificial intelligence
KW  - Expert systems
KW  - Bionics
KW  - computer reasoning
KW  - automated reasoning
ER  -