Committed to the development of the field of artificial intelligence and the clarification and dissemination of its methods and concepts.
An international journal which focuses on the rapidly developing methods and issues arising from the use of technology in music today.
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.
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.
Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as relevant conference reviews, are included.
The membership magazine of the British Computer Society with the aim of spreading awareness of professional issues, IT innovations and technological developments. Full text online.
Covers research results in numerical computing and informatics.
A volume series which publishes workshop and conference proceedings as well as monographs in computer science and its subfields.
At the interface between mathematics and theoretical computer science. Abstracts available, subscription for full-text articles.
Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers.