|
Genamics JournalSeek
Journal of Applied Non-classical Logics
ISSN: 1166-3081.
The Journal of Applied Non-classical Logics, published quarterly, is the key publication for the newest research in the field. Contributions from experts report on developments in the following areas: Formal aspect of non-classical formalisms: completeness, decidability, complexity. Applications of non-classical logics to AI and cognitive science: knowledge representation, automated reasoning, naturel language. Theoretical computer science: program verification, program synthesis.
- Further information
-
- Category Link
|
