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 /

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: TABLEAUX '95, Sankt Goar, Germany
מחברים אחרים: Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim
פורמט: Conference Proceeding ספר
שפה:English
יצא לאור: Berlin : New York : Springer, c1995.
סדרה:Lecture notes in computer science ; 918.
Lecture notes in computer science. Lecture notes in artificial intelligence.
נושאים:
Automatic theorem proving > Congresses.
Nonclassical mathematical logic > Congresses.
Logic, Symbolic and mathematical > Congresses.
תיאור
תיאור פיזי:x, 352 p. : ill. ; 24 cm.
ביבליוגרפיה:Includes bibliographical references.
ISBN:3540593381

פריטים דומים