A Critique of Proof Planning

Research output: Chapter in Book/Report/Conference proceedingChapter


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

Fingerprint Dive into the research topics of 'A Critique of Proof Planning'. Together they form a unique fingerprint.

Cite this