Core Extraction and Non-Example Generation: Debugging and Understanding Logical Models

Search

Authors:

Robert Seater

Publication Venue:

MIT Masters Thesis

When Published:

Nov 1 2004

Attachment	Size
rseater_masters.pdf	2.2 MB

by rseater

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte