Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings

DOI10.1007/3-540-59338-1zbMath0878.00080OpenAlexW1747545714MaRDI QIDQ1894666

No author found.

Publication date: 8 August 1995

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59338-1

zbMATH Keywords

Proceedings Workshop Theorem proving Analytic tableaux St. Goar (Germany)TABLEAUX '95

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Connection calculus theorem proving with multiple built-in theories

This page was built for publication: Theorem proving with analytic tableaux and related methods. 4th international workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995. Proceedings