Hochschulschrift
Superposition theorem proving for commutative algebraic theories
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
IX, 124 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Saarbrücken, Univ., Diss., 2000
- Schlagwort
-
Abelsche Gruppe
Superpositionskalkül
Automatisches Beweisverfahren
Prädikatenlogik
Stufe 1
Kommutativer Ring
Superpositionskalkül
Automatisches Beweisverfahren
Prädikatenlogik
Stufe 1
Kommutative Algebra
Superpositionskalkül
Automatisches Beweisverfahren
Prädikatenlogik
Stufe 1
Modul
Superpositionskalkül
Automatisches Beweisverfahren
Prädikatenlogik
Stufe 1
Abelsche Gruppe ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik/Stufe 1
- Urheber
-
Stuber, Jürgen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:39 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
- Hochschulschrift
Beteiligte
- Stuber, Jürgen
Ähnliche Objekte (12)
Superposition theorem proving for commutative algebraic theories
Associative commutative superposition
Commutative algebra and algebraic geometry :
Theorem proving in large theories
Non-commutative algebraic geometry : an introd.
Algebraic theories
Commutative algebra, algebraic geometry, and computational methods
Commutative algebra with view toward algebraic geometry
Commutative algebra with view toward algebraic geometry
Introduction to commutative algebra and algebraic geometry
Mechanizing inductive theorem proving in conditional theories
Ulrich bundles : from commutative algebra to algebraic geometry
Superposition theorem proving for commutative algebraic theories
Associative commutative superposition
Commutative algebra and algebraic geometry :
Theorem proving in large theories
Non-commutative algebraic geometry : an introd.
Algebraic theories
Commutative algebra, algebraic geometry, and computational methods
Commutative algebra with view toward algebraic geometry
Commutative algebra with view toward algebraic geometry
Introduction to commutative algebra and algebraic geometry
Mechanizing inductive theorem proving in conditional theories
Ulrich bundles : from commutative algebra to algebraic geometry
Superposition theorem proving for commutative algebraic theories
Associative commutative superposition
Commutative algebra and algebraic geometry :
Theorem proving in large theories
Non-commutative algebraic geometry : an introd.
Algebraic theories
Commutative algebra, algebraic geometry, and computational methods
Commutative algebra with view toward algebraic geometry
Commutative algebra with view toward algebraic geometry
Introduction to commutative algebra and algebraic geometry
Mechanizing inductive theorem proving in conditional theories