dblp.uni-trier.dewww.uni-trier.de

Fabio Baj

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Massimo Bruschi [1]
2Michael Rosner [2]
3Antonella Zanzi [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)