Autor: Ian Pratt-Hartmann

Wsparcie

2 Ebooki wg Ian Pratt-Hartmann

Marco Aiello & Ian Pratt-Hartmann: Handbook of Spatial Logics
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much a …
PDF
Angielski
€309.23
Ian Pratt-Hartmann: Fragments of First-Order Logic
A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algo …
PDF
Angielski
DRM
€101.74