Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 37402 von 38108 < < > <



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 37402 von 38108
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration