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

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '9

Ø 0.0

0 Bewertungen

69,04 €

Subtitle 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Generalization and reuse of tactic proofs. - Program tactics and logic tactics. - On the relation between the ??.

Jetzt bei Ebay:

ISBN-13:

9783540582168
Book Title:

Logic Programming and Automated Reasoning
ISBN:

9783540582168

None:

International Standard : tracked-no signature (7 to 15 business days) 40,22 EUR - Lieferung zwischen 27. May 2025 und 06. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , ... und weitere