Mechanizing Mathematical Reasoning
| ISBN: | 9783540250517 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Hutter, Dieter Stephan, Werner |
| Verlag: | Springer Nature EN |
| Veröffentlicht: | 23.02.2005 |
| Untertitel: | Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday |
| Schlagworte: | Artificial Intelligence C Formal Languages and Automata Theory Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematical foundations Mathematical logic Mathematical theory of computation Mathematik: Logik Robot Semantic Web Software Engineering Theorem Proving Theoretische Informatik Verification computer science mathematical reasoning mathematische Grundlagen software security |