Hochschulschrift | Online-Publikation
Superposition theorem proving for commutative algebraic theories
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2000
- Classification
-
Informatik
Mathematik
- Keyword
-
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
- Creator
-
Stuber, Jürgen
- URN
-
urn:nbn:de:bsz:291-scidok-2406
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:29 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
- Stuber, Jürgen
Other Objects (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