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)

53.49 EUR

Marke: Springer Berlin Heidelberg

ISBN: 3540602755

MPN: 6943810

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

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)

53.49 EUR 53.49 EUR

01-05-2026 20:38:38

Access to the deal

53.49 EUR 53.49 EUR

01-05-2026 21:31:36

Access to the deal