Feedback
FAQs
Toggle navigation
Home
About
Introduction
Objectives
Features & Functionalities
Books
Theses
Serials
OCS
Contribute Your Data
Statistics
Download
IndCat Manual
OCS Manual_SOUL
OCS Manual_Koha
Contact us
All
Title
Researcher
Guide
University
Year
Subject
Department
Language
Place
Free Text
Exact-Search
Full-Text
University
Jawaharlal Nehru University, New Delhi [1]
Subject
Computer Mathematics [1]
Mathematical Statistics [1]
Mathematics [1]
Language
English [1]
Year
1983 [1]
Researcher
Tripathy, Priyadarshi [1]
Guide
Sadananda, R [1]
Place
New Delhi [1]
Per Page:
10
20
30
50
100
Sort By:
Title Asc
Title Desc
|<
1
>|
Search results for
' ' (0.006 seconds )
Total Hits :
1
1
Theorem proving: Resolution, non-resolution and by abstraction
Researcher:
T
r
i
p
a
t
h
y
,
P
r
i
y
a
d
a
r
s
h
i
Guide:
S
a
d
a
n
a
n
d
a
,
R
University:
Jawaharlal Nehru University
Language:
E
n
g
l
i
s
h
