References
V. Finn, M. Zabezhailo, and O. Anshakov. On a computer-oriented formalisation of plausible reasonongs in F.Bacon — J.S.Mill's style (Main principles and computer experiments). In Artificial Intelligence, number 9 in IFAC Proc. Ser., 1984.
M. E. Stickel. Schubert's steamroller problem: Formulations and solutions. Journal of Automated Resoning, 2:89–101, 1986.
K. Vershinin and I. Romanenko. One more logic with uncertainty and the resolution principle for it. Paper submitted to CADE-11.
L. Wos. New challenge problem in sentential calculus. AAR Newsletter, (16), Nov. 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Romanenko, I. (1992). Logician's Workbench. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013100
Download citation
DOI: https://doi.org/10.1007/BFb0013100
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55727-2
Online ISBN: 978-3-540-47279-7
eBook Packages: Springer Book Archive