|
|
1.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
|
|
|
2.
|
Godel's incompleteness theorems
by Smullyan, Raymond M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 1992Availability: Items available for loan: [Call number: 511.3 SMU] (1).
|
|
|
3.
|
Functions of one complex variable I
by Conway, John B. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1995Availability: Items available for loan: [Call number: 515.932 CON] (1).
|
|
|
4.
|
Fundamental theorem of algebra
by Fine, Benjamin | Rosenberger, Gerhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 512.942 FIN] (1).
|
|
|
5.
|
Automated theorem proving : theory and practice
by Newborn, Monty. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2001Availability: Items available for loan: [Call number: 004.015113 NEW] (2).
|
|
|
6.
|
Handbook of automated reasoning, Volume 1
by Robinson, J. Alan | Voronkov, Andrei | Voronkov, Andrei. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 511.3 ROB] (1).
|
|
|
7.
|
Notes on fermat's last theorem
by Poorten, Alf Van Der | Van Der Poorten, Alf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: John Wiley & Sons, 1996Availability: Items available for loan: [Call number: 512.74 VAN] (1).
|
|
|
8.
|
Computer-aided reasoning : an approach
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1).
|
|
|
9.
|
Godel's proof
by Nagel, Ernest | Newman, James R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: New York University Press, 1960Availability: Items available for loan: [Call number: 511.3 NAG] (1).
|
|
|
10.
|
Stable marriage and its relation to other combinatorial problems : an introduction to the mathematical analysis of algorithms
by Knuth, Donald E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 1997Availability: Items available for loan: [Call number: 511.6 KNU] (1).
|
|
|
11.
|
Algebraic number theory and Fermat's last theorem
by Stewart, Ian | Tall, David. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2001Availability: Items available for loan: [Call number: 512.74 STE] (1).
|
|
|
12.
|
Fermat's last theorem : the story of a riddle that confounded the world's greatest minds for three hundred fifty eight years
by Singh, Simon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: HarperCollins, 2002Availability: Items available for loan: [Call number: 512.74 SIN] (1).
|
|
|
13.
|
Diagrammatic representation and reasoning
by Anderson, Michael | Anderson, Michael | Meyer, Bernd | Meyer, Bernd | Olivier, Patrick | Olivier, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2002Availability: Items available for loan: [Call number: 006.3 AND] (1).
|
|
|
14.
|
Information theory and the central limit theorem
by Johnson, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 2004Availability: Items available for loan: [Call number: 519.2 JOH] (1).
|
|
|
15.
|
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings
by Basin, David | Rusinowitch, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
|
|
|
16.
|
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
by Wang, Farn. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
|
|
|
17.
|
Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
by Hurd, Joe | Melham, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HUR] (1).
|
|
|
18.
|
Public Key Cryptography : 4th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : Proceedings
by Naccache, David | Paillier,Pascal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NAC] (1).
|
|
|
19.
|
Isabelle/HOL : a Proof Assistant for Higher-Order Logic
by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
|
|
|
20.
|
Efficient checking of polynomials and proofs and the hardness of approximation problems
by Sudan, Madhu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
|
