Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Bundy
Scheme-Based Theorem Discovery and Concept Invention
Expert Systems with Applications
Engineering
Computer Science Applications
Artificial Intelligence
Planning and Patching Proof
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proofs About Lists Using Ellipsis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Searching for a Solution to Program Verification=Equation Solving in CCS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Letters
The Australian Library Journal
Essential Connections: School and Public Libraries for Lifelong Learning
The Australian Library Journal
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs