Nicole Koch

According to our database, Nicole Koch authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).

Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008