|
|
M. Müller (1995): Eine Erweiterung der inversen Resolution auf sortierte Hornklauselmengen
| Title: |
Eine Erweiterung der inversen Resolution auf sortierte Hornklauselmengen |
| Author(s): |
M. Müller |
| Year: |
1995 |
| Journal: |
Beiträge zum 7. Fachgruppentreffen MASCHINELLES LERNEN der GI-Fachgruppe 1.1.3 |
| Month: |
aug |
| Pages: |
16 - 26 |
Concepts
|
|
