Functional and Logic Programming Editat de Aart Middeldorp et al. 27 oct 1999 Paperback Preț: 325.69 lei 407.10 lei 6-8 săpt. -20%
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings Lecture Notes in Computer Science, nr. 2051 Editat de Aart Middeldorp 9 mai 2001 Paperback Preț: 335.91 lei 419.89 lei 6-8 săpt. -20%
Processes, Terms and Cycles: Steps on the Road to Infinity Editat de Aart Middeldorp et al. 13 dec 2005 Paperback Preț: 640.33 lei 800.41 lei 6-8 săpt. -20%
Logic for Programming, Artificial Intelligence, and Reasoning Editat de Ken McMillan et al. 2 dec 2013 Paperback Preț: 347.10 lei 433.88 lei 6-8 săpt. -20%
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Lecture Notes in Computer Science, nr. 9195 Editat de Amy P. Felty et al. 30 iul 2015 Paperback Preț: 337.48 lei 421.86 lei 6-8 săpt. -20%