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

Full text 
Favorites
Saved in:
2
Automated Deduction - CADE-17 [E-Book] : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /

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

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

Full text 
Favorites
Saved in:
5
Category Theory and Computer Science [E-Book] : 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings /

Full text 
Favorites
Saved in:
6
Computer Science Logic [E-Book] : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /

Full text 
Favorites
Saved in:
7
Computer Science Logic [E-Book] : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /

Full text 
Favorites
Saved in:
8
Computer Science Logic [E-Book] : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings /

Full text 
Favorites
Saved in:
9
Computer Science Logic [E-Book] : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings /

Full text 
Favorites
Saved in:
10
Computer Science Logic [E-Book] : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings /

Full text 
Favorites
Saved in:
11
Computer Science Logic [E-Book] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings /

Full text 
Favorites
Saved in:
12
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings [E-Book] /

Full text 
Favorites
Saved in:
13
Computer Science Logic [E-Book] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

Full text 
Favorites
Saved in:
14
Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /

Full text 
Favorites
Saved in:
15
Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Ong, Luke.
2005

Full text 
Favorites
Saved in:
16
Computer Science Logic (vol. # 4207) [E-Book] / 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

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

Full text 
Favorites
Saved in:
18
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /

Full text 
Favorites
Saved in:
19
Logic, Rationality, and Interaction [E-Book] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /

Full text 
Favorites
Saved in:
20
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results