Informace o projektu
Computational Logic and Computational Methods
| Kód projektu | MUNI/33/002/1995 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.1995–31.12.1999 |
| Stav | ukončený |
| Investor | The Royal Society (ostatní) |
| Program | Projekty The Royal Society |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
The Computational Logic and Computational Methods project aims at the research in the theory and applications of both computational logic, including constraint programming, as well as novel computational methods and models.