Computational Logic In Multiagent Systems 13th International Workshop Proceedings

Practical Formal Methods Using Temporal Logic

Visions of Mughal India

The Nightmare Man

Cries from the Darkness

Executable Modal and Temporal Logics: Ijcai '93 Workshop, Chambery, France, August 28, 1993

For the Time Being

A Short History of the Mughal Empire

A Short History Of The Mughal Empire

Pugin-land

Alton Towers