Language / Country:

Sites similar to Hol.Sourceforge.Net

hol.sourceforge.net - HOL4 Kananaskis 8
HOL4 Kananaskis 8
Description: The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics.
Popular Searches: hol sourceforge
Hol.Sourceforge.Net
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
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
Boston Irish Tourism Association
Highlights year-round cultural activities, sporting events, festivals, academic courses, literary readings and entertainment taking place in the state's Irish ...
irishmassachusetts.com - 

Sites like Irishmassachusetts

 »
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
The Mojave Research Group
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 ...
cvs.metaprl.org - 

Sites like Cvs.Metaprl.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
我的名片网tel域名推广门户
wangzhan.tel - 

Sites like Wangzhan.Tel

 »
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
Mecasp presentation - Survey of Versioning and Configuration ...
Revolutionary platform (in Java) to manage and merge versions / variants, even in ASP mode (remote). Can be used for integration. Contains a graphical editor, an ...
mecasp.free.fr - 

Sites like Mecasp.Free.Fr

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Language: English
1 2 3 4 Next »
Similar topics:  math   programming   knowledge   social   computer   artificial   software   philosophy   issues
Related results:
sites similar to Themediadesk
sites similar to Topicmap
sites similar to Interventions.Be
sites similar to Kengelhart.Home.Igc.Org
sites similar to Ndoverdrive
Icsi.Berkeley.Edu alternatives
Openshore.Org alternatives
Topquadrant alternatives
Andreasgal alternatives
Easyhowtovideos alternatives


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

qqq Website thumbnails provided by BitPixels