Combining assisted and automated deduction

Author： Kirchner H.  

Publisher： Springer Publishing Company

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.28, Iss.1-4, 2000-01, pp. : 21-26

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Automated Deduction Techniques for the Management of Personalized Documents

By Baumgartner P.  

Annals of Mathematics and Artificial Intelligence, Vol. 38, Iss. 1-3, 2003-05 ,pp. : 211-228

Springer Publishing Company

Access to resources Recommend Favorite

A Template‐matching Approach Combining Morphometric Variables for Automated Mapping of Charcoal Kiln Sites

By  

ARCHAEOLOGICAL PROSPECTION, Vol. 22, Iss. 1, 2015-01 ,pp. : 45-62

John Wiley & Sons Inc

Access to resources Recommend Favorite

Automated Parallel, Multi-Step Polymer-Assisted Solution Phase (PASP) Synthesis of Substituted Benzimidazole Derivatives

By  

Combinatorial Chemistry & High Throughput Screening, Vol. 7, Iss. 2, 2004-03 ,pp. : 163-178

Bentham Science Publishers

Access to resources Recommend Favorite

A taxonomy of parallel strategies for deduction

By Bonacina M.P.  

Annals of Mathematics and Artificial Intelligence, Vol. 29, Iss. 1-4, 2000-01 ,pp. : 223-257

Springer Publishing Company

Access to resources Recommend Favorite

A New Deduction of the Gaussian Distribution

By  

STUDIES IN APPLIED MATHEMATICS, Vol. 10, Iss. 1, 1931-04 ,pp. : 284-288

John Wiley & Sons Inc

Access to resources Recommend Favorite