Ian Pratt-Hartmann – författare
Visar alla böcker från författaren Ian Pratt-Hartmann. Handla med fri frakt och snabb leverans.
5 produkter
Fragments of First-Order Logic
E-bok, 2023
1650 kr
Lägg i varukorg
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 algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed …
Fragments of First-Order Logic
Inbunden, 2023
2039 kr
Lägg i varukorg
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 algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed …
Handbook of Spatial Logics
Av Marco Aiello, Ian Pratt-Hartmann m. fl.
Inbunden, 2007
3267 kr
Lägg i varukorg
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 attention in response to developments in such diverse fields as Artificial Intelligence, Database …
Handbook of Spatial Logics
Av Johan van Benthem, Ian Pratt-Hartmann m. fl.
E-bok, 2007
4074 kr
Lägg i varukorg
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 attention in response to developments in such diverse fields as Artificial Intelligence, Database …
Handbook of Spatial Logics
Av Marco Aiello, Ian Pratt-Hartmann m. fl.
Häftad, 2016
3267 kr
Lägg i varukorg
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 attention in response to developments in such diverse fields as Artificial Intelligence, Database …
