Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
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.