Massimo Bruschi

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

2 Massimo Bruschi: Theorem Proving Engine and Strategy Description Language. FGCS 1992: 634-642

1990

1 Fabio Baj, Massimo Bruschi, Antonella Zanzi: Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO 1990: 278-279

1992
2		Massimo Bruschi: Theorem Proving Engine and Strategy Description Language. FGCS 1992: 634-642
1990
1		Fabio Baj, Massimo Bruschi, Antonella Zanzi: Design and development of ENprover, an automated theorem proving system based on EN-strategy. DISCO 1990: 278-279

Coauthor Index

1 Fabio Baj [1]

2 Antonella Zanzi [1]