Notice RAMEAU

  • Notice
000 cx j22 45
001 FRBNF155965072
003 http://catalogue.bnf.fr/ark:/12148/cb15596507t
005 20080312
100 .. $a 20080117afrey50 ba0
106 .. $a 211
152 .. $b rameau $c 2
250 .. $7 ba0yba0y $8 fre $9 $a Logique spatiale
550 .. $5 z $0 Voir aussi $3 11932111 $7 ba0yba0y $8 fre $9 $a Traitement réparti
550 .. $5 g $3 11965690 $7 ba0yba0y $8 fre $9 $a Logique mathématique
686 .. $a 510 $c Mathématiques $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20080312
810 .. $a Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] - http://www.lsv.ens-cachan.fr (2008-03-12) $a Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse] $a A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2
856 .. $u http://www.lsv.ens-cachan.fr $e 2008-03-12

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (2)