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

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International

Ø 0.0

0 Bewertungen

122,09 €

Invited Talk. - On Bounded Specifications. - Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. - Guarded Logics. - Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.

Jetzt bei Ebay:

ISBN-13:

9783540429579
Book Title:

Logic for Programming, Artificial Intelligence, and Reasoning
ISBN:

9783540429579

None:

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