Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Automated Deduction, Cade-15 : 15th International Conference on Automated Ded...

Ø 0.0
0 Bewertungen
74,58 €

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.

Jetzt bei Ebay: