Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: idn=972331018



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/972331018
Art des Inhalts Hochschulschrift
Titel Superposition theorem proving for commutative algebraic theories / von Jürgen Stuber
Person(en) Stuber, Jürgen (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: [2004]
Umfang/Format Online-Ressource, ca. 1,0 MB
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Superposition theorem proving for commutative algebraic theories
Hochschulschrift Saarbrücken, Univ., Diss., 2000
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-2406
URL http://scidok.sulb.uni-saarland.de/volltexte/2004/240/pdf/JuergenStuber_ProfDrHaraldGanzinger.pdf (kostenfrei zugänglich)
http://scidok.sulb.uni-saarland.de/volltexte/2004/240/index.html (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Abelsche Gruppe ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe 1 ; Online-Publikation
Kommutativer Ring ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe 1 ; Online-Publikation
Kommutative Algebra ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe 1 ; Online-Publikation
Modul ; Superpositionskalkül ; Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe 1 ; Online-Publikation
Sachgruppe(n) 004 Informatik ; 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration