Language / Country:

Sites similar to Zermelo.Dcs.Ed.Ac.Uk

zermelo.dcs.ed.ac.uk - Proof General
Proof General
Description: Proof General is an Emacs based generic interface for theorem provers
Popular Searches: zermelo dcs ed ac
Zermelo.Dcs.Ed.Ac.Uk
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
Buckeye Planet
Ohio State Buckeyes Football and Basketball Forum
buckeyeplanet.net - 

Sites like Buckeyeplanet.Net

 »
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
Monetizing Online Forums : A Practical Guide to Generating ...
Monetizing Online Forums : A Practical Guide to Generating Revenue From Forums - The Right Way by Patrick O
monetizingonlineforums.com - 

Sites like Monetizingonlineforums

 »
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
News - Talk 1480 WHBC - Canton, OH - WHBC-AM - Homepage - V2
News, weather and sports.
whbc.com - 

Sites like Whbc

 »
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
1 2 3 4 Next »
Similar topics:  math   software   artificial   programming   computer   social   football   philosophy   religion
Related results:
sites similar to Www-sop.Inria.Fr
sites similar to Press.Erepublik
sites similar to Megatronic-theme.Myshopify
sites similar to Brutusreport
sites similar to Highlandparktn
Ajatix alternatives
Alessio.Guglielmi.Name alternatives
Gamebits.Net alternatives
Intelligentediting alternatives
Rvs.Uni-bielefeld.De alternatives


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

qqq Website thumbnails provided by BitPixels