Filtre: Paperback

Cărți de Christian Urban

Theorem Proving in Higher Order Logics

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 347^.39 lei 434^.23 lei

6-8 săpt.

-20%

Interactive Theorem Proving

Lecture Notes in Computer Science, nr. 9236

Editat de Christian Urban et al.

27 aug 2015

Preț: 344^.83 lei 431^.04 lei

6-8 săpt.

-20%

Ähnlichkeitssuche in der

Autor Christian Urban

9 mar 2004

Preț: 557^.73 lei 697^.17 lei

6-8 săpt.

-20%