Project information
Computational Logic and Computational Methods

Project Identification
MUNI/33/002/1995
Project Period
1/1995 - 12/1999
Investor / Pogramme / Project type
The Royal Society
MU Faculty or unit
Faculty of Informatics
Project Website
http://www.fi.muni.cz/usr/brim/projects/brim-city.html
Keywords
computational logic, novel computational methods and models
Cooperating Organization
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.

Results

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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info