Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Aspetsberger K. Substitution expressions: extracting solutions of non-Horn clause proofs. In Proc. of EUROCAL 85, Linz, Austria, LNCS 204, p. 78–86, Springer-Verlag, 1985.
2. Aspetsberger K., Bayerl S. Two parallel versions of the connection method for propositional logic on the L-Machine. In Proc. of the German Workshop on Artificial Intelligence, Dassel/Solling, Informatik-Fachberichte, Springer-Verlag, 1985.
3. Bibel W. Automated theorem proving. Vieweg Verlag, Braunschweig, 1982; second edition 1987.
4. Bibel W.. Matings in matrices. CACM 26, p. 844–852, 1983.
5. Bibel W., Aspetsberger K. A bibliography on parallel inference machines. Journal of Symbolic Computation, Vol. 1 No. 1, p. 115–118, 1985.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献