Home Advanced Search

Advanced Search - Page 1

Advances in Artificial Intelligence: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part I
  • PDF
  • English
  • Year: 2011
  • Author: Kryštof Hoder, Laura Kovács, Andrei Voronkov (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)
Advances in Soft Computing: 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, Proceedings, Part II
  • PDF
  • English
  • Year: 2011
  • Author: Leticia Cervantes, Oscar Castillo, Patricia Melin (auth.), Ildar Batyrshin, Grigori Sidorov (eds.)
Advances in Computational Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II
  • PDF
  • English
  • Year: 2013
  • Author: Grigori Sidorov, Francisco Velasquez, Efstathios Stamatatos, Alexander Gelbukh (auth.), Ildar Batyrshin, Miguel González Mendoza (eds.)
Advances in Artificial Intelligence: 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I
  • PDF
  • English
  • Year: 2013
  • Author: Grigori Sidorov, Sabino Miranda-Jiménez, Francisco Viveros-Jiménez, Alexander Gelbukh (auth.), Ildar Batyrshin, Miguel González Mendoza (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Laura Kovács, Andrei Voronkov (auth.), Natasha Sharygina, Helmut Veith (eds.)
Syntactic n-grams in Computational Linguistics
  • PDF
  • English
  • Year: 2019
  • Author: Grigori Sidorov
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Perception-based Data Mining and Decision Making in Economics and Finance
  • PDF
  • English
  • Year: 2007
  • Author: Janusz Kacprzyk, Slawomir Zadrozny (auth.), Ildar Batyrshin, Janusz Kacprzyk, Leonid Sheremetov, Lotfi A. Zadeh (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)
search