Langue / Pays:

Sites similaires à Pvs.Csl.Sri.Com

pvs.csl.sri.com - PVS Specification and Verification System
PVS Specification and Verification System
Description: The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Emacs (version 19 or later), recommended LaTeX and ...
Recherches les plus fréquentes: pvs csl sri, sri csl pvs
Pvs.Csl.Sri
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, examinés par Sites Like Search
Langue: English
Thèmes du site:  math
Welcome to Lemma 1!
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
lemma-one.com - 

Sites similaires à Lemma-one

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
thoralf.uwaterloo.ca - 

Sites similaires à Thoralf.Uwaterloo.Ca

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
j'Imp Theorem Prover
An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class ...
functologic.com - 

Sites similaires à Functologic

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Wazer's World
Information on tool selection, associations, techniques, tips and advice. Includes gallery and artist information.
members.multimania.co.uk - 

Sites similaires à Members.Multimania.Co.Uk

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Tree Proof Generator
An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.
umsu.de - 

Sites similaires à Umsu.De

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Alessio Guglielmi's Research and Teaching
Technical University of Dresden, Germany.
alessio.guglielmi.name - 

Sites similaires à Alessio.Guglielmi.Name

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
The Logics Workbench
The main page of the LWB Documentation
lwb.unibe.ch - 

Sites similaires à Lwb.Unibe.Ch

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
Computer Science Department The University of Texas at Austin
Contains information on the department, research, academics, external affairs, community outreach, and other related links.
cs.utexas.edu - 

Sites similaires à Cs.Utexas.Edu

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: English
1 2 3 4 5 6 7 Suivant »
sujets similaires:  math   social   education   computer   philosophy   religion   programming   issues   biology   artificial
Résultats liés:
sites similaires à Dcproof
sites similaires à Shelah.Logic.At
sites similaires à Cslab.Anu.Edu.Au
sites similaires à Informatik.Tu-darmstadt.De
sites similaires à Dl.Kr.Org
Logic.Tamu.Edu alternatives
Logictutorial alternatives
World.Logic.At alternatives
Alcyone alternatives
Cl.Cam.Ac.Uk alternatives


SitesLikeSearch.com est un utilitaire simple qui permet de trouver des sites alternatifs, ou connexes.

qqq Website thumbnails provided by BitPixels