-
Bib ID# 34073
ISBN: 9783540727347
UPC: 10.1007/978-3-540-72734-7
Title: Logical Foundations of Computer ScienceInternational Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Author: Artemov, Sergei N.
Publication Info:
Item Type: Language material