3 Ebook di 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. …
PDF
Inglese
DRM
€112.23
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
Inglese
DRM
€56.87
