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