1992 | ||
---|---|---|
2 | Fabio Baj, Michael Rosner: Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School 1992: 313-324 | |
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 |
1 | Massimo Bruschi | [1] |
2 | Michael Rosner | [2] |
3 | Antonella Zanzi | [1] |