Bücher nach ISBN > Springer > Yu.V. Matiyasevich

Yu.V. Matiyasevich

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings978-3-54O-5814O-6
(3-54O-5814O-5)		2008Anil Nerode

Yu.V. Nesterenko