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

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

Ø 0.0
0 Bewertungen
125,22 €

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: