Electronic Books

Total Books: 1 - 2 /2
978-3-540-31224-6
Mathematical Modelling for Sustainable Development

Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised ...

Continue reading
978-3-540-32254-2
Mechanizing Mathematical Reasoning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Continue reading
Total Books: 1 - 2 /2