Detail produktu

Produkt mají v nabídce:

Bookshop

5 580 Kč

Do eshopu

Logic for Computer Science and Artificial Intelligence - Caferra, Ricardo (Grenoble INP, France)

Logic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.

Podobné produkty

Talking with Computers - Dean, Thomas (Brown University, Rhode Island)

Talking with Computers - Dean, Thomas (Brown University, Rhode Island)

3 406 Kč

Porovnat nabídky

Belief Revision

Belief Revision

2 094 Kč

Porovnat nabídky

Mathematical Methods in Linguistics - Partee, Barbara B.H. a ter Meulen, A.G. a Wall, R.

Mathematical Methods in Linguistics - Partee, Barbara B.H. a ter Meulen, A.G. a Wall, R.

8 325 Kč

Porovnat nabídky

Epistemic Logic for AI and Computer Science - Meyer, J.-J. Ch. (Universiteit Utrecht, The Netherlands) a Hoek, W. van der (Universiteit Utrecht, The Netherlands)

Epistemic Logic for AI and Computer Science - Meyer, J.-J. Ch. (Universiteit Utrecht, The Netherlands) a Hoek, W. van der (Universiteit Utrecht, The Netherlands)

1 969 Kč

Porovnat nabídky

Computer Science - Theory and Applications

Computer Science - Theory and Applications

1 322 Kč

Porovnat nabídky

Science of Sound Recording - Kadis, Jay (Lecturer, Center for Computer Research in Music and Acoustics, Stanford University a Audio Engineer a Musician, Hayward, CA, USA)

Science of Sound Recording - Kadis, Jay (Lecturer, Center for Computer Research in Music and Acoustics, Stanford University a Audio Engineer a Musician, Hayward, CA, USA)

1 687 Kč

Porovnat nabídky

Dictionary of Computer Science, Engineering and Technology

Dictionary of Computer Science, Engineering and Technology

6 563 Kč

Porovnat nabídky

Computer Science -- Theory and Applications

Computer Science -- Theory and Applications

1 322 Kč

Porovnat nabídky

Generalized Vector and Dyadic Analysis - Chen-To Tai (Professor Emeritus, Department of Electrical Engineering and Computer Science, Professor Emeritus, Department of Electrical Engineering and Computer Science, University of Michigan)

Generalized Vector and Dyadic Analysis - Chen-To Tai (Professor Emeritus, Department of Electrical Engineering and Computer Science, Professor Emeritus, Department of Electrical Engineering and Computer Science, University of Michigan)

3 672 Kč

Porovnat nabídky

Geometric Computation for Machine Vision - Kanatani, Kenichi (Professor, Department of Computer Science, Professor, Department of Computer Science, Gunma University, Japan)

Geometric Computation for Machine Vision - Kanatani, Kenichi (Professor, Department of Computer Science, Professor, Department of Computer Science, Gunma University, Japan)

9 297 Kč

Porovnat nabídky

Temporal Logic: Volume 2 - Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) a Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) a Reynolds, M. (, Dept of Ciencia da C

-9,1 %

Temporal Logic: Volume 2 - Gabbay, Dov M (Department of Computer Science, Department of Computer Science, King's College London) a Finger, M. (Senior Lecturer in Computer Science, Senior Lecturer in Computer Science, Murdoch University, Australia) a Reynolds, M. (, Dept of Ciencia da C

7 578 Kč

~~8 336 Kč~~

Ušetříš 758 Kč

Porovnat nabídky

Anthropological Theory Today - Moore, Henrietta L. (London School of Economics and Political Science and University of California, Riverside)

Anthropological Theory Today - Moore, Henrietta L. (London School of Economics and Political Science and University of California, Riverside)

587 Kč

Porovnat nabídky

↑