| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 7 |       | Ortrun Ibens, Marc Fuchs: An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints. International Journal on Artificial Intelligence Tools 10(1-2): 181-198 (2001) |
Selection of 1 from 8 records - Ortrun Ibens has 8 coauthors
Copyright © 2009-11-25 by Michael Ley (ley@uni-trier.de)