TY - BOOK AU - TI - LECTURE NOTES IN COMPUTER SCIENCE ; V.3618: MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005 SN - 3540287027 U1 - 001.64 PY - 2005/// CY - PB - Springer-Verlag, Berlin KW - Computer Science UR - http://link.springer.com/bookseries/558 ER -