Return to JournalSeek Home

Genamics JournalSeek

Journal of Applied Non-classical Logics

Published/Hosted by Editions Lavoisier. 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

Add To Favorites
Email This Page

Side Panel
Privacy Policy About Us Contact Us