Search Results for "java planner"

This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.

Working on Windows Linux and Mac. requires a current version of Java(http://www.java.com/de/download/manual.jsp?locale=de) An app for android is coming soon.

This project objective is realizing the design, development and implementation of a web application which works as a university planner. The objective was that the system could be installed specifically in the user university and run through the web browser as a local page or having the possibility of installing it in a university server (could be in any site, no need to be in the user university) so through the browser and an internet connection it could be used from anywhere (mainly in...

A complete scuba diving toolkit, which includes goodies such as mixing/blending utilities, divelog, and dive/decompression planner.

University Schedule Planner is an application with a web interfaced program that, given a set of teachers, a set of Studends and a set of classes each one with several restrictions, builds a schedule for the university classes. The actual implementation