Rüdiger Wirth. Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution. PhD thesis, Universität Stuttgart, 1989.
@phdthesis{books-daglib-0070064,
title = {Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution},
author = {Rüdiger Wirth},
year = {1989},
researchr = {https://researchr.org/publication/books-daglib-0070064},
cites = {0},
citedby = {0},
school = {Universität Stuttgart},
}