Overview
Logical Foundations of Computer Science: International Symposium, Lfcs 2013, San Diego, Ca, Usa, January 6-8, 2013. Proceedings
- | Author: Sergei Artemov
- | Publisher: Springer
- | Publication Date: Nov 21, 2012
- | Number of Pages: 415 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642357210
- | ISBN-13: 9783642357213