Normal view MARC view ISBD view

Automated reasoning: Introduction and applicatios

By:

Was Larry

Contributor(s):

Material type:

TextLanguage: English Publication details: New Jersey Pentice Hall 1984Description: xiv,482p. cmSubject(s):

Computer science

DDC classification:

D65,8(B)92, M4

Item type:

Textual

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Textual	Central Science Library	Central Science Library			D65,8(B)92 M4 (Browse shelf(Opens below))					Available			SL0953082

There are no comments on this title.

to post a comment.

Back to results

1 'Ugra' sanchayan
by Vyas Rajshekhar
2 Aadhunik hindi gadya sahitya ka vikas aur vishleshan
by Singh Vijay Mohan
3 Aagam avem Baeebil ki dharm neeti ek anusheelan.
by Nirala Amresh Muni
4 Abhigyan Sakuntalam
by Bhatt Vasant Kumar M. Ed.
5 Abhigyan Shakuntalam.
by Kalidas
6 Abhijnanasakuntalam : sanskrit text with english translation
by Kalidasa Au.; Unni N. P. Au.
7 Abhilekh-Manjusa .
by Saini Ranjeet Singh
8 Abhilekha - majnusa
by Saini Ranjit Singh
9 Abhilekha - majnusa
by Saini Ranjit Singh
10 Abhilekha - majnusa
by Saini Ranjit Singh
11 Abhilekha - majnusa
by Saini Ranjit Singh
12 Abhilekha - majnusa
by Saini Ranjit Singh
13 Abhilekha - majnusa
by Saini Ranjit Singh
14 Agyeya rachana sanchayan
by Nandan Kanhaiya Lal Ed.
15 Aham ishre
by Sibbal Kapil
16 Aitareya Brahmanam
by Haug Martin Ed.
17 Aitareya Brahmanam
by Haug Martin Ed.
18 Ajneya rachnawali (Vol 10)
by Paliwal Krishnadatta Ed.
19 Ajneya rachnawali (Vol 11)
by Paliwal Krishnadatta Ed.
20 Ajneya rachnawali (Vol 12)
by Paliwal Krishnadatta Ed.
21 Ajneya rachnawali (Vol 13)
by Paliwal Krishnadatta
22 Alamkaramanihara
by Charyulu Ramanuja
23 Alamkaramanihara
by Charyulu Ramanuja
24 Alamkaramanihara of srikrsnabrahmatantra parakalaswamin 2 Vols.
by Pravacanavaridhi Jnanasaraswati Au.
25 Alamkaramanihara of srikrsnabrahmatantra parakalaswamin 2 Vols.
by Pravacanavaridhi Jnanasaraswati Au.
26 All india oriental conference
by Sriram A. S. Au.; Warkhedi Srinivas Ed.; Penana Madhusudhan Ed.
27 All India oriental conference
by Jain Rajendra C. Au.; Varakhedi Shrinivasa Ed.; Penna Madhusudan Ed.
28 All India oriental conference
by Vyas Pankaj Kumar Au.; Verkedi Shriniwas Ed.; Peena Madhusudan Ed.
29 All India oriental conference
by Bhatt Shivram Au.; Verkhedi Shiniwas Ed.; Penna Madhusudan Ed.
30 All India oriental conference
by Penna Madhusudan Au.; Varkhedi Shriniwas Ed.
31 All India oriental conference
by Badnarayana Au.; Warkhedi Shriniwas Ed.; Penna Madhusudhan Ed.
32 All India oriental conference
by Bhagwat Kartik Au.; Bhatt Shriganeshdevru Au.; Warkhedi Shriniwas Ed.; Penna Madhusudhan Ed.
33 All India oriental conference
by Ayachit Shantanu Au.; Varkhedi Sriniwas Ed.; Penna Madhusudan Ed.
34 All India oriental conference
by Pandit Sheshchakarpani Au.; Verkhedi Sriniwas Ed.; Penna Madhusudan Ed.
35 All India oriental conference
by Warkhedi Shriniwas Ed.; Penna Madhusudhan Ed.
36 All India oriental conference
by Thakur Kedharnath Au.; Warkhedi Shriniwas Ed.; Penna Madhusudhan Ed.
37 All India oriental conference
by Bhatt Mahabaleshawar Au.; Verkhedi Shriniwas Ed.; Penna Madhusudan Ed.
38 Anuprayukt darshanshastra
by Dubey Vijay Kant
39 Architecture of manasara
by Acharya Parasanna Kumar
40 Architecture of manasara
by Acharya Parasanna Kumar
41 Architecture of manasara.2V.
by Acharya Parasanna Kumar
42 Architecture of manasara.2V.
by Acharya Parasanna Kumar
43 Arya, rigved aur bhartiya sabhyata.
by Singh, Kripa Shankar
44 Asama vanmanjari
by Verma Deepak Kumar
45 Badi kitabon par badi filmein
by Patil Vishwas
46 Bhaamhkrat kavayalankaar kavayaprakasho tulnatmak adhayanam
by Bhaamh Au.
47 Bhagavadajjukum in kutiyayyam.
by Paulose K G
48 Bhagwad-Bhakti-Rasayan aur bhakti ras.
by Madhu Sudan
49 Bhamahakrit kavya alankar kavyaparkashyo tulnakmat adhyan
by Patel Lalit
50 Bhargaviyam
by Tripathi Mithila Prasad