Key Title: Journal of Automated Reasoning
CODEN: JAREEW
ISSN: 0168-7433
Language: eng
Frequency: Bi-M
Publisher: Dordrecht, Kluwer Academic Publishers
Publication Date: 1985
Subject Headings: COMPUTERS - ARTIFICIAL INTELLIGENCE
COMPUTERS - COMPUTER PROGRAMMING
COMPUTERS - AUTOMATION
DDC Class No: 006.3
Online Availability: http://springerlink.metapress.com/openurl.asp?genre=journal&issn=0168-7433


Current Holding Institutions

No Holding Institutions Available

Holdings Institutions

Indian Institute of Technology, Kanpur
Indian Institute of Technology, Kharagpur
Himachal Pradesh University, Shimla, Available Volumes: Vol.12-23,1994-1999
University of Hyderabad, Hyderabad, Available Volumes: Vol.5-9;1989-1992(missing: Vol.1-4)
Devi Ahilya Vishwavidyalaya, Indore