Filtre: Paperback

Cărți de Christian Urban

Theorem Proving in Higher Order Logics

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 334^.04 lei 417^.55 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ț: 331^.59 lei 414^.49 lei

6-8 săpt.

-20%

Ähnlichkeitssuche in der

Autor Christian Urban

8 mar 2004

Preț: 530^.36 lei 662^.95 lei

6-8 săpt.

-20%