Advanced search
Log In
New Account
Home My Page Project Cloud Code Snippets Project Openings Sócrates
Summary Forums Tracker Lists Tasks Docs News SCM Files

Sistema de auxílio ao ensino da dedução natural e tableau semântico (lógica proposicional). O usuário poderá: - provar argumentos usando as regras de inferência da lógica proposicional - geração de tableaux semânticos a partir de fórmulas

Registered: 2008-11-07 12:25
Activity Percentile: 0%
View project activity statistics.
View list of RSS feeds available for this project
  Developer Info  
Project Admins:
Elthon Oliveira
Pedro Augusto Almeida Ayres
Rodolfo Carneiro Cavalcante

[View Members]

[Request to join]


  Latest File Releases  
Package Version Date Notes / Monitor Download
This project has not released any files.

  Public Areas  
Home Page Project Home Page

 - Bugs ( 0 open /0 total )
Bug Tracking System

 - Support ( 0 open /0 total )
Tech Support Tracking System

 - Patches ( 0 open /0 total )
Patch Tracking System

 - Feature Requests ( 0 open /0 total )
Feature Request Tracking System

Forums Public Forums ( 2 messages in 2 forums )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 1 public mailing lists)
Tasks Task Manager
  - To Do
  - Next Release
SCM SCM Repository (SVN: 0 updates, 0 adds)

  Latest News  
No News Items Found

Terms of Use    Privacy Policy    Contribution Guidelines    Feedback

Powered By GForge Collaborative Development Environment