- Sprache
-
Englisch
- Umfang
-
XIII, 406 S.
- ISBN
-
978-3-540-73083-5
- Identifier
-
984276483
- Reihe
-
Lecture notes in computer science; Vol. 4573 : Lecture notes in artificial intelligence
Thema
Automatisches Beweisverfahren ; Computeralgebra ; Mathematik ; Wissensmanagement ; Konferenzschrift Hagenberg (Mühlkreis); Kongress Hagenberg
Beteiligte Personen und Organisationen
Kauers, Manuel
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:30 MESZ
Objekttyp
- Monografie
Beteiligte
- Kauers, Manuel
Ähnliche Objekte (12)
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Symbolic and numerical scientific computation : second international conference ; revised papers
Rewriting techniques and applications : 19th international conference ; proceedings
Algebraic and numeric biology : 4th international conference ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : 10th international conference ... ; proceedings
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : proceedings
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Symbolic and numerical scientific computation : second international conference ; revised papers
Rewriting techniques and applications : 19th international conference ; proceedings
Algebraic and numeric biology : 4th international conference ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : 10th international conference ... ; proceedings
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : proceedings
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Symbolic and numerical scientific computation : second international conference ; revised papers
Rewriting techniques and applications : 19th international conference ; proceedings
Algebraic and numeric biology : 4th international conference ; revised selected papers
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : proceedings
Intelligent computer mathematics : 10th international conference ... ; proceedings
Intelligent computer mathematics : proceedings