Adapting Proofs-as-Programs

Full text!
Type:
e-book
Titel:
Adapting Proofs-as-Programs
Auteur:
Poernomo, Iman Hafiz; Crossley, John N.; Gries, David; Schneider, Fred B.; Wirsing, Martin
Taal:
Engels
Uitgever:
Springer New York 2005
ISBN:
0-387-23759-3
1-4419-2014-5
9786610851850
1-280-85185-6
0-387-28183-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000283668