Automated Deduction - CADE-18

~~59.00 EUR~~ 53.49 EUR 9% Off

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: 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

07-09-2026 06:00:53

Gesponsert

Automated Deduction - CADE-18

SpringerLink DE

59.00 EUR

07-09-2026 11:13:23

Automated Deduction - CADE-18

Ähnliche Produkte