|
|
- ArcDig
A Windows program designed to present information about an archaeological site. Software and sample site download.
http://arcdig.sourceforge.net/
-
WinKE: A Proof Assistant for Teaching Logic
WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software.
http://www.dcs.kcl.ac.uk/staff/endriss/WinKE/
-
Wyoming Oil and Gas Conservation Commission
Wyoming well coordinates, production data, permit approvals, production data, permit approvals, formation tops and other data.
http://wogcc.state.wy.us/
-
Yahoo! Groups : Logic Users
Discussion group dedicated to the product and its users.
http://groups.yahoo.com/group/logic-users
-
BEA WebLogic Commerce Server
Built on WebLogic Server and WebLogic Personalization Server, the product provides a suite of Java-based components including catalog, shopping cart, inventory management, order entry, order management, and shipping components as well as a product recommendation engine that learns customers behaviors over time. By BEA Systems, Inc.
http://www.bea.com/products/weblogic/commerce/
-
Pevs Logic Users FAQ
FAQ based on the contents of the mailing list.
http://www.pev.pwp.blueyonder.co.uk/logic-faq.htm
-
Petris Technology, Inc.
Software and services company for the energy and oil and gas industries, specializing in Web-services architecture and data and application integration.
http://www.petris.com/
-
Emagic: Logic Audio Platinum
Flagship product of the series provides synthesis of digital audio recording, DSP, MIDI sequencing, and notation.
http://www.emagic.de/products/ls/platinum/neuerungen/index.p...
|
 |
|
