@ARTICLE{lepl:94a,
AUTHOR = {Lee, Shie-Jue and Plaisted, David A.},
TITLE = {Problem solving by searching for models with a theorem prover},
JOURNAL = {Artificial Intelligence},
PUBLISHER = {North-Holland Publishing Co.},
YEAR = {1994},
NUMBER = {1/2},
VOLUME = {69},
PAGES = {205--233},
ISBN = {0004-3702},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
02/09/1995 07:55:20 PM |
Revisions
7.
6.
5.
4.
3. | Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE | Edit Dates
10.10.2001 16:16:00
03.09.2001 16:26:18
31.03.95 10:35:22
31.03.95 10:20:57
17/02/95 15:13:14 |