Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: idn=991049004

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/991049004
Art des Inhalts	Hochschulschrift
Titel	SAT-based finite model generation for higher-order logic / Tjark Weber
Person(en)	Weber, Tjark (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2008
Umfang/Format	Online-Ressource, ca. 1,0 MB
Andere Ausgabe(n)	Erscheint auch als Druck-Ausgabe: Weber, Tjark: SAT-based finite model generation for higher-order logic
Hochschulschrift	München, Techn. Univ., Diss., 2008
Persistent Identifier	URN: urn:nbn:de:bvb:91-diss-20081018-676608-1-8
URL	http://mediatum2.ub.tum.de/doc/676608/document.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
DDC-Notation	005.10151136 [DDC22ger]
Sachgruppe(n)	004 Informatik ; 510 Mathematik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration