IJCAI Proceedings 1975
Publisher: Morgan Kaufmann
Published: December 1, 1975
Language: eng
Format: Paperback
Number of pages: 500
ISBN-13: 9780934613200
Subjects: Computing and Information Technology; Computers - General Information; Computers; Computer Books: General; Artificial Intelligence - General; Computers / Artificial Intelligence
First sentence: First order theories not only can be used in proving properties of programs, but have also relevance in representation theory.