Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

37.44 EUR

Marke: Springer Berlin Heidelberg

ISBN: 3540517057

MPN: 6901068

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

Gesponsert Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

37.44 EUR 37.44 EUR

13-06-2026 10:50:59

Access to the deal

37.44 EUR 37.44 EUR

13-06-2026 03:57:09

Access to the deal