Cărți de David McAllester

Logic Programming and Automated Reasoning

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%

Automated Deduction - CADE-17

Editat de David McAllester

5 iun 2000

Preț: 334^.47 lei 418^.08 lei

6-8 săpt.

-20%