automate # complexité de calcul # logic # proposition algébrique # système de preuve # théorie du modèle fini

Ville d'édition : Providence ; R.I.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821805176

ISBN : 0-8218-0517-7

Collation : 26 cm#rel. ; Bibliogr.

Collection : DIMACS series in discrete mathematics and theoretical computer science

N° de collection : 0031

Localisation : Collection 1er étage

Année de la rencontre : 1996

Ville du congrès : Princeton

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires