-
Bib ID# 37792
ISBN: 9783540926870
UPC: 10.1007/978-3-540-92687-0
Title: Logical Foundations of Computer ScienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Author: Artemov, Sergei.
Publication Info:
Item Type: Language material