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

Automated Reasoning with Analytic Tableaux and Related Methods: 26th Internation

Ø 0.0

0 Bewertungen

83,89 €

Also included are papers of three invited speakers. Sequents systems. - Formalization and complexity. Subtitle 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings.

Jetzt bei Ebay:

ISBN-13:

9783319669014
Book Title:

Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:

9783319669014

None:

International Standard : tracked-no signature (7 to 15 business days) 116,92 EUR - Lieferung zwischen 07. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere