A kind of logical compilation for knowledge bases
Philippe Mathieu, Jean-Paul DelahayeVolume:
131
Year:
1994
Language:
english
Pages:
22
DOI:
10.1016/0304-3975(94)90095-7
File:
PDF, 1.34 MB
english, 1994