TU Dresden
/
TU Dresden
/
Informatik
Computer Science
/
ICCL
/
TU Dresden
/
Fakultät Informatik
Faculty of Computer Science
/
International Center For Computational Logic
Account
Anmelden
Edit tools
Diskussion
Formular anzeigen
Quelltext anzeigen
Versionsgeschichte
Intern
Suche
Search
English
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner
Polynomial Reduction from PESP to SAT
Aus International Center for Computational Logic
Version vom 29. November 2016, 22:24 Uhr von
Serge Stratan
(
Diskussion
|
Beiträge
)
(
Unterschied
)
← Nächstältere Version
|
Aktuelle Version
(
Unterschied
) |
Nächstjüngere Version →
(
Unterschied
)
Wechseln zu:
Navigation
,
Suche
Studienarbeiten
Themenvorschläge für Studien- und Abschlussarbeiten
Abgeschlossene Arbeiten
Algebra und Diskrete Strukturen
Algebraische und logische Grundlagen der Informatik
Automatentheorie
Computational Logic
Knowledge-aware Artificial Intelligence
Logische Programmierung und Argumentation
Wissensbasierte Systeme
Laufende Studienarbeiten
Toggle side column
Polynomial Reduction from PESP to SAT
Studienarbeit von Peter Großmann
Betreuer
-
Wissensverarbeitung
12. Mai 2011 – 12. Mai 2011
Kategorie
:
Abschlussarbeit
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiteninformationen
Attribute anzeigen
