This collection of papers includes discussion of definitional reflection and completion, knowledge representation, non-procedural logic programming, disjunctive databases, linear logic programming, proof theory, finite sets, search-space pruning and the implementation of transputer networks.
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle. Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa