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: 27-07-2026 19:59:04

Allgemein

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

Eigenschaften

Menü