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

25-04-2026 22:54:16

Access to the deal

37.44 EUR 37.44 EUR

25-04-2026 11:25:35

Access to the deal