1
Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /

Full text 
Favorites
Saved in:
2
Automated Reasoning [E-Book] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

Full text 
Favorites
Saved in:
3
Categories for Software Engineering [E-Book] /

Full text 
Favorites
Saved in:
4
Finite Model Theory and Its Applications [E-Book] /

Full text 
Favorites
Saved in:
5
Theorem Proving in Higher Order Logics [E-Book] : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Felty, Amy
1997

Full text 
Favorites
Saved in:

Narrow Search Results