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: 18th Internation

Ø 0.0

0 Bewertungen

67,31 €

Presenting Constraints. - Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. - A Schemata Calculus for Propositional Logic. - Canonical Constructive Systems. - A Novel Architecture for Situation Awareness Systems.

Jetzt bei Ebay:

ISBN-13:

9783642027154
Book Title:

Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:

9783642027154

None:

International Standard : tracked-no signature (7 to 15 business days) 23,18 EUR - Lieferung zwischen 29. July 2025 und 08. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Amerikanisch-Samoa , Fidschi , ... und weitere