Monografie

Automated deduction in geometry : proceedings

Sprache
Englisch
Umfang
VI, 285 S.
ISBN
978-3-540-66672-1
Identifier
957553595

Reihe
Lecture notes in computer science; Vol. 1669 : Lecture notes in artificial intelligence

Thema
Geometrie ; Automatisches Beweisverfahren ; Konferenzschrift Peking; Kongress Peking <1998>

Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
Letzte Aktualisierung
16.08.2023, 18:25 MESZ

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)