Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
  • PDF
  • English
  • Year: 2020
  • Author: Nicolas Peltier, Viorica Sofronie-Stokkermans
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Nicolas Peltier, Viorica Sofronie-Stokkermans
Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev (auth.), Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.)
Lectii de mecanica cuantica
  • PDF
  • Romanian
  • Year: 2007
  • Author: Viorica Florescu
Modalitati de diversificare a produselor de imbracaminte prin prelucrari tehnologice
  • PDF
  • Romanian
  • Author: Papaghiuc Viorica.
The Power of Language: How the Codes We Use to Think, Speak, and Live Transform Our Minds
  • EPUB
  • English
  • Year: 2023
  • Author: Viorica Marian
La conformación y el uso de las locuciones prepositivas en castellano medieval
  • PDF
  • Spanish
  • Year: 2016
  • Author: Viorica Codita
search