Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
View star maps and interact with telescope data.
Language and environment for statistical computing and graphics.
Typeset LaTeX equations on the fly on your Mac.
We don't have a description for the Thai Dictionary Pro app yet.
This program offers you medical information and human body illustrations.
SeisMac turns your Sudden Motion Sensor-equipped laptop into a three-axis seismograph.
Comments