Rajaa
Hakutulokset: 9783540250517
Rajaa
yksi hakutulos.
Mechanizing Mathematical Reasoning
nidottu,
2005,
englanti,
ISBN 9783540250517
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 …