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. (544411)
99,6% positive Bewertungen
Preis:
£57,64
(inkl. MwSt.)
Ca.EUR 66,06
+ £11,04 Versand
Lieferung ca. Do, 14. Aug - Mo, 18. AugLieferung ca. Do, 14. Aug - Mo, 18. 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.