|
|
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.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Automated Theorem Proving in Software Engineering
by Schumann, Johann M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1).
|
|
|
10.
|
Fascinating country in the world of computing : your guide to automated reasoning
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 511.3028553 WOS] (2).
|
|
|
11.
|
Collected works of Larry Wos. Volume 1
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2000Availability: Items available for loan: [Call number: 511.36028563 WOS] (2).
|
|
|
12.
|
Collected works of Larry Wos. Volume 2
by Wos, Larry | Pieper, Gail W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2000Availability: Items available for loan: [Call number: 511.36028563 WOS] (1).
|
|
|
13.
|
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
by Chipala, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2014Availability: Items available for loan: [Call number: 005.1 CHL] (1).
|
|
|
14.
|
First-order logic and automated theorem proving
by Fitting, Melvin. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 FIT] (1).
|
|
|
15.
|
Logic programming : operational semantics and proof theory
by Andrews, James H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1).
|
