Amy Felty - Böcker

Visar alla böcker från författaren Amy Felty.
2 produkter
Elsa L. Gunter, Amy Felty - Theorem Proving in Higher Order Logics, Häftad
Del 1275 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Elsa L. Gunter, Amy Felty

Häftad, Engelska, 1997

739 kr

Skickas inom 7-10 vardagar
Lennart Beringer, Amy Felty - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Lennart Beringer, Amy Felty

Häftad, Engelska, 2012

739 kr

Skickas inom 7-10 vardagar