Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "a"

Zurück zur Trefferliste


Treffer 55360 von 55733 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1026735831
Art des Inhalts Hochschulschrift
Titel Human Oriented Proof Presentation: A Reconstructive Approach / Xiaorong Huang
Person(en) Huang, Xiaorong (Verfasser)
Verlag Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format Online-Ressource
Hochschulschrift Zugl.: Saarbrücken, Univ. Diss., 1994
Persistent Identifier URN: urn:nbn:de:hbz:386-kluedo-3372
URL https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/366 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Beziehungen SEKI Report ; 94,07
Schlagwörter Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache

Online-Zugriff Archivobjekt öffnen




Treffer 55360 von 55733
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration