Schaub, Torsten
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub. -- Berlin ; Heidelberg ; New York, N.Y. : Springer, c1997. -- xi, 159 s. -- (Lecture notes in artificial intelligence ; 1409). -- ISBN : 3-540-64515-2 (brož.).
počítačová věda. logika. umělá inteligence. zdůvodňování. monografie
004. 16. 004.8. 004.83. (048.8)