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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an

Ø 0.0

0 Bewertungen

271,79 €

Preface; W. Bibel, P.H. Schmitt. Part One: Tableau and Connection Calculi. Introduction; U. Furbach. Analytic Tableaux; B. Beckert, R. Hahnle. Clausal Tableaux; R. Letz. Variants of Clausal Tableaux; P. Baumgartner, U. Furbach.

Jetzt bei Ebay:

Format:

Paperback
Language:

English
ISBN-13:

9789048150502
Author:

Wolfgang Bibel, P.H. Schmitt
Book Title:

Automated Deduction - A Basis for Applications Volume I Foundatio
ISBN:

9789048150502

None:

International Standard : tracked-no signature (7 to 15 business days) 27,30 EUR - Lieferung zwischen 29. July 2025 und 12. 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