Suchfeld einblenden
Person Schwichtenberg, Helmut
1 Treffer
Seite < 1 >
Proof and computation
: [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] / ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1995. - 470 S. : graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 139)
ISBN 978-3-540-58581-7 / 3-540-58581-8 Pp. : DM 155.00
Literaturangaben
Quelle: DNB
Seite < 1 >
