Logic for Programming and Automated Reasoning
Subtitle: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Michel Parigot (Editor); Andrei Voronkov (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 27, 2000
Language: eng
Format: Paperback
Number of pages: 500
ISBN-13: 9783540412854
Subjects: Machine learning; Mathematical logic; Programming languages; Programming - General; Computers; Automata; Computers - Languages / Programming; Logic Programming; Computer Books: Languages; Logic Design; Artificial Intelligence - General; Programming - Object Oriented Programming; AI Logics; Automated Deduction; Automated Reasoning; Computers / Artificial Intelligence; Formal Reasoning Systems; Formal Verification; Logic Calculi; Computer Science; Automatic theorem proving; Congresses