Journal of Automated Reasoning

Material type: Continuing resourceContinuing resourcePublication details: KluwerSubject(s):
Item type: BOUND VOLUMES
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Vol info Status Date due Barcode
IMSc Library 10 - 10; 1993 - 1993 Available 30703
IMSc Library 11 - 11; 1993 - 1993 Available 30704
IMSc Library 12 - 13; 1994 - 1994 Available 33184
IMSc Library 14 - 15; 1995 - 1995 Available 33185
IMSc Library 3 - 3; 1987 - 1987 Available 24523
IMSc Library 4 - 4; 1988 - 1988 Available 25702
IMSc Library 5 - 5; 1990 - 1990 Available 27910
IMSc Library 6 - 6; 1989 - 1989 Available 27909
IMSc Library 7 - 7; 1991 - 1991 Available 30700
IMSc Library 8 - 8; 1992 - 1992 Available 30701
IMSc Library 9 - 9; 1992 - 1992 Available 30702

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India