J LOGIC COMPUT
ISSN：0955-792X E-ISSN：1465-363X 出版商：Oxford University Press 国家：ENGLAND 周期：Bimonthly
| 收录情况 | h-index：49 CiteScore：2.30 |
Logic has found application in virtually all aspects of Information Technology| from software engineering and hardware to programming and artificial intelligence. Indeed| logic| artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing| including| among others| the following areas of interest: Logical Systems| such as classical and non-classical logic| constructive logic| categorical logic| modal logic| type theory| feasible maths.... Logical issues in logic programming| knowledge-based systems and automated reasoning; logical issues in knowledge representation| such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI| natural language| concurrent computation| planning| and databases. The bulk of the content is technical scientific papers| although letters| reviews| and discussions| as well as relevant conference reviews| are included.
数据整理自公开网络的投稿反馈，仅供参考。
