Alan Bundy
Logiker,
Informatiker
Hat mitgewirkt an:
-
Praktische Einführung in die künstliche Intelligenz : mit Programmbeispielen in LOGO u. LISP
-
Zeitgeist: information literacy and educational change : paper presented at the 4th Frankfurt Scientific Symposium Germany 4 October 2004
-
Catalogue of artificial intelligence tools
-
Automating Event-B invariant proofs by rippling and proof patching