Edinburgh Research Explorer

A Critique of Proof Planning

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publicationComputational Logic: Logic Programming and Beyond
EditorsA. Kakas, F. Sabri
PublisherSpringer-Verlag GmbH
ISBN (Print)3-540-43959-5
StatePublished - 2002

Abstract

LNAI 2408

Download statistics

No data available

ID: 405619