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

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

Ø 0.0

0 Bewertungen

68,59 €

The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. - Disproving False Conjectures. - A Formal Proof of Dickson's Lemma in ACL2.

Jetzt bei Ebay:

ISBN-13:

9783540201014
Book Title:

Logic for Programming, Artificial Intelligence, and Reasoning
ISBN:

9783540201014

None:

International Standard : tracked-no signature (7 to 15 business days) 47,51 EUR - Lieferung zwischen 19. May 2025 und 28. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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