Theorem Proving in Higher Order Logics
Editat de David Basin et al.
21 aug 2003
Paperback
Preț: 380.09 lei
6-8 săpt.
Cărți de David Basin
Automated Reasoning
Editat de David Basin et al.
22 iun 2004
Paperback
Preț: 632.79 lei 790.99 lei
6-8 săpt.
-20%