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) |