Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. The program contains modules for doing derivations, symbolizations, truth tables, invalidity by finite models, and parsing. Students may create their own User Problems, and in the derivation module, students can create and justify their own rules.
Provides 34 templates for Pages, including iBooks, Letters, Resumes, Notes,etc.
moccanote helps you capture and organize your ideas and thoughts.
Minimal, distraction-free environment for the most important part of screenwriting: the writing part.
We don't have a description for the Adobe Acrobat X Pro app yet.
JanusNode is an automated text-generator and text-morpher.
Templates for Pages Documents provides pre-designed templates that help to create stunning flyers...
Comments