Satisfiability problem: theory and applications : DIMACS Workshop, March 11-13, 1996 / Dingzu Du, Jun Gu, Panos M.Pardalos, editors
Satisfiability problem: theory and applications : DIMACS Workshop, March 11-13, 1996 / Dingzu Du, Jun Gu, Panos M.Pardalos, editors
Ostali autori
Du, Dingzhu [editor]
 
Gu, Jun [editor]
Nakladnik
Providence, R.I. : American Mathematical Society, 1997
Materijalni opis
xv, 724 str. : ilustr. ; 26 cm
Napomena
Bibliografije uz radove.
Klasifikacijska oznaka
00B25 Proceedings of conferences of miscellaneous specific interest
 
68-06 Proceedings, conferences, collections, etc.
Jezik
engleski
Standardni broj
ISBN 0-8218-0479-0
Građa
Knjigaknjiga
Djelomični sadržaj online

SATISFIABILITY problem: theory and applications : DIMACS Workshop, March 11-13, 1996 / Dingzu Du, Jun Gu, Panos M.Pardalos, editors. - Providence, R.I. : American Mathematical Society, 1997. - xv, 724 str. : ilustr. ; 26 cm. - (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; Vol. 36)
Bibliografije uz radove.
ISBN 0-8218-0479-0


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.