MPG.eBooks - Description: Grundlagen des maschinellen Beweisens

Read Now

Bibliographic Details
Main Authors:	Hofbauer, Dieter, Kutsche, Ralf-Detlef (Author)
Format:	eBook
Language:	German
Published:	Wiesbaden Vieweg+Teubner Verlag 1989, 1989
Edition:	1st ed. 1989
Subjects:	Applied Mathematics Engineering Engineering Mathematics Mathematical And Computational Engineering Engineering, General
Online Access:	https://doi.org/10.1007/978-3-322-84223-7?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Description
Physical Description:	172 S. online resource
ISBN:	9783322842237