Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
The German National Library in Frankfurt will remain closed from March 10 to March 22, 2025, due to renovation work.
 
 

Ergebnis der Suche nach: idn=972333320



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/972333320
Art des Inhalts Hochschulschrift
Titel Resolution-based decision procedures for subclasses of first-order logic / von Ullrich Hustadt
Person(en) Hustadt, Ullrich (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: [2004]
Umfang/Format Online-Ressource, ca. 1,9 MB
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Resolution based decision procedures for subclasses of first-order logic
Hochschulschrift Saarbrücken, Univ., Diss., 1999
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-1907
URL http://scidok.sulb.uni-saarland.de/volltexte/2004/190/pdf/UllrichHustadt_ProfDrHaraldGanzinger.pdf (kostenfrei zugänglich)
http://scidok.sulb.uni-saarland.de/volltexte/2004/190/index.html (Verlag)
Sprache(n) Englisch (eng)
Schlagwörter Terminologische Logik ; Modallogik ; Prädikatenlogik ; Stufe 1 ; Entscheidungsverfahren ; Resolution <Logik>
Modallogik ; Automatisches Beweisverfahren ; Online-Publikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration