Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Mathematical Knowledge Management

Mathematical Knowledge Management

- 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings

enthalten in Lecture Notes in Artificial Intelligence-Reihe

Mathematical Knowledge Management
Über Mathematical Knowledge Management

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540371045
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 295
  • Veröffentlicht:
  • 26. Juli 2006
  • Ausgabe:
  • 2006
  • Gewicht:
  • 960 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Mathematical Knowledge Management

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK, August 2006. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Kund*innenbewertungen von Mathematical Knowledge Management



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Mathematical Knowledge Management ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.