m
     
Congrès

H 0 Satisfiability problem :
theory and applications in celebration of 25 years of research on ... (1971-1996) held at Rutgers University DIMACS workshop#March 11-13

Dingzhu, Du (Editeur) ; Gu, Jun (Editeur) ; Pardalos, Panos M. (Editeur)

American Mathematical Society

1997

723 p.

978-0-8218-0479-7

00019926

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821804797

ISBN : 0-8218-0479-0

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

Collection : DIMACS series in discrete mathematics and theoretical computer science

N° de collection : 0035

Localisation : Disparu

Année de la rencontre : 1996

Ville du congrès : Piscataway

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : Disparu


Exemplaires

Cote Code barre Commentaire
1 00019926
D2006
Disparu 2005
D2004
D 2003

[disponible]
Z