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]
Roberts, Fred S.
Nakladnik Providence, R.I. : American Mathematical Society, 1997
Materijalni opis xv, 724 str. : ilustr. ; 26 cm
Nakladnički niz DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; Vol. 36
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 Google Books
Google Books

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.