home
Acessar

Busca




Todos os projetos
 
   The Incubator       My Page       Project List       Licenças       Blog       Help       Contato       ConsRel - Logical Consequence and Combinations of Logics   
 
 
  Summary     Homepage     Forums     Tracker     Lists     Tasks     Docs     Surveys     News     SCM     Files     Statistics  
 

This project studies the following aspects of combination of logics: Fundamental issues of combining logics, Computational aspects of logical combination and Particular logics of interest resulting from combination of logics.

Creative Commons Attribution-NonCommercial-NoDerivs 2.5


This project has not yet categorized itself in the Trove Software Map.

Registered:  2006-10-02 19:18
Activity Percentile:  0%
View project activity statistics.

Developer Info
Project Admins:
Adolfo Neto
Developers:
1 [View Members]

Latest File Releases
Package Version Date Notes / Monitor Download
This Project Has Not Released Any Files

Public Areas

Homepage Project Home Page


TrackerTracker

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

 - Support Requests (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 (0 public mailing lists)


Tasks Task Manager
  - To Do
  - Next Release


Surveys Surveys (0 surveys)


SCM SCM Repository


Anonymous FTP SpaceAnonymous FTP Space
 
Latest News
No News Items Found
 

Ajuda Plonetarium Home da Incubadora Virtual GForge