Antonella Zanzi (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

Selection of 1 from 7 records - Antonella Zanzi has 7 coauthors