PawLogic -- License B 1.0.3 |
|
|
Category:
Home & Education / Mathematics
|
|
Description of PawLogic -- License B
PawLogic is a program for manipulating boolean expressions. Theprogram handles both expressions in propositional logic and quantifiedboolean formulae (QBF).Logic is widely used today. It forms the basis of mathematicalproof methods. It is used in formal verification like symbolic modelchecking and equivalence checking of combinational and sequentialcircuits. Logic is also behind product configurators and the construction ofremote controls and traffic light intersections. And logic issomething we all use daily. For example, most of us readily accept thefollowing reasoning: "If it rains, I get wet. It rains. Therefore Iget wet." This is applied logic.PawLogic lets you work and experiment with logic. If you are astudent of logic, you get a valuable tool to aid you in yourstudies. If you are a professional working with logic, you get analways accissible logic program for you to use whether at the office,at home or on the move. And if you are just interested in the world oflogic, here is your chance to get hands-on experience.PawLogic works under PalmOS 2.0 and higher. Copyright e 2000Poul F. Williams. All Rights Reserved.Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.
|
 |
|
| More Similar Software |
 |
Quick License Manager 3.0
...
Quick License Manager is an easy to use license manager that creates professional and secure license keys to protect your software against piracy. Create permanent or evaluation (trial) license keys in a snap. Quick License manager can create generic keys that are not bound to a PC or computer-bound license keys. A simple COM API allows you to validate the license key from within your application. With Quick License Manager, you can add licensing to your software application in less than 1 hour.
...
|
| |
Sniff-em Non-Profit LIFETIME License on CD 1.12
...
This License is strictly intented for non-profit use only.Under no circumstances the non-profit license may be used in a for-profit, governemental or military environment. For such uses a Business License must be purchased.
...
|
| |
Sniff-em Non-Profit License on CD 1.12
...
This License is strictly intented for non-profit use only.Under no circumstances the non-profit license may be used in a for-profit, governemental or military environment. For such uses a Business License must be purchased.
...
|
| |
SafeKidz - License Key Only 1.0
...
Purchase SafeKidz license key. A license key will be sent via email so that you can unlock the trial version of SafeKidz. No further download is necessary, and you save any configuration you may have already completed.
...
|
| |
Cute PDF/RTF Converter Small Business License (10 Domains) 1.0
...
A small business license allows use of the Software for all users at 10 sites within a single company. The license key will be generated based on your site domain names. If you will be using the components in an intranet environment, the license key will be generated based on server names.You may also install and use the Software on an unlimited number of developer workstations (but not on a development server) for use in connection with the same single website host name when accessed by the
...
|
|
|
| |
|
|
|
| Author: |
PawEng, LLC |
| License: |
Shareware |
| Price: |
$12 |
| File Size: |
1000.0 KB |
| Downloads: |
0 |
|
|
|
|
|
| |
| |
| Popular Software |
| |
Random Number Generator Pro 1.64
...
Random Number Generator is a Windows based application designed to generate random numbers. Program
...
|
| |
ESBCalc Pro - Scientific Calculator 7.0.0
...
ESBCalc Pro is an Enhanced Windows Scientific Calculator with Infix Processing, Exponential
...
|
| |
Desktop Calculator - DesktopCalc 2.1
...
DesktopCalc is an enhanced, easy-to-use and powerful scientific calculator with an expression
...
|
| |
CurvFit 5.11.5
...
CurvFit (tm) is a curve fitting program for Windows. Lorentzian, Sine, Exponential and Power series
...
|
| |
Karnaugh map 1.2
...
Karnaugh map minimalizator - for minimalize logical functions for 3-8 variables. This program help
...
|
| |
FC-Win 3.00
...
FC-Win (tm) is a front-end program for Fortran Calculus (tm). The Fortran Calculus (FC) language is
...
|
| |
LeoStatistic 14.5
...
Comprehensive tool for statistical analysis and modeling of experimental and market data.
...
|
| |
Equation Plotter - EqPlot 1.3
...
Graph plotter program plots 2D graphs from complex equations. The application comprises algebraic,
...
|
| |
ODEcalc 5.11.5
...
ODEcalc for Windows: An Ordinary Differential Equation (ODE) Calculator! State your equation and
...
|
| |
DraftSurvey Pro
...
DraftSurvey Pro is a user-friendly Draft Survey calculation program for Merchant Navy Officers and
...
|
|
|
Submit Software