に似ているサイト Univ-paris12.Fr
Linear Logic as a Good Logical Foundation for Computer Science
説明: A brief analysis of the computational aspects of linear logic by Max Kanovich.
人気キーワード: univ paris12
サイトの評価:
3.0 / 5.0, によって見直さ Sites Like Search
言語: English
サイトトピックス: math
International research institute for mathematics and theoretical physics. We bring the world's top scientists together to collaborate in advanced research ...
サイトの評価:
3.0 / 5.0, 言語: English
Mathematical Sciences Research Institute, Berkeley, CA, USA.
サイトの評価:
3.0 / 5.0, 言語: English
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI), Wadern
サイトの評価:
3.0 / 5.0, 言語: English
Unité Mixte de Recherche (UMR 5505) commune au Centre National de la Recherche Scientifique (CNRS), à l'Institut National Polytechnique de Toulouse (INPT) et à ...
サイトの評価:
3.6 / 5.0, 言語: Français
Unité de recherche à la pointe des sciences et des technologies de l'information et de la communication.
サイトの評価:
3.7 / 5.0, 言語: Français
8th conference on Category Theory and Computer Science. Edinburgh, Scotland, UK; 10--12 September 1999.
サイトの評価:
3.0 / 5.0, 言語: English
A collaborative encyclopaedia with entries contributed under the GNU Free Documentation License.
サイトの評価:
4.0 / 5.0, 言語: English
Open Learning Discovery Platform and Complete Database of Schools.
サイトの評価:
3.9 / 5.0, 言語: English