Cărți de Geoff Sutcliffe

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Geoff Sutcliffe et al.

24 noi 2005

Preț: 645^.64 lei 807^.06 lei

6-8 săpt.

-20%

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12699

Editat de André Platzer et al.

8 iul 2021

Preț: 309^.83 lei 387^.29 lei

6-8 săpt.

-20%