Normal view MARC view ISBD view

Proceeding on automated deduction

By:

Material type:

TextLanguage: English Series: Lecture notes in computer science; 230Publication details: Berlin Springer-Verlag 1986Description: ix, 708p. cmSubject(s):

Computer science

DDC classification:

D65,8(B)p1,N86, M6

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)p1,N86 M6 (Browse shelf(Opens below))					Available			SL0955107

There are no comments on this title.

to post a comment.

Back to results

1 Anti-slavery project:
by Quirk, Joel
2 'Cultural revolution in Hong Kong'
by Yep Ray
3 'Cultural revolution in Hong Kong':emergency powers,administration of justice and the turbulent year of 1967
by Yep Ray
4 'Didi,are you hindu?'Politics of secularism in women's activism in india
by Govinda Radhika
5 'Didi,are you hindu?'Politics of secularism in women's activism in india:case-study of a grassroots women's organization in rural uttar pradesh
by Govinda Radhika
6 'Enough of the great napoleons'Raja Mahendra Pratap's Pan-Asian projects(1929-1939)
by Stolte Carolien
7 'Enough of the great napoleons'Raja Mahendra Pratap's Pan-Asian projects(1929-1939)
by Stolte Carolien
8 'Signs of churing'
by Jones Justin
9 'Signs of churing': Muslim personal law and public contestation in twenty-first century India
by Jones Justin
10 "Studies in the land revenue history of Bengal, 1769-1787"
by Ramsbotham R B
11 3D management, an integral theory for organisations in the vanguard of evolution
by Robledo Marco A. Au.
12 15en American authors before 1900
by Rees Robert A.
13 21st centruy oxford authors John Donne
by Mueller Janel Ed.
14 101 problems and solutions in historical linguistics
by Blust Robert Au.
15 The 1857 panic and the fabrication of an indian 'Menace' in singapore
by Rai Rajesh
16 A glossary of Semantics and Pragmatics :
by Cruse , Alan
17 A Grammar of Kham
by Watters , David E
18 A New historical geography of England after 1600
by Darby H C Ed.
19 A priori in philosophy
by Casullo Albert Ed.
20 A. J. Ayer
by Griffiths A. Phillips Ed.
21 Abbas kiarostami and film-philosophy
by Abbott Mathew Au.
22 Abortion before birth control: The politics of reproduction in postwar Japan
by Norgren Tiana
23 About time
by Currie Mark
24 Abraham lincoln
by Drinkwater John
25 Absent piece of skin
by Mookherjee Nayanika
26 Absent piece of skin:Gendered,racialized and territorialinscription of sexual violence during the Bangladesh war
by Mookherjee Nayanika
27 Academic freedom and tenure
by Joughin Louis Ed.
28 Academic man : A study in the sociology of a profession
by Wilson Logan
29 Accomodation and resistancee
by He Qiliang
30 Accomodation and resistancee:Pingtan storytelling in 1960s shanghai
by He Qiliang
31 Achievement of Samuel Johnson
by Bate Walter Jackson
32 Achievement of Ted Hughes
by Sagar Keith Ed.
33 Acient religions, modern politics
by COOK Michael
34 Acquiring phnology
by Smith Neil
35 Acquisition of syntactic structure
by Becker Misha
36 Acquisition of territory in International law
by JENNINGS R.Y.
37 Acting on principle
by O' Neill Onora
38 Acts of consciousness
by Saunders Guy
39 Adam and eve in seventeenth century thought
by Almond Philip C.
40 Adaptive behavior and learning
by Staddon J. E. R.
41 Addition and subtraction facts and processes
42 Addressing the other woman
by Lamm Kimberly Au.
43 Adivasis and the state
by Nilsen Alf Gunvald Au.
44 Adivasis and the state: Subalternity and citizenship in india's Bhil heartland
by Nilsen Alf Gunvald
45 Adjectives and adverbs
by McNally Louise Ed.
46 Admininistrator scholars and the writing of history in early british- India
by Widger Tom
47 Admininistrator scholars and the writing of history in early british- India : Areview article
by Widger Tom
48 Administration and economic development in India
by Braibanti Ralph Ed.
49 Administration of agricultural development
by Hunter Guy
50 Administration of agricultural development
by Hunter Guy