Adapting Proofs-as-Programs
de Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing
Materias
Ediciones (3)
- Adapting Proofs-as-Programs (2010)
Springer · ISBN 9781441920140
- Adapting Proofs-as-Programs (2008)
Springer · ISBN 9780387503721
- Adapting Proofs-As-Programs (2005)
Springer London, Limited · inglés · ISBN 9780387281834
