Fabio Baj

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Fabio Baj, Paolo Cattaneo, Mike Rosner
Practicing AI with the portable AI lab. LUV (1993)
Fabio Baj, Michael Rosner
Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School (1992)
Fabio Baj, Massimo Bruschi, Antonella Zanzi
Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO (1990)