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: 22nd Internation

Ø 0.0

0 Bewertungen

61,15 €

Invited Talks. - Witness Runs for Counter Machines (Abstract). - Research Papers. - Tableaux for Verification of Data-Centric Processes. - Compression of Propositional Resolution Proofs by Lowering Subproofs.

Jetzt bei Ebay:

ISBN-13:

9783642405365
Book Title:

Automated Reasoning with Analytic Tableaux and Related Methods
ISBN:

9783642405365

None:

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

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere