Search results
- Constraint processing / Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi. San Francisco : Morgan Kaufmann Publishers, an imprint of Elsevier Science, [2003] ©2003 . xx, 481 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Foundations of logic programming / J. W. Lloyd. Berlin : Springer-Verlag, 1987 . xii, 212 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 book
- The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. Cambridge, Massachusetts ; London, England : The MIT Press, [2018] ©2018 . xiii, 403 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Logic for computer scientists / Uwe Schöning. New York : Springer Science+Business Media, LLC, 1989 . 166 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Logic functions and equations : binary models for computer science / by Christian Posthoff, Bernd Steinbach. Dordrecht : Springer, c2004 . xxix, 392 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logic in computer science, modelling and reasoning about systems / Michael Huth and Mark Ryan. Cambridge : Cambridge University Press, 2004 . xiv, 427 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logical and relational learning / Luc De Raedt. Berlin : Springer, c2008 . xv, 387 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Multiagent systems : algorithmic, game-theoretic, and logical foundations / Yoav Shoham, Kevin Leyton-Brown. Cambridge : Cambridge University Press, 2009 . xx, 483 stran
http://www.loc.gov/catdir/enhancements/fy0834/2008012063-b.html http://www.loc.gov/catdir/enhancements/fy0834/2008012063-d.html http://www.loc.gov/catdir/enhancements/fy0834/2008012063-t.htmlLok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Nové příklady pro výuku PROLOGu [rukopis] / Tomáš Glír. 2014 . 60 s.(99 000 znaků)
book
- Parallel and distributed logic programming : towards the design of a framework for the next generation database machines / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal. Berlin : Springer, c2006 . xiii, 291 s.
http://www.loc.gov/catdir/toc/fy0701/2006925432.html</Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book