Period of time： 2013年2-4期
Publisher： Springer Publishing Company
Founded in： 1990
Total resources： 73
ISSN： 1012-2443
Subject： O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4
Menu
On Skolemization in constrained logics
By Bürckert H-J.,Hollunder B.,Laux A. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4 , Vol. 18, Iss. 2-4, 1997-01 , pp.
Access to resources
Recommend
Multi-valued autoepistemic logic
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4 , Vol. 18, Iss. 2-4, 1997-01 , pp.Using tactics to reformulate formulae for resolution theorem proving
By Kerber M.,Präcklein A. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4 , Vol. 18, Iss. 2-4, 1997-01 , pp.On resolution with short clauses
By Buro M.,Kleine Büning H. in (1997)
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4 , Vol. 18, Iss. 2-4, 1997-01 , pp.Unification in sort theories and its applications
Annals of Mathematics and Artificial Intelligence,volume 18,issue 2-4 , Vol. 18, Iss. 2-4, 1997-01 , pp.