Amy Felty - Böcker
Visar alla böcker från författaren Amy Felty.
2 produkter
2 produkter
Theorem Proving in Higher Order Logics
10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Häftad, Engelska, 1997
709 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Häftad, Engelska, 2012
709 kr
Skickas inom 10-15 vardagar