Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland | Kaicus Deutschland

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)

Die Proceedings der IJCAR‑Konferenz 2004 aus Cork zeigen innovative Ansätze in automatisierter Logik, Theoremproving und formaler Verifikation, ergänzt durch neue Algorithmen, Fallstudien und theoretische Analysen.

Marke: Michael Rusinowitch
ISBN: 3540223452
MPN: Illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen