|
|
1981.
|
Introduction to the theory of Matroids Material type:  Book; Literary form: Description: viii,102p.Publisher: Berlin Springer-Verlag 1975Availability: No items available Withdrawn (1).
|
|
|
1982.
|
AUTOMATION OF REASONING
by Siekmann, Jorg | Wrightson, Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).
|
|
|
1983.
|
AUTOMATION OF REASONING
by Siekmann, Jorg | Wrightson, Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).
|
|
|
1984.
|
AUTOMATION OF REASONING
by Siekmann, Jorg | Wrightson, Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).
|
|
|
1985.
|
AUTOMATION OF REASONING
by Siekmann, Jorg | Wrightson, Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).
|
|
|
1986.
|
PRINCIPLES OF ARTIFICIAL INTELLIGENCE
by Nilsson, Nils J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,476.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 N599pa] (1).
|
|
|
1987.
|
Secure digital communication
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: v,332p.Publisher: Wien Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.51 Se26] (2).
|
|
|
1988.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1989.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1990.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1991.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1992.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1993.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1994.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1995.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1996.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1997.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1998.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
1999.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
|
|
2000.
|
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES
by Balakrishnan, A.V | Thoma, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Berlin Springer - Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 L497] (1).
|
