Cărți de Geoff Sutcliffe

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ț: 315^.60 lei 394^.50 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3835

Editat de Geoff Sutcliffe et al.

24 noi 2005

Preț: 655^.03 lei 818^.79 lei

6-8 săpt.

-20%