Massimo Bruschi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]