Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University
Providence, RI: American Mathematical Society, 1997
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XIV, 248 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University
|
---|---|
Verantwortlichkeitsangabe: | [DIMACS Workshop on Descriptive Complexity and Finite Models]. Neil Immerman ... ed |
Autor/in / Beteiligte Person: | Immerman, Neil (1953-) |
Körperschaft: | Center for Discrete Mathematics and Theoretical Computer Science ; Workshop on Descriptive Complexity and Finite Models |
Veröffentlichung: | Providence, RI: American Mathematical Society, 1997 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 248 S. : graph. Darst. |
ISBN: | 0821805177 |
Schlagwort: |
|
Sonstiges: |
|