<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-04-07 11:19:23National Baseball Hall of Fame and Museum Ed Lucas New York Mets Tug McGraw New York Yankees players Baseball New York Irish American Baseball Hall of Fame |
| Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1DocID: 1xU8w - View Document |
| Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1DocID: 1xTsR - View Document |
| Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UKDocID: 1t0fv - View Document |
| Inductive reasoning Informatics 1 CG: Lecture 15 Chris Lucas KnowledgeDocID: 1sBll - View Document |
| Formalising Term Synthesis in IsaCoSy Moa Johansson Universit`a degli Studi di Verona Lucas DixonDocID: 1sBl5 - View Document |