Isbn: 9783319214009 - automated deduction - cade-25: 25th international conference on automated deduction, berlin, germany, august 1-7, 2015, proceedings (lecture notes in artificial intelligence, band 9195) (4 Ergebnisse)

ISBN
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (4)

bis

Benutzerdefinierte Preisspanne (EUR)

bis