Two-Level Functional Languages Autor Flemming Nielson et al. 15 iun 2005 Paperback Preț: 372.32 lei 465.40 lei 6-8 săpt. -20%
Information Flow Autor Jon Barwise et al. 26 mai 2007 Hardback Preț: 507.40 lei 634.25 lei 6-8 săpt. -20%
Algorithmic Information Theory Autor Gregory J. Chaitin et al. 20 oct 2004 Paperback Preț: 371.92 lei 464.89 lei 6-8 săpt. -20%
Extensions of First-Order Logic Autor Maria Manzano et al. 31 mai 2005 Paperback Preț: 530.16 lei 595.68 lei 6-8 săpt. -11%
Applications of Process Algebra Editat de J. C. M. Baeten et al. 22 mai 2004 Paperback Preț: 650.55 lei 813.19 lei 6-8 săpt. -20%
SIGIR ’94: Proceedings of the Seventeenth Annual International ACM-SIGIR Conference on Research and Development in Information Retrieval, organised by Dublin City University Editat de W. Bruce Croft et al. 30 iun 1994 Paperback Preț: 637.34 lei 796.67 lei 6-8 săpt. -20%
The Uncertain Reasoner's Companion Autor J. B. Paris et al. 19 oct 2006 Paperback Preț: 351.23 lei 439.03 lei 6-8 săpt. -20%
Logic and Computation Autor Lawrence C. Paulson et al. 9 iun 2003 Paperback Preț: 391.01 lei 488.77 lei 6-8 săpt. -20%
Action Semantics Autor Peter D. Mosses et al. 31 dec 2004 Paperback Preț: 406.60 lei 508.26 lei 6-8 săpt. -20%
The Optimal Implementation of Functional Programming Languages Autor Andrea Asperti et al. 2 iun 2010 Hardback Preț: 635.34 lei 794.18 lei 6-8 săpt. -20%
Formal Methods in Artificial Intelligence Autor Allan Ramsay et al. 28 feb 2009 Paperback Preț: 291.89 lei 364.86 lei 6-8 săpt. -20%
Theoretical Foundations of VLSI Design Editat de K. McEvoy et al. 18 oct 2003 Paperback Preț: 373.35 lei 466.69 lei 6-8 săpt. -20%
Topology Via Logic Autor Steven Vickers et al. 9 iun 2003 Paperback Preț: 405.48 lei 506.86 lei 6-8 săpt. -20%
Computational Learning Theory Autor M. H. G. Anthony et al. 10 ian 2011 Paperback Preț: 321.76 lei 402.20 lei 6-8 săpt. -20%
Advances in Information Retrieval Editat de Fabio Crestani et al. 13 mar 2002 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%
Deductive and Declarative Programming Autor P. Padawitz et al. 19 oct 2006 Paperback Preț: 333.91 lei 417.39 lei 6-8 săpt. -20%
Updating Logical Databases Autor Marianne Winslett et al. 31 dec 2004 Paperback Preț: 268.40 lei 335.50 lei 6-8 săpt. -20%
The Geometry of Information Retrieval Autor C.J. van Rijsbergen 3 iun 2015 Hardback Preț: 544.80 lei 681.00 lei 6-8 săpt. | 6-10 zile -20%
Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers Lecture Notes in Computer Science, nr. 3877 Editat de Marcin Detyniecki et al. 13 feb 2006 Paperback Preț: 319.75 lei 399.68 lei 6-8 săpt. -20%
Programs, Recursion and Unbounded Choice Autor Wim H. Hesselink et al. 31 mai 2005 Paperback Preț: 331.07 lei 413.83 lei 6-8 săpt. -20%
Predicate Transformer Semantics Autor Ernest G. Manes et al. 20 oct 2004 Paperback Preț: 395.97 lei 494.96 lei 6-8 săpt. -20%
The Logic of Typed Feature Structures Autor Bob Carpenter et al. 23 sep 2005 Paperback Preț: 333.42 lei 416.78 lei 6-8 săpt. -20%
Basic Simple Type Theory Autor J. Roger Hindley et al. 26 oct 2002 Hardback Preț: 728.03 lei 910.03 lei 6-8 săpt. -20%
Metamathematics, Machines and Godel's Proof Autor Natarajan Shankar et al. 8 oct 2002 Paperback Preț: 330.98 lei 413.73 lei 6-8 săpt. -20%
Formal Semantics and Pragmatics for Natural Language Querying Autor James Clifford et al. 2 feb 2004 Paperback Preț: 331.02 lei 413.79 lei 6-8 săpt. -20%
Belief Revision Editat de Peter Gardenfors et al. 18 oct 2003 Paperback Preț: 473.10 lei 591.39 lei 6-8 săpt. -20%
Nets, Terms and Formulas Autor E. R. Olderog et al. 15 iun 2005 Paperback Preț: 333.42 lei 416.78 lei 6-8 săpt. -20%