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
000 00000cas a2200000ua 4500
001 10628
003 IN-AhILN
005 20220323 000000.0
007 t|
008 750320c19859999dcuwn p 0 a0eng
016 |aUMS10628|zINFL3685|2IN-AhILN
041 0 |aeng
030 |aJAREEW
222 0|aJournal of Automated Reasoning
245 10|aJournal of Automated Reasoning
260 |aDordrecht|bKluwer Academic Publishers
044 |dNL
650 00|aCOMPUTERS - ARTIFICIAL INTELLIGENCE
650 00|aCOMPUTERS - COMPUTER PROGRAMMING
650 00|aCOMPUTERS - AUTOMATION
022 0 |a0168-7433
362 0 |a1985
310 |aBi-M
082 0 |a006.3
856 4 |uhttp://springerlink.metapress.com/openurl.asp?genre=journal&issn=0168-7433
850 |aIITK-208016
950 |aIITK-208016|bH|c
850 |aITKH-721302
950 |aITKH-721302|bH|c
850 |aHCPU-171005
950 |aHCPU-171005|bH|cVol.12-23,1994-1999
850 |aHYDR-500046
950 |aHYDR-500046|bH|cVol.5-9;1989-1992(missing: Vol.1-4)
850 |aDAVV-452001
950 |aDAVV-452001|bH|c
850 |aINFO-382007
950 |aINFO-382007|bE|cSpringerLink(1997 - Current)
956 4 |aINFO-382007|uhttp://link.springer.com/journal/10817|zSpringerLink(1997 - Current)


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