COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science (417), Band 417)
von:
Per Martin-L??f ·
Grigori Mints
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-52335-2
ISBN-10: 3-540-52335-9
Springer
· 2008
