Autor: Ian Pratt-Hartmann

Apoio

2 Ebooks por 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
Inglês
€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
Inglês
DRM
€101.74