Cărți de Roy Dyckhoff

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1847

Editat de Roy Dyckhoff

21 iun 2000

Preț: 340^.32 lei 425^.40 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

Preț: 334^.20 lei 417^.75 lei

6-8 săpt.

-20%

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

Preț: 336^.35 lei 420^.43 lei

6-8 săpt.

-20%