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

04-08-2026 19:09:58

Access to the deal

37.44 EUR 37.44 EUR

05-08-2026 22:45:32

Access to the deal