Cambridge Tracts in Theoretical Computer Science Ser.: Epistemic Logic for AI and Computer Science by W. van der Hoek and J. -J. Ch. Meyer (2004, Trade Paperback)
BOOKS etc. (546577)
99,6% positive Bewertungen
Preis:
£57,64
(inkl. MwSt.)
Ca.EUR 66,42
+ £11,04 Versand
Lieferung ca. Mi, 20. Aug - Mo, 25. AugLieferung ca. Mi, 20. Aug - Mo, 25. Aug
Rücknahme:
60 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Artikelzustand:
NeuNeu
ISBN-13: 9780521602808, 978-0521602808. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5.