Biblioteca da Universidade do Minho

Your cart is empty.
Normal view MARC view ISBD view

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

Secondary Author Du, Dingzhu
Gu, Jun
Pardalos, P. M., 1954- Country Estados Unidos. Publication [Washington] : American Mathematical Society, cop. 1997 Description XV, 724 : il. ; 26 cm Series DIMACS series in discrete mathematics and theoretical computer science , 35 ISBN 0-8218-0479-0 CDU 519.6 681.3
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Holdings
Item type Current location Call number Status Date due Barcode Item holds
Monografia Biblioteca Geral da Universidade do Minho
BGUMD 109474 Available 361924
Total holds: 0

Enhanced descriptions from Syndetics:

There are no comments for this item.

Log in to your account to post a comment.