|
41.
|
Symbolic dynamic : one-sided, two-sided and countable state Markov shifts
by Kitchens, Bruce P. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 514.74 KIT] (1).
|
|
42.
|
Formal concept analysis : mathematical foundations
by Ganter, Bernhard | Wille, Rudolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1999Availability: Items available for loan: [Call number: 511.33 GAN] (1).
|
|
43.
|
Introduction to Artificial Intelligence and Expert Systems
by Patterson, Dan W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 006.3 PAT] (7).
|
|
44.
|
Essentials of Programming Languages
by Friedman, Daniel P | Haynes, Christopher T | Wand, Mitchell. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Prentice Hall of India 1998Availability: Items available for loan: [Call number: 005.13 FRI] (3).
|
|
45.
|
Elements of the Theory of Computation
by Lewis, Harry R | Papadimitriou, Christos H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
|
|
46.
|
Introduction to Expert Systems
by Jackson, Peter. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education Asia, 2001Availability: Items available for loan: [Call number: 006.33 JAC] (4).
|
|
47.
|
Mathematical logic in the twentieth century
by Sacks, Gerald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: Singapore University Press, 2003Availability: Items available for loan: [Call number: 511.3 SAC] (1).
|
|
48.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Tata McGraw-Hill, 2007Availability: Items available for loan: [Call number: 511 ROS] (10).
|
|
49.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Mc Graw-hill companies, 2007Availability: Items available for loan: [Call number: 511 ROS] (1).
|
|
50.
|
Recursive function theory and logic
by Yasuhara, Ann. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
|
|
51.
|
Symbolic and Knowledge-Based Signal Processing
by Oppenheim, Alan V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Englewood: Prentice Hall, 1992Availability: Items available for loan: [Call number: 621.38220285 OPP] (1).
|
|
52.
|
Getting Started With MATLAB 5
by Pratap, Rudra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2001Availability: Items available for loan: [Call number: 005.13 PRA] (1).
|
|
53.
|
Oxford handbook of philosophy of mathematics and logic
by Shapiro, Stewart. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2005Availability: Items available for loan: [Call number: 510.1 SHA] (1).
|
|
54.
|
First course in logic : an introduction to model theory, proof theory, computability, and complexity
by Hedman, Shawn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2004Availability: No items available Checked out (1).
|
|
55.
|
What is a logical system?
by Gabbay, D. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 1995Availability: Items available for loan: [Call number: 511.3 GAB] (1).
|
|
56.
|
Mathematical logic
by Chiswell, Ian | Hodges, Wilfrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Oxford University Press, 2007Availability: Items available for loan: [Call number: 511.3 CHI] (1).
|
|
57.
|
Logic of knowledge bases
by Levesque, Hector J | Lakemeyer, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2000Availability: Items available for loan: [Call number: 006.332 LEV] (1).
|
|
58.
|
Knowledge in action : logical foundations for specifying and implementing dynamical systems
by Reiter, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2001Availability: Items available for loan: [Call number: 006.332 REI] (1).
|
|
59.
|
Concise Introduction to Mathematical Logic
by Rautenberg, Wolfgang. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 511.3 RAU] (1).
|
|
60.
|
Mathematical logic
by Thomas, W | Ebbinghaus, H. -D | Flum, J. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1994Availability: Items available for loan: [Call number: 511.3 EBB] (1).
|