KIT | KIT-Bibliothek | Impressum | Datenschutz

Effective strategies for enumeration games

Kummer, Martin; Ott, Matthias


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1996
Sprache Englisch
Identifikator KITopen-ID: 231096
Erscheinungsvermerk In: Computer science logic. CSL '95. Ed.: H. Kleine Büning. Berlin 1996. S. 368-387. (Lecture notes in computer science. 1092.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page