Konferenzschrift | Kongress

Automated deduction in geometry : 4th international workshop ; revised papers

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540209270
3540209271
Maße
24 cm
Umfang
VII, 229 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

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

Klassifikation
Mathematik
Informatik
Schlagwort
Geometrie
Automatisches Beweisverfahren
Geometrische Modellierung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
(wer)
Springer
(wann)
2004
Beteiligte Personen und Organisationen
Winkler, Franz
ADG (4 : 2002 : 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.03.2025, 12:19 MEZ

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 2004

Ähnliche Objekte (12)

Automated deduction in geometry : 5th international workshop ; revised papers

Konferenzschrift | Kongress

Automated deduction in geometry : 5th international workshop ; revised papers

Automated deduction in geometry : third international workshop ; revised papers

Konferenzschrift | Kongress

Automated deduction in geometry : third international workshop ; revised papers

Automated deduction in geometry : 6th international workshop ; revised papers

Konferenzschrift | Kongress

Automated deduction in geometry : 6th international workshop ; revised papers

Automated deduction in geometry : 7th international workshop ; revised papers

Konferenzschrift | Kongress

Automated deduction in geometry : 7th international workshop ; revised papers

Automated deduction in geometry : 8th international workshop ; revised selected papers

Konferenzschrift | Kongress

Automated deduction in geometry : 8th international workshop ; revised selected papers

Automated deduction in geometry : 9th international workshop ; revised selected papers

Konferenzschrift | Kongress

Automated deduction in geometry : 9th international workshop ; revised selected papers

Automated deduction in geometry : proceedings

Konferenzschrift | Kongress

Automated deduction in geometry : proceedings

Automated deduction in geometry : selected papers

Konferenzschrift | Kongress

Automated deduction in geometry : selected papers

Automated deduction : proceedings

Konferenzschrift | Kongress

Automated deduction : proceedings

Automated deduction : proceedings

Konferenzschrift | Kongress

Automated deduction : proceedings

Automated deduction : proceedings

Konferenzschrift | Kongress

Automated deduction : proceedings

Automated deduction : proceedings

Konferenzschrift | Kongress

Automated deduction : proceedings

Verbundene Objekte