Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editor [sic]
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book (loan) | Gräsvik | 511 | Available | 80013802296 |
Includes bibliographical references