Filtre: Paperback

Automated Reasoning Series

Automated Reasoning

Automated Reasoning Series, nr. 1

Editat de Robert Stephen Boyer

17 oct 2012

Preț: 653^.77 lei 817^.20 lei

43-57 zile

-20%

Piton

Automated Reasoning Series, nr. 3

Autor J Strother Moore

3 oct 2013

Preț: 324^.05 lei 405^.07 lei

43-57 zile

-20%

Resolution Proof Systems

Automated Reasoning Series, nr. 4

Autor Z. Stachniak

30 apr 1996

Preț: 650^.93 lei 813^.66 lei

43-57 zile

-20%