Massimo Bruschi

Publication Activity (10 Years)

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

Publications

Massimo Bruschi
Theorem Proving Engine and Strategy Description Language. FGCS (1992)
Fabio Baj, Massimo Bruschi, Antonella Zanzi
Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO (1990)