Author： Koller Alexander Debusmann Ralph Gabsdil Malte Striegnitz Kristina
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.13, Iss.2, 2004-21, pp. : 187-206
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Connection-Driven Inductive Theorem Proving
Studia Logica, Vol. 69, Iss. 2, 2001-11 ,pp. :
Comparing Approaches To Resolution Based Higher-Order Theorem Proving
Synthese, Vol. 133, Iss. 1-2, 2002-10 ,pp. :
Defining Pictorial Style: Lessons from Linguistics and Computer Graphics
Axiomathes, Vol. 15, Iss. 3, 2005-09 ,pp. :
By Mizrahi Moti
Acta Analytica, Vol. 28, Iss. 3, 2013-09 ,pp. :