Higher Order Logic Theorem Proving and Its Applications
8th International Workshop, Aspen Grove, UT, USA, September 11 - 14,1995.Proceedings, Lecture Notes in Computer Science 971
E Thomas Schubert/Phillip J Windley/James Alves-Foss
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 23.08.1995
Umfang: viii, 408 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540602750
Umbreit-Nr.: 1506978
