Higher Order Logic Theorem Proving and Its Applications | DealShopping Deutschland

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR

Gesponsert

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)

Medimops DE

53.49 EUR

29-04-2026 08:16:23

Gesponsert

Higher Order Logic Theorem Proving and Its Applications

SpringerLink DE

53.49 EUR

29-04-2026 10:23:24