Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Subtitle: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, ... (Lecture Notes in Computer Science)
Contributors: Jacques Calmet (Editor); Belaid Benhamou (Editor); Olga Caprotti (Editor); Laurent Henocque (Editor); Volker Sorge (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 15, 2002
Language: eng
Format: Paperback
Number of pages: 343
ISBN-13: 9783540438656
Subjects: General; Automatic theorem proving; Logic, Symbolic and mathematic; Computers; Computers - General Information; Congresses; Computer Books: General; Artificial Intelligence - General; Logic; Computers / Artificial Intelligence; Logic, Symbolic and mathematical; Artificial Intelligence
First sentence: Logic programming languages have emerged during the early seventies with Prolog by Colmerauer and Kowalski being the by far most prominent example.