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

37.44 EUR 0% Off 37.49 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

-0%

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

37.44 EUR 37.49 EUR

20-09-2026 04:10:42

Access to the deal

-0%

37.44 EUR 37.49 EUR

20-09-2026 22:13:20

Access to the deal

37.49 EUR 37.49 EUR

20-09-2026 13:19:44

Access to the deal