Your gateway to millions of microforms and digital reproductions of books
EROMM Search
EROMM Web Search (1353 records) - Page 93
921 - 930 of 1353 records
911 - 920931 - 940Polarizing Double Negation Translations
/ Boudard, Mélanie ; Hermant, Olivier ; Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) ; Université de Versail... .. — HAL CCSDSpringer, 2013-12-15
/ Aravena, Pia ; Delevoye-Turrell, Yvonne ; Deprez, Viviane .. — HAL CCSDPublic Library of Science, 2012
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation
/ Mugnier, Marie-Laure ; Simonet, Geneviève ; Thomazo, Michaël .. — HAL CCSDElsevier, 2012-03
On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation
/ Mugnier, Marie-Laure ; Simonet, Geneviève ; Thomazo, Michaël .. — HAL CCSD, 2009-09-04
/ Ben Mohamed, Khalil ; Leclère, Michel ; Mugnier, Marie-Laure .. — HAL CCSD, 2011-08-28
Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments
/ Ben Mohamed, Khalil ; Leclère, Michel ; Mugnier, Marie-Laure .. — HAL CCSDSpringer, 2010-09-08
Containment of Conjunctive Queries with Negation: Algorithms and Experiments
/ Ben Mohamed, Khalil ; Leclère, Michel ; Mugnier, Marie-Laure .. — HAL CCSDSpringer, 2010-08-29
Default conceptual graph rules, atomic negation and Tic-Tac-Toe
/ Baget, Jean-François ; Fortin, Jérôme ; Exchanges, Documents, Extraction, Languages, Web, Ergonomics, Interactions, S... .. — HAL CCSDSpringer, 2010-07-26
/ Fleck, Frédérique ; École normale supérieure - Paris (ENS-PSL) ; Université Paris sciences et let... ; Université Paris sciences et lettres (PSL) .. — HAL CCSDSociété d’Études Latines de Bruxelles – Peeters, 2006
Négation et argumentation dans La Démocratie en Amérique de Tocqueville
/ Magri-Mourgues, Véronique ; BCL, équipe Linguistique de l'énonciation : la deixis [jusqu'en 2007] ; Bases... — HAL CCSDPeeters Publishers, 2005