Theorem Proving With Analytic Tableaux and Related Methods
Subtitle: 4th International Workshop, Tableaux '95 Schloss Rheinfels, St. Goar, Germany May 7-10, 1995 ... (Lecture Notes in Computer Science)
Contributors: Peter Baumgartner (Editor); Reiner Hahnle (Editor); Joachim Posegga (Editor)
Publisher: Springer
Published: July 1995
Language: eng
Format: Paperback
Number of pages: 352
ISBN-13: 9783540593386
Subjects: Artificial intelligence; Mathematical logic; Mathematical theory of computation; Programming - Object Oriented Programming; Logic, Symbolic and mathematic; Computer Science; Science/Mathematics; Automata; Mathematical And Symbolic Logic; Computers; Computers - Languages / Programming; Logic; Computer Books: General; Congresses; Artificial Intelligence - General; Logic, Symbolic and mathematical; Nonclassical mathematical logi; Nonclassical mathematical logic; Automatic theorem proving
First sentence: Rigid variables are placeholders for terms, they do not range over objects in some universe of discourse.