|
Google Adwords
|
Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.
|
|
|
Firefox with Google Toolbar
|
Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.
|
|
|
Google Pack Software
|
Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.
|
|
|
|
Science > Math > Logic and Foundations > Software : Categories
Science > Math > Logic and Foundations > Software : Web Resources
Science > Math > Logic and Foundations > Software : Web-Sites
| 1. ACL2 Version 2.7
[ Report dead link ] |
| A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platforms. Includes related download links. |
| http://www.cs.utexas.edu/users/moore/acl2/ |
| 2. Automated Reasoning Project
[ Report dead link ] |
| Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR). |
| http://cslab.anu.edu.au/ar/ |
| 3. Bertrand
[ Report dead link ] |
| Bertrand solves sets of first-order predicate logic statements for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" (tautology) and "logical falsity" (self-contradiction). Subject-identity is supported. User can "step through" the solution algorithm as Bertrand solves a problem, and/or check the graphic tree produced. |
| http://www.uwosh.edu/faculty_staff/herzberg/Bertrand.html |
| 4. Church
[ Report dead link ] |
| Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python. |
| http://www.alcyone.com/software/church/ |
| 5. CrocoPat: Simple and Efficient Relational Programming
[ Report dead link ] |
| CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus. The implementation is based on the data structure binary decision diagram (BDD). |
| http://mtc.epfl.ch/~beyer/CrocoPat/ |
| 7. DC Proof Online
[ Report dead link ] |
| New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. |
| http://www.dcproof.com |
| 8. DELORES
[ Report dead link ] |
| A forward-chaining reasoning engine for defeasible logic, a less expressive but more efficient nonmonotonic logic. |
| http://www.dfki.uni-kl.de/~miller/delores/ |
| 9. Gateway to Logic
[ Report dead link ] |
| A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae. |
| http://logik.phl.univie.ac.at/~chris/formular-uk.html |
| 10. Isabelle
[ Report dead link ] |
| A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download. |
| http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
Pages: [1] 2 3 4
Next Page >>
|
|
|
Science > Math > Logic and Foundations > Software : Web Resources
|
