Home Advanced Search

Advanced Search - Page 1

Handbook of tableau methods
  • DJVU
  • English
  • Year: 1999
  • Author: Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)
Handbook of Tableau Methods
  • PDF
  • English
  • Year: 1999
  • Author: Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)
Labelled deduction
  • DJVU
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Labelled Deduction
  • PDF
  • English
  • Year: 2000
  • Author: David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò (eds.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
  • PDF
  • English
  • Year: 1976
  • Author: Dov M. Gabbay (auth.)
Handbook of Philosophical Logic: Volume 16
  • PDF
  • English
  • Year: 2011
  • Author: Odinaldo Rodrigues, Dov Gabbay, Alessandra Russo (auth.), Dov M. Gabbay, Franz Guenthner (eds.)
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
  • PDF
  • English
  • Year: 2007
  • Author: Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
  • PDF
  • English
  • Year: 2007
  • Author: Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2002
  • Author: Dirk van Dalen (auth.), Dov M. Gabbay, F. Guenthner (eds.)
search