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

Gesponsert
37.44 EUR
Preis aktualisiert am: 26-04-2026 02:00:15

Allgemein

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

Eigenschaften

Menü