Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: TABLEAUX '95, Sankt Goar, Germany
Další autoři: Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim
Médium: Konferenční příspěvek Kniha
Jazyk:English
Vydáno: Berlin : New York : Springer, c1995.
Edice:Lecture notes in computer science ; 918.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Témata:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
Popis
Fyzický popis:x, 352 p. : ill. ; 24 cm.
Bibliografie:Includes bibliographical references.
ISBN:3540593381

Podobné jednotky