|
|
1.
|
A COMPUTATIONAL LOGIC
by Boyer, Robert S | Moore, J. Strother. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiv,397.Publisher: New York Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B695c] (1).
|
|
|
2.
|
PX
by Hayashi, Susumu | Nakano, Hiroshi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,200.Publisher: Cambridge Mit Pr. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H323p] (1).
|
|
|
3.
|
A MANY-SORTED CALCULUS BASED ON RESOLUTION AND PARAMODULATION
by Walther, Christoph. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W17M] (1).
|
|
|
4.
|
Automated reasoning
: 33 basic research problems
by Wos, Larry. Material type: Book Description: xiii, 319p.Publisher: Englewood Cliffs Prentice Hall 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 W91a] (1).
|
|
|
5.
|
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS
by Thistlewaite, Paul B | Meyer, Robert K. Material type: Book Description: 154.Publisher: London Pitman c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T349a] (1).
|
|
|
6.
|
MECHANICAL GEOMETRY THEOREM PROVING
by Chou, Shang-Ching. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,362.Publisher: Dordrecht D. Reidel 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.00285 C457m] (1).
|
|
|
7.
|
DEDUCTION SYSTEMS
by Socher-Ambrosis,Rolf | Johann,Patricia. Material type: Book Description: ix,206.Publisher: Springer-Verlag, New York c1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3028551 SO13D] (1).
|
|
|
8.
|
AUAOMATED THEOREM PROVING.
by Newborn,Monty. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,231.Publisher: Springer-Verlag, New York 2001Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 N427A] (1).
|
|
|
9.
|
AUTOMATED THEOREM PROVING
by BLEDSOE, W. W | LOVELAND, D. W. Description: ix,360.Publisher: Providence, Rhode Island American Mathematical Society 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sp31a] (1).
|
|
|
10.
|
Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction
by Wliiliams, J. G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 133p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.518] (1).
|
