Heguiabehere, J. M.
Heguiabehere, J.M. (Juan Martín)
Juan Martin Heguiabehere Ph.D. Universiteit van Amsterdam 2003
VIAF ID: 280597209 ( Personal )
Permalink: http://viaf.org/viaf/280597209
Preferred Forms
Works
Title | Sources |
---|---|
Building logic toolboxes | |
Theorem proving and programming with dynamic first order logic |