English
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)
1997
723 p.
978-0-8218-0479-7
00019926
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
Niveau d'autorisation : Public
Exemplaires
| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00019926 | D2006 Disparu 2005 D2004 D 2003 [disponible] |
