Home Advanced Search

Advanced Search - Page 1

Advances in Temporal Logic
  • PDF
  • English
  • Year: 2000
  • Author: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Advances in temporal logic
  • DJVU
  • English
  • Year: 2000
  • Author: Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989
  • PDF
  • English
  • Year: 1992
  • Author: Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Dov Gabbay (auth.), Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.)
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Dov Gabbay (auth.), Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (eds.)
Mathematical Problems from Applied Logic II: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2007
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
  • PDF
  • English
  • Year: 2006
  • Author: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2018
  • Author: Dov M. Gabbay, Franz Guenthner (eds.)
search