IJCAI Proceedings 1993 (International Joint Conference on Artificial Intelligence//Proceedings)
Edition: 13th edition
Publisher: Morgan Kaufmann
Published: August 19, 1998
Language: eng
Format: Paperback
Number of pages: 1360
ISBN-13: 9781558603004
Subjects: Artificial Intelligence; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Computers / Artificial Intelligence; Computer Bks - General Information
First sentence: SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus.