Informace o projektu
Computational Logic and Computational Methods

Kód projektu
MUNI/33/002/1995
Období řešení
1/1995 - 12/1999
Investor / Programový rámec / typ projektu
The Royal Society
Fakulta / Pracoviště MU
Fakulta informatiky
WWW stránky projektu
http://www.fi.muni.cz/usr/brim/projects/brim-city.html
Klíčová slova
computational logic, novel computational methods and models
Spolupracující organizace
City University London
University of Namur

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.

Výsledky

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info