Handbook of Epistemic LogicHans Van Ditmarsch, Joseph Y Halpern, Wiebe Van Der HoekHäftad, 2015302 kr
Concise Introduction to Models and Methods for Automated PlanningHector Geffner, Blai BonetHäftad, 2013365 kr
Concise Introduction to Models and Methods for Automated PlanningBlai Bonet, Hector Geffner E-bok2022432 kr