Towards Mechanized Mathematical Assistants

14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
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...
lieferbar
versandkostenfrei

Bestellnummer: 19176204

Buch74.89
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 19176204

Buch74.89
In den Warenkorb
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...

Kommentar zu "Towards Mechanized Mathematical Assistants"

Andere Kunden kauften auch

0 Gebrauchte Artikel zu „Towards Mechanized Mathematical Assistants“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich