Сайты, похожие на Lwb.Unibe.Ch

A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

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 ...

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 ...

University of Waterloo - Universal algebra, logic, computers.

Information on tool selection, associations, techniques, tips and advice. Includes gallery and artist information.

Technical University of Dresden, Germany.

An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.

Laboratory dedicated exclusively to forensic odontology offering practical courses in bite mark evidence, recovery and analysis, DNA comparison and other aspects of ...