Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7,2000 Proceedings, Lecture Notes in Computer Science 1847 - Lecture Notes in Artificial Intelligence
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 21.06.2000
Umfang: x, 440 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540676973
Umbreit-Nr.: 1472384
