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

Dirk Van Heule

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

2001
2 Dirk Van Heule, Albert Hoogewijs: Automated Reasoning with Ordinary Assertions and Default Assumptions. ISMVL 2001: 193-
1999
1 Dirk Van Heule, Albert Hoogewijs, Noemie Slaats: The Non-Definedness Notion in Expert Systems. Inf. Sci. 114(1-4): 53-62 (1999)

Coauthor Index

1Albert Hoogewijs [1] [2]
2Noemie Slaats [1]

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