Filtre: Paperback Springer

Cărți de Melvin Fitting

First-Order Logic and Automated Theorem Proving

Texts in Computer Science

Autor Melvin Fitting

26 iun 2013

Preț: 570^.58 lei 713^.23 lei

6-8 săpt.

-20%

First-Order Modal Logic

Synthese Library

Autor Melvin Fitting et al.

19 oct 2024

Preț: 704^.32 lei 926^.74 lei

38-45 zile

-24%