Cărți de Ricardo Caferra

Automated Model Building

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 953^.65 lei 1162^.99 lei

6-8 săpt.

-18%

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Lecture Notes in Computer Science, nr. 1761

Editat de Ricardo Caferra et al.

9 feb 2000

Preț: 333^.22 lei 416^.52 lei

6-8 săpt.

-20%