[Lecture Notes in Computer Science] The Logic System of Concept Graphs with Negation Volume 2892 || 6 Soundness and Completeness
Dau, FrithjofVolume:
10.1007/b9
Year:
2003
Language:
english
DOI:
10.1007/978-3-540-40062-2_6
File:
PDF, 289 KB
english, 2003