Automated deduction in geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 ; revised papers

Automated deduction in geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 ; revised papers

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin u.a. Springer 2004
Schriftenreihe:Lecture notes in computer science 2930 : Lecture notes in artificial intelligence
Schlagworte:
Démonstration automatique de théorèmes
Géométrie - Informatique - Congrès
Géométrie
Logique symbolique et mathématique - Congrès
Résolution de problème
Système déductif
Théorèmes - Démonstration automatique - Congrès
Datenverarbeitung
Automatic theorem proving > Congresses
Geometry > Data processing > Congresses
Logic, Symbolic and mathematical > Congresses
Geometrische Modellierung
Automatisches Beweisverfahren
Geometrie
Konferenzschrift > 2002 > Hagenberg Mühlkreis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Ähnliche Einträge