The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation /

Podrobná bibliografie
Hlavní autor: Torsten Schaub (autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 1997, c1997
Edice:(Lecture Notes in Computer Science)
On-line přístup:Ver documento en línea