m
     
Congrès

H 0 Proof complexity and feasible arithmetics :
DIMACS worshop#April 21-24

Beam, Paul W. (Editeur) ; Buss, Samuel R. (Editeur)

American Mathematical Society

1998

320 p.

978-0-8218-0577-0

00019929

03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05

arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821805770

ISBN : 0-8218-0577-0

Collation : Bibliogr. ; fig.#26 cm#rel.

Collection : DIMACS series in discrete mathematics and theoretical computer science

N° de collection : 0039

Localisation : Collection 1er étage

Année de la rencontre : 1996

Ville du congrès : Piscataway

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00019929 [disponible]
Z