Cărți de Amy Felty

Theorem Proving in Higher Order Logics

Editat de Elsa L. Gunter et al.

6 aug 1997

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7406

Editat de Lennart Beringer et al.

6 iul 2012

Preț: 326^.24 lei 407^.80 lei

6-8 săpt.

-20%