Language / Country:

Sites similar to Cvs.Metaprl.Org

cvs.metaprl.org - The Mojave Research Group
The Mojave Research Group
Description: 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 ...
Popular Searches: cvs metaprl
Cvs.Metaprl.Org
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics:  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 - 

Sites like Isabelle.Informatik.Tu-muenchen.De

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
IEEE/ACM Transactions on Networking
Covers network architecture and management, protocols, software and services.
ton.cc.gatech.edu - 

Sites like Ton.Cc.Gatech.Edu

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: 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 - 

Sites like Hol.Sourceforge.Net

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
beecy.net - will work for foo
will work for foo
beecy.net - 

Sites like Beecy.Net

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
Barendregt, Henk
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
cs.ru.nl - 

Sites like Cs.Ru.Nl

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
CiteSeerX
Scientific Literature Digital Library incorporating autonomous citation indexing, awareness and tracking, citation context, related document retrieval, similar ...
citeseerx.ist.psu.edu - 

Sites like Citeseerx.Ist.Psu.Edu

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: 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 - 

Sites like Enterpriseconversation

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
CTCS'99
8th conference on Category Theory and Computer Science. Edinburgh, Scotland, UK; 10--12 September 1999.
dcs.ed.ac.uk - 

Sites like Dcs.Ed.Ac.Uk

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
1 2 3 4 Next »
Similar topics:  math   computer   artificial   software   programming   social   algorithms   mathématiques   food
Related results:
sites similar to Www-sop.Inria.Fr
sites similar to Abcathome
sites similar to Thesiptip
sites similar to Brianmviveros
sites similar to Acs.Lbl.Gov
Jeffsutherland alternatives
Distributed.Net alternatives
Euler.Free.Fr alternatives
Extensiveweb alternatives
Disc-conference.Org alternatives


Sites Like Search is a simple utility that helps to find similar, alternative or related sites.

qqq Website thumbnails provided by BitPixels