[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 (14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings) || Question-Answer Nets Objectifying a Conceptual Space in the Design of a System with Software
McCune, WilliamVolume:
10.1007/3-
Year:
1997
Language:
english
DOI:
10.1007/978-3-030-14687-0_27
File:
PDF, 1.68 MB
english, 1997