Introduction to mathematics of satisfiability / Victor W.Marek
Introduction to mathematics of satisfiability / Victor W.Marek
Autor
Marek, Victor W., matematičar
Nakladnik
Boca Raton [etc.] : CRC Press : Taylor and Francis Group, 2009
Materijalni opis
xiii, 350 str.
Napomena
Bibliografija: str.343-346.
 
Kazalo.
Klasifikacijska oznaka
68-01 Instructional exposition (textbooks, tutorial papers, etc.)
 
68T20 Problem solving (heuristics, search strategies, etc.)
 
68T30 Knowledge representation
Jezik
engleski
Standardni broj
ISBN 978-1-4398-0167-3
Građa
Knjigaknjiga

MAREK, Victor W., matematičar
Introduction to mathematics of satisfiability / Victor W.Marek. - Boca Raton [etc.] : CRC Press : Taylor and Francis Group, 2009. - xiii, 350 str.. - (Chapman & Hall / CRC Studies in Informatics Series)
Bibliografija: str.343-346. - Kazalo.
ISBN 978-1-4398-0167-3


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.