PC 
Publikationen
Publikationen 
| Publikationen |
| Autoren | Titel | Buchtitel | Jahr | Typ |
| Ehrbächer |
Application of the Frame-based Mathematical Database MaKE in Proof Planning
|
-- | 2007 | mastersthesis |
| Kerber, Pollet |
Informal and Formal Representations in Mathematics
|
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec | 2007 | incollection |
| Melis, Pollet, Siekmann |
Reductio ad Absurdum: Planning Proofs by Contradiction
|
Reasoning, Action and Interaction in AI Theories and Systems | 2006 | inproceedings |
| Stock, Schaerf |
Reasoning, Action and Interaction in AI Theories and Systems,
Essays Dedicated to Luigia Carlucci Aiello
|
Reasoning, Action and Interaction in AI Theories and Systems | 2006 | proceedings |
| Bibtex-File mit allen Publikationen | ||||