Normal view
MARC view
Logic and deduction (Topical Term)
Machine generated authority record
Work cat.: (OSt)185146: Charniak, Eugene. 246521, Introduction to artificial intelligence /, 2001.