Searched defs:Darwin (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuide.tex387 \item Darwin \cite{Baumgartner:etal:Darwin:IJAIT:2005}, see \url{http://combination.cs.uiowa.edu/Darwin};
604 Darwin & theorem prover & \url{http://combination.cs.uiowa.edu/Darwin/}\\\hline
1442 consistency checks by SPASS or Darwin respectively.
1932 \subsection{Darwin}
1933 Darwin is an automatic first order prover and model finder implementing the Model
1935 Calculus\cite{Baumgartner:2003}. The integration of Darwin as a consistency checker
1937 Eprover is needed to be in the system-path, if Darwin i
0 \\documentclass{article} subsubsection
[all...]

Completed in 40 milliseconds