Katalog der Deutschen Nationalbibliothek

Neuigkeiten Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.
 
Neuigkeiten Am Donnerstag, 17.09.2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.
 
 

Ergebnis der Suche nach: idn=1023908263



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1023908263
Art des Inhalts Hochschulschrift
Titel Nondeterminism and Language Design in Deep Inference : A Proof Theoretic Approach to Logic Programming / Ozan Kahramanoğulları
Person(en) Kahramanoğulları, Ozan (Verfasser)
Ausgabe neue Ausg.
Verlag Saarbrücken : LAP LAMBERT Academic Publishing
Zeitliche Einordnung Erscheinungsdatum: 2012
Umfang/Format Online-Ressource
Persistent Identifier URN: urn:nbn:de:101:1-201207044755
ISBN/Einband/Preis 978-3-659-13475-3
Anmerkungen Lizenzpflichtig. - Vom Verlag als Druckwerk on demand angeboten
Schlagwörter Formale Sprache ; Beweistheorie ; Nichtdeterminismus
DDC-Notation 005.131 [DDC22ger]
Sachgruppe(n) 004 Informatik ; 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration