Term Rewriting and Applications
Editat de Franz Baader
21 iun 2007
Paperback
Preț: 328.13 lei 410.16 lei
6-8 săpt.
-20%
Cărți de Franz Baader
Automated Deduction - CADE-19
Editat de Franz Baader
16 iul 2003
Paperback
Preț: 332.60 lei 415.75 lei
6-8 săpt.
-20%
Logic for Programming, Artificial Intelligence, and Reasoning
Editat de Franz Baader et al.
7 mar 2005
Paperback
Preț: 683.94 lei 854.92 lei
38-44 zile
-20%