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

Hugendubel

53.49 EUR

25-09-2026 16:06:17

Gesponsert

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings ... Notes in Computer Science, 780, Band 780)

Medimops DE

53.49 EUR

28-09-2026 07:15:09

Gesponsert

Higher Order Logic Theorem Proving and Its Applications

SpringerLink DE

53.49 EUR

28-09-2026 11:31:07