Konferenzschrift | Kongress

Towards mechanized mathematical assistants : proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540730835
3540730834
Maße
24 cm
Umfang
XIII, 406 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 4573 : Lecture notes in artificial intelligence

Schlagwort
Automatisches Beweisverfahren
Computeralgebra
Mathematik
Wissensmanagement

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York
(wer)
Springer
(wann)
2007
Beteiligte Personen und Organisationen
Kauers, Manuel
Calculemus (14 : 2007 : Hagenberg im Mühlkreis)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:15 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Kauers, Manuel
  • Calculemus (14 : 2007 : Hagenberg im Mühlkreis)
  • Springer

Entstanden

  • 2007

Ähnliche Objekte (12)