Now limiting view to projects in the following categories:
Programming Language :: C++ [Remove This Filter]
Environment :: X11 Applications :: Maemo [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
Operating System :: Other OS [Remove This Filter]
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 (Now Filtering)
- Intended Audience: End Users/Desktop [Filter]
- License: GNU General Public License (GPL) (Now Filtering)
- Maemo/Tablet OS version: OS2008 [Filter]
- Operating System: Other OS (Now Filtering) , Linux [Filter]
- Programming Language: C++ (Now Filtering)
- Topic: Education [Filter]
|
Activity Percentile: 0.00
Activity Ranking: 0.00
Register Date: 2008-11-07 12:25 |
|
Computer Aided Instruction (CAI)