Massimo Bruschi

According to our database, Massimo Bruschi authored at least 2 papers between 1990 and 1992.

Collaborative distances:

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

1992

Theorem Proving Engine and Strategy Description Language.

Massimo Bruschi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 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