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. (565485)
99.6% positive Feedback
Price:
£57.64
Free postage
Estimated delivery Thu, 2 Oct - Wed, 8 Oct
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
New
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.

About this product

Product Identifiers

PublisherCambridge University Press
ISBN-100521602807
ISBN-139780521602808
eBay Product ID (ePID)92054843

Product Key Features

Number of Pages372 Pages
Publication NameEpistemic Logic for Ai and Computer Science
LanguageEnglish
SubjectProgramming Languages / General, Epistemology, Computer Science, Intelligence (Ai) & Semantics
Publication Year2004
TypeTextbook
AuthorW. Van Der Hoek, J. -J. Ch. Meyer
Subject AreaComputers, Philosophy
SeriesCambridge Tracts in Theoretical Computer Science Ser.
FormatTrade Paperback

Dimensions

Item Height0.9 in
Item Weight23.4 oz.
Item Length9.6 in
Item Width7.4 in

Additional Product Features

Intended AudienceScholarly & Professional

All listings for this product

Buy it now
New
No ratings or reviews yet
Be the first to write a review