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

Gesponsert
37.49 EUR
Preis aktualisiert am: 10-11-2026 04:11:34
Gesponsert
47.09 EUR
Preis aktualisiert am: 09-11-2026 12:03:59

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540517057
MPN
Springer Berlin Heidelberg 6901068

Eigenschaften

Menü