Journal of Automated Reasoning

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

Powered by Koha