Predicate Logic Symbols
Advertisement
Deductions v.1.3
Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback ...
Advertisement
Weld Symbols VisualWeld
The program for adding Weld Symbols in AutoCAD drawings. Advanced interface and options of this program will help you in your work. Almost all possible weld symbols can be designed in form and added in drawing.
MB Sabian Symbols Oracle
Sabian Symbols are 360 symbolic images and messages corresponding to the 360 degrees of the zodiac. This is a self explanatory software that guides you to find solutions to your problems. Sabian symbols were first brought to the open by a clairvoyant ...
MB Sabian Symbols Astrology
MB Sabian Symbols Astrology correlates Sabian symbols with astrology. Sabian Symbols are 360 symbolic images and messages corresponding to the 360 degrees of the zodiac. This is a self explanatory software that finds a Sabian symbol for the different ...
MB Sabian Symbols Numerology
MB Sabian Symbols Numerology correlates Sabian symbols with numerology. Sabian Symbols are 360 symbolic images and messages corresponding to the 360 degrees of the zodiac. This is a self explanatory software that finds a Sabian symbol for a given name ...
MB Sabian Symbols
Sabian Symbols are 360 symbolic images and messages corresponding to the 360 degrees of the zodiac. Sabian symbols are also known as the 360 Degrees of Wisdom. This tool can be used to bring about clarity and inspiration in you spiritual thinking.
Logic Minimizer
Logic Minimizer is a special application for simplifying logical expressions, namely Boolean and propositional expressions. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital ...
Logic Expression v.3.00
Program Logic Expression (LE) calculates and analyzes the logical (Boolean) expression. Supports logical operators: negation, conjunction, disjunction, exclusive disjunction, implication and equivalence. Supports work with: up to 500 (five hundred) members ...
Seesaw Logic v.1 1
Seesaw Logic is an enjoyable logic game in which you must decide which is the heaviest object by looking at some seesaws with objects on them. The game is comprised of 20 levels of increasing difficulty, in which there will be more seesaws with more objects.
Walls Logic v.1 1
Walls Logic is a challenging flash game in which you must put diagonal walls in the empty spaces following certain rules. First, you must respect the number of walls indicated in the pillar. If it says 2, you must build two walls connecting to a pillar.
Every Day Genius Square Logic v.3.0.0.54
Everyday Genius: SquareLogic is similar to number-based logic games such as Sudoku, but you'd best buckle up 'cause this isn't your daddy's Sudoku. It is a logic-based puzzle game involving colored cages and numbers. The game includes over 20,000 puzzles ...
Ant16 Logic Analyser v.2.1.0.65
Like the Ant8, the Ant16 logic analyzer is compact, easy to use, powerful, and inexpensive. The Ant16 also features more channels (16), a synchronous acquisition mode, and Trigger-In and Trigger-Out connections.
Features :
...
PDSYMS DWG Symbols Library v.3.0
PDSYMS v2.0 is an Architectural/Interiors DWG-FORMAT
Symbols Library Add-on for all CADD packages running
on all platforms and Operating Systems, including but
notlimited to:
IntelliCAD (2000 and higher), Microstation, eCADlite,
CADvance, ...
PDSYMS DXF Symbols Library v.3.0
PDSYMS v2.0 is an Architectural/Interiors DXF-FORMAT
Symbols Library Add-on for all CADD packages running
on all platforms and Operating Systems, including but
notlimited to:
IntelliCAD (2000 and higher), Microstation, eCADlite,
CADvance, ...