-
Bib ID# 32262
ISBN: 9783642357220
UPC: 10.1007/978-3-642-35722-0
Title: Logical Foundations of Computer ScienceInternational Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Author: Artemov, Sergei.
Publication Info:
Item Type: Language material