Higher Order Logic Theorem Proving and Its Applications
6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13,1993.Proceedings, Lecture Notes in Computer Science 780
Jeffrey J Joyce/Carl-Johan H Seger
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 28.04.1994
Umfang: x, 526 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540578260
Umbreit-Nr.: 1431476
