|
Language, Proof and Logic
Published by The Openproof Project, CSLI, Stanford University
|
Details
| Latest version: | 12.10 |
| Location: | C:\Program Files\The Openproof Project, CSLI, Stanford University\Language, Proof and Logic\ |
| About URL: | http://lpl.stanford.edu |
| Language: | English (United States) (1033) |
| Uninstall: | MsiExec.exe /I{6BB2714B-397C-4135-91D5-137D07BC30A5} |
Trust
The trust score is the reputation of Language, Proof and Logic based on a number of factors including malware scans, behvaior, uninstall trends and general user experiences.
Poor
Below average
Good
Excellent
Reasons behind trust score
- This app has a very high trust score.
Trends
Trend data unavailable until this program becomes quantified in the next few days.
Technical Details
| javaw.exe |
| Behavior: | Shell Open Command |
| Publisher: | Sun Microsystems |
| Name: | Java(TM) 2 Platform Standard Edition 5.0 U21 |
| MD5: | 88d133d1bf9b898c41bc3cdb67b804d3 |
| Submit.exe |
| Name: | Submit |
| MD5: | 0f83171e07bd897d0b0e7bb2c44f8e6c |
| Boole.exe |
| Name: | Boole |
| MD5: | 3bc18a57960d8e206530673d1d5ab1f0 |
| Fitch.exe |
| Name: | Fitch |
| MD5: | e638ae79d97cc5a18875073e40d11498 |
| awt.dll |
| Publisher: | Sun Microsystems |
| MD5: | 1640c3285459da293e1ec4bfb4af7945 |
| axbridge.dll |
| Publisher: | Sun Microsystems |
| Description: | ActiveX Bridge for JavaBeans(TM) |
| MD5: | de43d65bd13fc2bc02c3e2d51c1c5483 |
| cmm.dll |
| Publisher: | Eastman Kodak Company |
| Name: | KODAK DIGITAL SCIENCE Java CMM |
| MD5: | 02d7d7da1cf8d5fedbc690ffe4e3ab07 |
| dcpr.dll |
| Publisher: | Sun Microsystems |
| MD5: | 16fb91043f47a1ba7521d3b3b9e065ac |
| deploy.dll |
| Publisher: | Sun Microsystems |
| MD5: | 19fb9e78ad30ba3aec9a22eeccb3c57a |
| dt_shmem.dll |
| Publisher: | Sun Microsystems |
| MD5: | d814be8bff945e6cbe5749ad99adea83 |
| dt_socket.dll |
| Publisher: | Sun Microsystems |
| MD5: | 6dfb5f3c2f3080ca52e62801af1ff7c1 |
Geography of Installations
Installs by Country
Installs in the United States
Latest Installs
Comments for Language, Proof and Logic