5 หนังสืออิเล็กทรอนิกส์โดย Dieter Hutter
David Basin & Alan Bundy: Rippling: Meta-Level Guidance for Mathematical Reasoning
…
PDF
อังกฤษ
DRM
€141.26
Dieter Hutter & Werner Stephan: Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H. Siekm …
PDF
อังกฤษ
DRM
€114.95
Dieter Hutter & Werner Stephan: Applied Formal Methods – FM-Trends 98
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the …
PDF
อังกฤษ
DRM
€57.78
