Filtre: Springer Berlin, Heidelberg

Cărți de William McCune

Automated Deduction in Equational Logic and Cubic Curves

Autor William McCune et al.

12 iun 1996

Preț: 319^.49 lei 399^.37 lei

43-57 zile

-20%

Automated Deduction - CADE-14

Editat de William McCune

18 iun 1997

Preț: 331^.59 lei 414^.49 lei

43-57 zile

-20%