Fabio Baj

According to our database, Fabio Baj authored at least 3 papers between 1990 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Practicing AI with the portable AI lab.

Fabio Baj, Paolo Cattaneo, Mike Rosner

Proceedings of the Third International Conference on Lisp Users and Vendors, 1993

1992

Automatic Theorem Proving within the Portable AI Lab.

Fabio Baj, Michael Rosner

Proceedings of the Logic Programming in Action, 1992

1990

Design and development of ENprover, an automated theorem proving system based on EN-strategy.

Fabio Baj, Massimo Bruschi, Antonella Zanzi

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990