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

E. Suen Vis

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

*1988
2 Franz Oppacher, E. Suen: HARP: A Tableau-Based Theorem Prover. J. Autom. Reasoning 4(1): 69-100 (1988)
1986
1EEFranz Oppacher, E. Suen: Controlling Deduction with Proof Condensation and Heuristics. CADE 1986: 384-393

Coauthor Index

1Franz Oppacher [1] [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)