Finding Finite Herbrand Models
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12) |
Seiten | 138-152 |
Seitenumfang | 15 |
Publikationsstatus | Veröffentlicht - 2012 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 84858304025 |
---|
Schlagworte
Schlagwörter
- herbrand models