Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Editat de Amy P. Felty et al.
30 iul 2015
Paperback
Preț: 350.86 lei 438.57 lei
6-8 săpt.
-20%
Cărți de Aart Middeldorp
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Editat de Ken McMillan et al.
2 dec 2013
Paperback
Preț: 357.63 lei 447.04 lei
6-8 săpt.
-20%
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Editat de Aart Middeldorp et al.
13 dec 2005
Paperback
Preț: 663.61 lei 829.51 lei
6-8 săpt.
-20%
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
Editat de Aart Middeldorp
9 mai 2001
Paperback
Preț: 349.22 lei 436.53 lei
6-8 săpt.
-20%
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
Editat de Aart Middeldorp et al.
27 oct 1999
Paperback
Preț: 336.86 lei 421.08 lei
6-8 săpt.
-20%