Nicole Koch

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch: A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR 2008: 147-153

	2008
1		Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch: A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). IJCAR 2008: 147-153

Coauthor Index