A Critique of Proof Planning

Alan Bundy

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

LNAI 2408

Original language	English
Title of host publication	Computational Logic: Logic Programming and Beyond
Editors	A. Kakas, F. Sabri
Publisher	Springer
ISBN (Print)	3-540-43959-5
Publication status	Published - 2002

@inbook{6ee73e2fc36248fdba8f936022706803,

title = "A Critique of Proof Planning",

abstract = "LNAI 2408",

author = "Alan Bundy",

year = "2002",

language = "English",

isbn = "3-540-43959-5",

editor = "A. Kakas and F. Sabri",

booktitle = "Computational Logic: Logic Programming and Beyond",

publisher = "Springer",

address = "United Kingdom",

}