Automated Reasoning in Higher-order Logic
Subtitle: Set Comprehension and Extensionality in Church's Type Theory
Publisher: College Publications
Published: October 22, 2007
Language: eng
Format: Paperback
Number of pages: 564
ISBN-13: 9781904987574
Subjects: Mathematical logic; Artificial Intelligence - Fuzzy Logic; Logic; Mathematics : Logic; Philosophy : Logic; Artificial Intelligence - General; Computers; Computer Books: General