Cărți de David McAllester

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Lecture Notes in Computer Science, nr. 1831

Editat de David McAllester

5 iun 2000

Preț: 344^.42 lei 430^.53 lei

6-8 săpt.

-20%

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1705

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 338^.35 lei 422^.94 lei

6-8 săpt.

-20%