Normal view MARC view ISBD view

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 interest
En-ligne : MSN
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03-06 DU (Browse shelf) Available 11905-01

Bibliogr.

There are no comments for this item.

Log in to your account to post a comment.