(CUP) Topics covered include classical and algebraic graph theory, extremal set theory, matroid theory, probabilistic methods and random combinatorial structures; combinatorial probability and limit theorems for random combinatorial structures; the th...

Committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts.

Aims to be a forum for the multidisciplinary subject of robotics and encourage developments in this important field of automation with regard to industry, health, education and research.

An international journal which focuses on the rapidly developing methods and issues arising from the use of technology in music today.

Bimonthly devoted to the three areas of combinatorics, probability theory and theoretical computer science.

Devoted to this important area of computer science and spans the range from mathematical theory to industrial practice.

Meets the needs of professionals and researchers working in all areas of computerised language processing. Editorial board, pricing, advertising rates, instructions for contributors and full text online.

Among the topics covered are AI applications that use logic programming, natural language processing, knowledge representation, nonmonotic reasoning, databases, implementations and architectures and constraint logic programming.

A journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science.

The official journal of the Association for Logic Programming.