3 Электронные книги Werner Stephan
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.61
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.71
