Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos

Auteur principal collectivité : DIMACS workshop, 1996, AuteurAuteur secondaire : Gu, Jun, 1956-, Editeur scientifique • Pardalos, Panos M., 1954-, Editeur scientifique • Du, Dingzhu, 1948-, Editeur scientifiqueType de document : CongrèsCollection : DIMACS series in discrete mathematics and theoretical computer science, 35Langue : anglais.Pays: Etats Unis.Éditeur : Providence : American Mathematical Society, 1997Description : 724 p. : ill. ; 26 cmISBN: 9780821804797.ISSN: 1052-1798.Bibliographie : Bibliogr..Sujet MSC : 03B05, General logic, Classical propositional logic
03D15, Computability and recursion theory, Complexity of computation (including implicit computational complexity)
90C27, Mathematical programming, Combinatorial optimization
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
00B25, Conference proceedings and collections of papers, Proceedings of conferences of miscellaneous specific interestEn-ligne : MSN
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Congrès Congrès CMI
Salle 1 		03-06 DU (Browse shelf(Opens below)) Available 11905-01

Bibliogr.

There are no comments on this title.

to post a comment.