Adaptation of declaratively represented methods in proof planning

ISSN： 1012-2443

Source： Annals of Mathematics and Artificial Intelligence, Vol.23, Iss.3-4, 1998-01, pp. : 299-320

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

Proof planning for strategy development

By Ireland A.

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

Springer Publishing Company

Access to resources Recommend Favorite

A library of system-derived problem-solving methods for planning

By Valente A. Benjamins V.R. de Barros L.N.U.N.E.S.

International Journal of Human-Computer Studies, Vol. 48, Iss. 4, 1998-04 ,pp. : 417-447

Academic Press

Access to resources Recommend Favorite

Finitely Represented Dyadic Sets

By Nazarova L.A. Roiter A.V.

Ukrainian Mathematical Journal, Vol. 52, Iss. 10, 2000-10 ,pp. : 1561-1596

Springer Publishing Company

Access to resources Recommend Favorite

Under-represented Then Over-represented: A Memoir of Jews in American Mathematics

By Hersh Reuben

The College Mathematics Journal, Vol. 41, Iss. 1, 2010-01 ,pp. : 2-9

Mathematical Association of America

Access to resources Recommend Favorite

Finitely Represented K-Marked Quivers

By Belousov K.I. Nazarova L.A. Roiter A.V.

Ukrainian Mathematical Journal, Vol. 53, Iss. 4, 2001-04 ,pp. : 631-636

Springer Publishing Company

Access to resources Recommend Favorite