> Detailanzeige

Steinke, Peter [VerfasserIn] ; Technische Universität Dresden

Pseudo-Boolean constraint encodings for conjunctive normal form and their applications

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Buch; Hochschulschrift
  • Titel: Pseudo-Boolean constraint encodings for conjunctive normal form and their applications
  • Beteiligte: Steinke, Peter [VerfasserIn]
  • Körperschaft: Technische Universität Dresden
  • Erschienen: Dresden, 31. Januar 2020
  • Umfang: 109 Seiten; Illustrationen, Diagramme; 30 cm
  • Sprache: Englisch
  • RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik,
  • Schlagwörter: Hochschulschrift
  • Entstehung:
  • Hochschulschrift: Dissertation, Technische Universität Dresden, 2020
  • Anmerkungen: Das Erscheinungsdatum ist der Tag der Verteidigung

Exemplare

(0)

Bereichsbibliothek DrePunct – Magazin

  • Signatur: 2020 4 003931
  • Barcode: 33409013
  • Status: Ausleihbar, bitte bestellen

Zentralbibliothek – Magazin

  • Signatur: 2020 4 003930
  • Barcode: 33409012
  • Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung