Artemov, Sergei N. - Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings (Lecture Notes in Computer Science, 4514, Band 4514)

Brand : Springer, Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 528, publicationDate : 2009-02-22, releaseDate : 2007-07-01, publishers : Artemov, Sergei N., ISBN : 3540727329 ...