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

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

Ø 0.0

0 Bewertungen

77,34 €

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:

Book Title:

Automated Deduction, Cade-15 : 15th International Conference on A
ISBN:

9783540646754

Standardversand:

Standard Int'l Postage 20,21 EUR - Lieferung zwischen 14. July 2025 und 18. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Saudi-Arabien , Jemen , Saint-Pierre und Miquelon , Guadeloupe , Martinique , Angola , Botsuana , Tschad , Mauritius , Nigeria , ... und weitere