Mechanizing Mathematical Reasoning
Szerző:
D. Hutter, W. Stephan
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
36 196
Ft
By presenting state-of-the-art results in logical reasoning and formal methods in the context of art...
