|
|
| Lucky Downloads / Other / |
PawLogic is a program for manipulating boolean expressions.
The program handles both expressions in propositional logic and quantified boolean formulae (QBF). Logic is widely used today.
It forms the basis of mathematical proof methods.
It is used in formal verification like symbolic model checking and equivalence checking of combinational and sequential circuits.
Logic is also behind product configurators and the construction of remote controls and traffic light intersections.
And logic is something we all use daily.
For example, most of us readily accept the following reasoning: If it rains, I get wet.
It rains. Therefore I get wet. This is applied logic. PawLogic lets you work and experiment with logic.
If you are a student of logic, you get a valuable tool to aid you in your studies.
If you are a professional working with logic, you get an always 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 of logic, here is your chance to get hands-on experience. PawLogic works under PalmOS 2.0 and higher.
Copyright © 2000 Poul F. Williams.
All Rights Reserved. Visit the PawEng webpage for more information.
We have a manual available online including a number of screenshots.
Download trial Buy now ($12.00) Platform: Palm OS Vendor: Poul Williams Keywords:
logic, paweng webpage, pawlogic, most, get always accissible logic program, use something, get hands-on experience, visit paweng webpage, accept reasoning, get valuable tool, include number screenshots, manipulate boolean expression, have manual, boolean expression, hands-on experience, manual, construction remote control, valuable tool, product configurators, professional, software, utility, tool, shareware, freeware, application, desktop, pc, program
|
|
1. Lichtorgel / Traffic Light
Platform: MS DOS, Win CE / Pocket PC, Windows NT, Windows 2000, Windows XP, Windows 98, Windows ME, Windows Server 2003, Windows Language: English, German Vendor: 3d Präsentation
2. AllSync (Upgrade) Here you can order the upgrade for the Home and Professional Editon of AllSync....
Platform: Windows NT, Windows 2000, Windows XP, Windows 98, Windows ME, Windows Server 2003 Language: English, German AllSync Professional Edition - Upgrade Business Edition Vendor: Michael Thummerer Software Design
3. Team@Work Professional v2.0 single user license
4. Team@Work Professional v2.0 user license pack (10 licenses)Team@Work Professional 2.0 workflow management system. Details Download trial Buy now ($65.00) Find similar Platform: Unix / Linux, Windows NT, Windows 2000, Windows XP, Windows 98, Windows ME Language: English, German, Portuguese Vendor: Efficient Software Systems Ltd. Details Download trial Buy now ($600.00) Find similar 5. Team@Work Professional v2.0 user license pack (25 licenses) Details Download trial Buy now ($1,330.00) Find similar 6. Team@Work Professional v2.0 user license pack (50 licenses) Details Download trial Buy now ($2,500.00) Find similar 7. Team@Work Professional v2.0 user license pack (200 licenses) Details Download trial Buy now ($8,160.00) Find similar 8. Team@Work Professional v2.0 user license pack (500 licenses) Details Download trial Buy now ($19,000.00) Find similar
9. ApexSQL Doc (Site License)
Platform: Windows NT, Windows 2000, Windows XP, Windows Server 2003 Vendor: ApexSQL
10. Team@Work Professional 1.9.5 single user license
Team@Work Professional 1.9.5 complete workflow management system. Details Download trial Buy now ($25.00) Find similar Platform: Unix / Linux, Windows NT, Windows 2000, Windows XP, Windows 98, Windows ME Language: English, German, Portuguese Vendor: Efficient Software Systems Ltd. |
Lucky Downloads / Other /
Network & desktop search |
Search My Network |
LAN Find |
Reminder software |
Software downloads |
WordNet-Online dictionary |
Thesaurus |
CV
Access us via www.LuckyDownloads.com
or www.L-DL.com
Copyright © 2005 Lucky Downloads
