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

Gesponsert
47.09 EUR
Preis aktualisiert am: 07-09-2026 11:13:12

Allgemein

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

Eigenschaften

Menü