Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.
Cristian S. CaludeHajime IshiharaPublished in: J. Univers. Comput. Sci. (2005)
Keyphrases
- special issue
- modal logic
- database
- classical logic
- document collections
- international journal
- predicate logic
- logic programming
- multi valued
- citation analysis
- formal theory
- special section
- logical framework
- automated reasoning
- information technology
- case study
- knowledge base
- information systems
- genetic algorithm
- information retrieval
- databases