Log In
New Account
  
Home My Page Project Cloud Code Snippets Project Openings

Now limiting view to projects in the following categories:
      Operating System :: POSIX :: Linux [Remove This Filter]
      Maemo/Tablet OS version :: OS2008 [Remove This Filter]
      Operating System :: Other OS [Remove This Filter]


  Topic
      Education
          Computer Aided Instruction (CAI) (3 projects)
          Testing (2 projects)
Browse By:
  Development Status
  Environment
  Intended Audience
  License
  Maemo/Tablet OS version
  Natural Language
  Operating System
  Programming Language
  Topic

1 projects in result set.
1. Sócrates - 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
 
  • Development Status: 2 - Pre-Alpha [Filter]
  • Environment: Maemo [Filter]
  • Intended Audience: End Users/Desktop [Filter]
  • License: GNU General Public License (GPL) [Filter]
  • Maemo/Tablet OS version: OS2008 (Now Filtering)
  • Operating System: Other OS (Now Filtering) , Linux (Now Filtering)
  • Programming Language: C++ [Filter]
  • Topic: Education [Filter]
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-11-07 12:25


Terms of Use    Privacy Policy    Contribution Guidelines    Feedback

Powered By GForge Collaborative Development Environment