Ian Hodkinson – författare

Visar alla böcker från författaren Ian Hodkinson. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Relation Algebras by Games

   Av Ian Hodkinson, Robin Hirsch

   E-bok, 2002

   1894 kr

   Lägg i varukorg

   Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of …

2. 

   Temporal Logic: Volume 1

   Av Dov M. Gabbay, Ian Hodkinson m. fl.

   Inbunden, 1994

   5149 kr

   Lägg i varukorg

   This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal …

3. 

   Relation Algebras by Games

   Av Robin Hirsch, Ian Hodkinson

   Inbunden, 2002

   2243 kr

   Lägg i varukorg

   Relation algebras are algebras arising from the study of binary relations.They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of …

4. 

   Advances in Modal Logic, Volume 6

   Av Guido Governatori, Ian Hodkinson m. fl.

   Häftad, 2006

   291 kr

   Lägg i varukorg