IA

Java 

Logic 
Programming 

Musicas 

Software

Theorem 
Prover  
 
 

Links

Inteligência Artificial

 

Java

 

Logic Programming - Web

C++ - Prolog - Amzi

Musica - midi

Mike Perterson - midi Page
Classical Midi Archives
Jazz Midi Page
Midi Center - Espanhol

Software

 

Theorem Prover

 

In the meantime, you can email me at  porfirio@cos.ufrj.br. 

 
  You are the  visitor in this page.