Advanced methods for SAT solving

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Kottler, Stephan de_DE
dc.date.accessioned 2013-10-30T13:25:36Z
dc.date.available 2013-10-30T13:25:36Z
dc.date.issued 2013 de_DE
dc.identifier.uri http://hdl.handle.net/10900/37764
dc.language.iso en de_DE
dc.relation.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-68475 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.title Advanced methods for SAT solving de_DE
dc.type PhDThesis de_DE
utue.artikel.swb 383201519 de_DE
utue.artikel.swb 383201411 de_DE
utue.kommentar.intern Tübingen, Univ., Diss., 2013. de_DE
utue.personen.pnd Kottler, Stephan/267796277 de_DE
utue.personen.roh Kottler, Stephan de_DE
utue.publikation.seitengesamt VII, 186 S. : Ill., graph. Darst. de_DE
utue.titel.verfasserangabe vorgelegt von Stephan Kottler de_DE
utue.publikation.abrufzeichen tdis de_DE
utue.publikation.swbdatum 1306 de_DE
utue.publikation.fachbereich 57 de_DE
utue.publikation.fakultaet 7 Mathematisch-Naturwissenschaftliche Fakultät de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige