1
Recent Trends in Algebraic Development Techniques [E-Book] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
2
Logic, Rationality, and Interaction [E-Book] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
3
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
4
Recent Trends in Algebraic Development Techniques [E-Book]: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:

Narrow Search Results