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.
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)
Editorial: Towards Omnipresent and Smart Speech Assistants
Towards the development of dependable personal robot assistants
Towards intelligent design assistants for planar multibody mechanisms
Towards intelligent design assistants for planar multibody mechanisms
Mathematical software : proceedings
A mechanized theory of aspects
Maitres-assistants
Virtual Assistants
Towards Understanding Virtual Collaboration with Virtual Assistants in Organizational Environments
The mechanized battlefield : a tact. analysis
Assistants de français
XIX. European assistants
Editorial: Towards Omnipresent and Smart Speech Assistants
Towards the development of dependable personal robot assistants
Towards intelligent design assistants for planar multibody mechanisms
Towards intelligent design assistants for planar multibody mechanisms
Mathematical software : proceedings
A mechanized theory of aspects
Maitres-assistants
Virtual Assistants
Towards Understanding Virtual Collaboration with Virtual Assistants in Organizational Environments
The mechanized battlefield : a tact. analysis
Assistants de français
XIX. European assistants
Editorial: Towards Omnipresent and Smart Speech Assistants
Towards the development of dependable personal robot assistants
Towards intelligent design assistants for planar multibody mechanisms
Towards intelligent design assistants for planar multibody mechanisms
Mathematical software : proceedings
A mechanized theory of aspects
Maitres-assistants
Virtual Assistants
Towards Understanding Virtual Collaboration with Virtual Assistants in Organizational Environments
The mechanized battlefield : a tact. analysis
Assistants de français