Automated Reasoning
Entdecken Sie in den Proceedings der IJCAR‑Konferenz von 2004 aus Cork die neuesten Entwicklungen in automatisiertem Beweis, formaler Logik und Theoremproving, ergänzt durch praxisorientierte Fallstudien und theoretische Fortschritte.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science (3097), Band 3097)
Medimops DE
27-07-2026 23:34:43
SpringerLink DE 
