122706234
2008-03-31
2019-02-22T19:03:33
Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] - http://www.lsv.ens-cachan.fr (2008-03-12)
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse]
A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2
15596507
Logique spatiale
Traitement réparti
Logique mathématique
510
Handbook of spatial logics / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem / Dordrecht : Springer , cop. 2007
Methods for handling imperfect spatial information / edited by Robert Jeansoulin, Odile Papini, Henri Prade... [et al] / Berlin : Springer-Verlag , cop. 2010
La Biélorussie : géographie historique et culturelle d'un espace sous influence / Yann Richard ; sous la direction de Jean-Robert Pitte / , 1998
Etude sur les représentations spatiales géométriques en fin de cycle 3 et début de collège / par François Dubuis ; maître de mémoire, Alain Menissier / [Lieu de publication inconnu] : [éditeur inconnu] , 2016
Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning / Michaël Sioutis ; sous la direction de Bertrand Mazure et de Jean-François Condotta / , 2017
Ordo moyenne et grande sections de maternelle et ASH : pour comprendre le système relationnel de l'ordre / Jean-Louis Paour,... Christine Bailleux,... Sylvie Cèbe,... Roland Goigoux,... / Paris : Hatier , DL 2011
Raisonnement logique / Axel Delmotte, Annabelle Guillemard, Muriel Moutarlier... [et al.] / Levallois-Perret : Studyrama , impr. 2008
GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel ; [sous la dir. de] Olivier Ridoux / [S.l.] : [s.n.] , 2009
GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel ; [sous la direction de] Olivier Ridoux / Lille : Atelier national de reproduction des thèses , 2009
La Biélorussie : géographie historique et culturelle d'un espace sous influence / Yann Richard le 1998 [ Paris 4 ]
Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning / Michaël Sioutis le 2017 [ Artois ]
Geolis : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel le 2009 [ Rennes 1 ]