Peter Oel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

1 Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover ₃T^AP Version 4.0. CADE 1996: 303-307

Selection of 1 from 2 records - Peter Oel has 4 coauthors

Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)