Capa

Adapting Proofs-as-Programs

SPRINGER
06 / 2005
9780387237596
978-03-8723-759-6
Inglês
Monographs in Computer Science
Ingles