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

Logic for Programming, Artificial Intelligence, and Reasoning: 12th Internationa

Ø 0.0

0 Bewertungen

124,41 €

Independently Checkable Proofs from Decision Procedures: Issues and Progress. - Zap: Automated Theorem Proving for Software Analysis. - Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.

Jetzt bei Ebay:

ISBN-13:

9783540305538
Book Title:

Logic for Programming, Artificial Intelligence, and Reasoning
ISBN:

9783540305538

None:

International Standard : tracked-no signature (7 to 15 business days) 57,54 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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