Instantiation Theory
Prijzen vanaf
47,99
Uitgelicht
|
47,99 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (1) | ||
Beschrijving
Bol
The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. Every instantiation system is a quotient system of a subsystem of first-order term instantiation.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
The volume begins with a survey of general approaches to the study of instantiation, as found in tree systems, order-sorted algebras, algebraic theories, composita, and instantiation systems. Every instantiation system is a quotient system of a subsystem of first-order term instantiation.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijshistorie
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
Uitgelichte Keuze
47,99
