Adaptation of declaratively represented methods in proof planning
type: Item
instance of: scholarly article
title: Adaptation of declaratively represented methods in proof planning
zbMATH Open document ID: 0913.68191
DOI: 10.1023/A:1018980611571
author: Xiaorong Huang
author: Manfred Kerber
author: Lassaad Cheikhrouhou
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1999-02-02T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1248231
zbMATH Keywords: plan-based reasoning systems
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: a:1018980611571
OpenAlex ID: W1512107209
description: scientific article; zbMATH DE number 1248231