Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

PDF
English
Year: 2013
Author: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

PDF
English
Year: 2009
Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

PDF
English
Year: 2009
Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

PDF
English
Year: 2012
Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

PDF
English
Year: 2009
Author: Armin Biere (auth.), Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)

Handbook of satisfiability

PDF
English
Year: 2021
Author: Armin Biere

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

PDF
English
Year: 2006
Author: Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.)

Mathematics of Program Construction: 4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings

PDF
English
Year: 1998
Author: David Harel (auth.), Johan Jeuring (eds.)

First-Order Dynamic Logic

PDF
English
Year: 1979
Author: David Harel (eds.)

First-Order Dynamic Logic

DJVU
English
Year: 1979
Author: David Harel (eds.)