Filtre: 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^.81 lei 927^.37 lei

38-44 zile

-24%