( en | de | ru )

 

Disambiguation of "Bundy, Alan"

Author of the publication

copydeleteadd this publication to your clipboard
Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit.

, , , , , and . ACSAC, page 441-450. ACM, (2015)

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

A Critique of Proof Planning.. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 160-177. Springer, (2002)Towards Ontology Evolution in Physics., and . WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 98-110. Springer, (2008)Using Animation in Diagrammatic Theorem Proving., , , and . Diagrams, volume 2317 of Lecture Notes in Computer Science, page 46-60. Springer, (2002)Experiments in Automating Hardware Verification Using Inductive Proof Planning., , , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 94-108. Springer, (1996)Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic., and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 80-93. Springer, (2007)European collaboration on automated reasoning.. AI Commun., 27 (1): 25-35 (2014)Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving., , , and . AISB/GI (ECAI), page 71-81. Leeds University, (1978)A Science of Reasoning (Extended Abstract).. TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 10-17. Springer, (1998)Raising the Standards of AI Products., and . IJCAI, page 1289-1294. Morgan Kaufmann, (1985)A note on omitting the replacement schema.. Notre Dame J. Formal Log., 14 (1): 118-120 (1973)