
AKTUELLE PARTNERANGEBOTE
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449, Band 449)
Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2008-10-10, publishers : Stickel, Mark E., ISBN : 3540528857
2 Angebote · ab 147,74 € gemeldete Gesamtkosten
