| Key Title | Journal of Automated Reasoning |
|---|---|
| Publisher | Kluwer Academic Publishers |
| Language | |
| Country | Netherlands |
| Place | Dordrecht |
| Publication Date | 1985 |
| Topics | COMPUTERS - ARTIFICIAL INTELLIGENCE, COMPUTERS - COMPUTER PROGRAMMING, COMPUTERS - AUTOMATION |
| ISSN | 01687433 |
| Dewey | 006.3 |
| University | IITK_208016, ITKH_721302, HCPU_171005, HYDR_500046, DAVV_452001, INFO_382007 |