AKTUELLE PARTNERANGEBOTE

9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 1988, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 792, publicationDate : 1988-06-13, publishers : Ewing Lusk, languages : english, ISBN : 354019343X

2 Angebote · ab 104,34 € gemeldete Gesamtkosten