Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings Lecture Notes in Computer Science, nr. 798 Editat de Roy Dyckhoff 20 mai 1994 Paperback Preț: 323.55 lei 404.44 lei 6-8 săpt. -20%
Automated Reasoning with Analytic Tableaux and Related Methods Editat de Roy Dyckhoff 21 iun 2000 Paperback Preț: 329.14 lei 411.42 lei 6-8 săpt. -20%
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. Lecture Notes in Computer Science, nr. 1050 Editat de Roy Dyckhoff et al. 13 mar 1996 Paperback Preț: 321.49 lei 401.86 lei 6-8 săpt. -20%