Cvs.metaprl.org - Sitios Similares - Sitios como cvs.metaprl.org

Idioma / País:

Español
- English
- Deutsch
- Français
- Italiano
- Português
- Português
- Nederlands
- Norsk
- Español
- Türkçe
- Русский
- Polszczyzna
- Svenska
- 中文
- 日本語
- United Kingdom
- Canada
- Australia

- Top 5 Sites Like
  cvs.metaprl.org
- isabelle.informatik.tu-muenchen
- ton.cc.gatech
- hol.sourceforge
- beecy
- cs.ru

The Mojave Research Group

Descripción: The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and logics are developed as modules that define computational, heuristic, and mathematical properties ...

Lo más buscado: cvs metaprl

clasificación:

3.0 / 5.0, revisado por Sites Like Search

idioma: English

Temas de este sitio: math

Isabelle

Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.

isabelle.informatik.tu-muenchen.de -

Sitios como Isabelle.Informatik.Tu-muenchen.De

clasificación:

3.0 / 5.0, idioma: English

IEEE/ACM Transactions on Networking

Covers network architecture and management, protocols, software and services.

ton.cc.gatech.edu -

Sitios como Ton.Cc.Gatech.Edu

clasificación:

3.0 / 5.0, idioma: English

HOL4 Kananaskis 8

The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with ...

hol.sourceforge.net -

Sitios como Hol.Sourceforge.Net

clasificación:

3.0 / 5.0, idioma: English

beecy.net - will work for foo

will work for foo

beecy.net -

Sitios como Beecy.Net

clasificación:

3.0 / 5.0, idioma: English

Barendregt, Henk

Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.

cs.ru.nl -

Sitios como Cs.Ru.Nl

clasificación:

3.0 / 5.0, idioma: English

CiteSeerX

Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...

citeseerx.ist.psu.edu -

Sitios como Citeseerx.Ist.Psu.Edu

clasificación:

3.0 / 5.0, idioma: English

Enterprise Conversation - The Place to Talk Enterprise ...

Enterprise Conversation is an online community for CIOs, technology executives, and IT professionals looking for new ways to maximize their investments in ...

enterpriseconversation.com -