Towards Mechanized Mathematical Assistants / Lecture Notes in Computer Science Bd.4573 (PDF)
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in...
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.
- 2007, 2007, 410 Seiten, Englisch
- Herausgegeben: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540730869
- ISBN-13: 9783540730866
- Erscheinungsdatum: 15.08.2007
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 7.43 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Towards Mechanized Mathematical Assistants / Lecture Notes in Computer Science Bd.4573".
Kommentar verfassen