Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Add Marked to Bag
Add All On Page
Subjects (1-8 of 8)
Automatic Theorem Proving
1
Concrete Semantics With Isabelle / Hol
Nipkow, Tobias, 1958-
Cham : Springer International Publishing, 2014. 2014
Rating:
Copies
Location
Call No.
OPAC Message
Status
Axe 3rd Floor Stacks
005.1 N625c 2014
---
Available
2
Conditional and preferential logics proof methods and theorem proving
Pozzato, Gian Luca.
Amsterdam : IOS Press, c2010. 2010
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
3
First-order logic and automated theorem proving
Fitting, Melvin, 1942- author.
New York : Springer, [1996] 1996
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
4
Handbook of automated reasoning
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001. 2001
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
5
The little prover
Friedman, Daniel P., author.
Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015. 2015
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
6
Logic for computer science : foundations of automatic theorem proving
Gallier, Jean H.
New York, NY : Harper & Row, c1986. 1986
Rating:
Copies
Location
Call No.
OPAC Message
Status
Axe 2nd Floor Stacks
511.3 G136l
---
Available
7
Mathematics mechanization and applications
San Diego : Academic Press, ©2000. 2000
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
8
Symbolic logic and mechanical theorem proving
Chang, Chin-liang, 1937-
New York, Academic Press [1973] 1973
Rating:
Copies
Location
Call No.
OPAC Message
Status
Axe 2nd Floor Stacks
511.3 C362s
---
Available
Add Marked to Bag
Add All On Page
Locate in results
Back to Search Results
Limit/Sort Search
Available items only
Website