Cărți de Geoff Sutcliffe

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Geoff Sutcliffe et al.

24 noi 2005

Preț: 647^.64 lei 809^.56 lei

6-8 săpt.

-20%

Automated Deduction - CADE 28

Lecture Notes in Computer Science, nr. 12699

Editat de André Platzer et al.

8 iul 2021

Preț: 325^.87 lei 407^.35 lei

6-8 săpt.

-20%