U. Kohlenbach
2 published titles
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783642399916
- Springer
- 2013
- Details
Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparas̕o, Chile, September 1-4, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783662441442
- Springer
- 2014
- Details
