Results 51 to 60 of about 5,682 (120)
Remaniement dû à la pandémie: Utiliser le logiciel de visioconférence Zoom™ pour créer une clinique virtuelle d’enseignement. [PDF]
Can Fam Physician, 2021 Domb S, Manly E, Elman D.
europepmc +1 more source
We Tell These Stories to Survive: Towards Abolition in Computer Science Education. [PDF]
Can J Sci Math and Technol Educ, 2021 Jones ST, Melo NA.
europepmc +1 more source
Sat4j, un moteur libre de raisonnement en logique propositionnelle
, 2010 This work takes place in the area of propositional logic. We are interested in modeling and solving problems in such logic. We use the problem of software dependency management as central theme.
Le Berre, Daniel
core
Contributions à la sémantique de la programmation logique
, 1999 La notion de preuves en programmation logique est examinée à deux niveaux différents. D'un point de vue externe, la "théorie classique" de la programmation logique est complètement formalisée dans le calcul des constructions inductives.
Jaume, Mathieu
core
Fondements de l'Informatique: Logique, Modèles, Calculs
, 2011 Cours sur les fondements de l'informatique : il se focalise sur trois domaines centraux en informatique : la logique, les modèles de calculs et la complexité.
Bournez, Olivier
core
Corriger la Logique des Défauts par la Logique des Défauts
, 2009 National audienceCe papier se situe dans le contexte de la fusion de sources d'information représentées à l'aide de la logique des défauts. Plus précisément, celui-ci se focalise sur la résolution du problème apparaissant quand les connaissances ...
Grégoire, Éric +2 more
core
Approche logique des grammaires pour les langues naturelles
, 2007 The major contributions of this thesis are articulated around the three basic axes of computational linguistics, namely logic, linguistics and computer science.
Anoun, Houda
core