Automated Deduction - CADE-18

53.49 EUR

In den Proceedings der CADE‑18 werden 2002s führende Arbeiten zur automatischen Theorembeweisführung präsentiert, darunter neue Algorithmen für logische Inferenz, effiziente Unifikationstechniken und Anwendungen in wissensbasierten Systemen.

Gesponsert

Automated Deduction - CADE-18

SpringerLink DE

53.49 EUR

21-04-2026 21:05:14

Gesponsert

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392, Band 2392)

Medimops DE

53.49 EUR

22-04-2026 05:40:06

Automated Deduction - CADE-18

Ähnliche Produkte