Home Advanced Search

Advanced Search - Page 1

Automated Reasoning
  • PDF
  • English
  • Year: 2018
  • Author: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Alessandro Cimatti, Roberto Sebastiani
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à -Mousson, France, May 13–16, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Ryuzo Hasegawa, Hiroshi Fujita (auth.), Didier Galmiche (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.)
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.)
Research and Advanced Technology for Digital Libraries: 14th European Conference, ECDL 2010, Glasgow, UK, September 6-10, 2010, Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Mounia Lalmas, Joemon Jose, Andreas Rauber, Roberto Sebastiani, Ingo Frommholz
String Processing and Information Retrieval: 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Erik D. Demaine (auth.), Roberto Grossi, Fabrizio Sebastiani, Fabrizio Silvestri (eds.)
search