Français
Descriptive complexity and finite models :
proceedings of a DIMACS workshop Princeton Univerity#Jan. 14-17
Congrès
automate # complexité de calcul # logic # proposition algébrique # système de preuve # théorie du modèle fini
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
EAN13 : 9780821805176
ISBN : 0-8218-0517-7
Collation : 26 cm#rel. ; Bibliogr.
Series : DIMACS series in discrete mathematics and theoretical computer science
Nb in series : 0031
Location : Collection 1er étage
Event Year : 1996
City of congres : Princeton
Country of congres : États-Unis
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00019933 | [available] |
