( en | de | ru )

 

Disambiguation of "Bundy, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof.

, , , and . LOPSTR, page 27-45. Springer, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Bundy

Bogáta Dóra Bundy

Safwat Alani

Maia Alandjiyska

Yilmaz Alan

 

Other publications of authors with the same name

Growing the community of the informed: information literacy - a global issue. (2002)Standing Conference of East, Central and South Africa Library Associations conference, Johannesburg South Africa.Concurrent-distributed programming techniques for SAT using DPLL-stålmarck., , and . HPCS, page 168-175. IEEE, (2009)Representing Semantic Information In Pulley Problems., and . IJCAI, page 500. William Kaufmann, (1977)Can Domain Specific Knowledge Be Generalized?. IJCAI, page 496. William Kaufmann, (1977)Topics for Circumscription., and . NMR, page 355-362. American Association for Artificial Intelligence (AAAI), (1984)Higher-order Representation and Reasoning for Automated Ontology Evolution., , and . KEOD, page 84-93. SciTePress, (2010)Psychological Validity of Schematic Proofs., and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 321-341. Springer, (2005)A Proposal for Automating Diagrammatic Reasoning in Continuous Domains., , and . Diagrams, volume 1889 of Lecture Notes in Computer Science, page 286-299. Springer, (2000)Tutorial Notes: Reasoning about Logic Programs.. Logic Programming Summer School, volume 636 of Lecture Notes in Computer Science, page 252-277. Springer, (1992)Analysing Mathematical Proofs (Or Reading Between the Lines).. IJCAI, page 22-28. (1975)