Skip to main content
The Copperbelt University Open Access Catalogue
Your cart is empty.
Cart
Lists
Search history
Clear
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All libraries
CBU- LUSAKA CAMPUS
CBU-DAG HAMMARSKJOLD INSTITUTE
CBU-MAIN LIBRARY, KITWE.
CBU-MICHAEL CHILUFYA SATA LIBRARY
CBU-MPIKA LIBRARY, MPIKA CAMPUS.
CBU-SCHOOL OF GRADUATE STUDIES
CBU-SCHOOL OF MEDICINE LIBRARY, NDOLA.
CBU-SCHOOL TEXT BOOK COLLECTION
SPECIAL COLLECTIONS
SHORT LOAN BOOKS
FICTION COLLECTION
MAIN LIBRARY OPEN ACCESS
SPECIAL COLLECTIONS
REFERENCE BOOKS
ANNEX COLLECTION
E-RESOURCES
MEDICAL LIBRARY OPEN ACCES
TEXTBOOKS (CAD)
TEXTBOOKS (CHEM. ENG.)
TEXTBOOKS (COMP. SCIENCE)
TEXTBOOKS (DDEOL)
TEXTBOOKS (ELEC. ENG.)
TEXTBOOKS (MIN. ENG.)
TEXTBOOKS (SB)
TEXTBOOKS (SBE)
TEXTBOOKS (SE)
TEXTBOOKS (SGS)
TEXTBOOKS (SMMS)
TEXTBOOKS (SMNS)
TEXTBOOKS (SNR)
TEXTBOOKS (SOM)
MICHAEL CHILUFYA SATA OPEN ACCESS
MPIKA LIBRARY OPEN ACCESS
BINDERY (DAMAGED)
SCHOOL OF GRADUATE STUDIES
AMERICAN CORNER
CBU-LUSAKA CAMPUS LIBRARY
Go
Advanced search
Course reserves
Authority search
Tag cloud
Purchase suggestions
Libraries
Log in to your account
×
Login:
Password:
Home
Results of search for 'ccl=su:"AUTOMATIC THEOREM PROVING"'
Refine your search
Availability
Limit to currently available items
Authors
Gao, Xiao-Shan
Shankar, N
Wang, Dongming
Holding libraries
CBU-MAIN LIBRARY, KITWE.
Item types
MONOGRAPH
Topics
AUTOMATIC THEOREM PR...
EQUATIONS--NUMERICAL...
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Results
Mathematics mechanization and applications
edited Xiao-Shan Gao
by
Gao, Xiao-Shan
|
Wang, Dongming.
Publication details:
San Diego:
Academic Press
2000
Availability:
Items available for loan:
CBU-MAIN LIBRARY, KITWE.
(1) .
Collection(s):
Call number:
QA 71 Mat
.
Add to cart
(remove)
Metamathematics, machines, and Godel's proof
by
Shankar, N.
Publication details:
Cambridge:
CUP
1994
Availability:
Items available for loan:
CBU-MAIN LIBRARY, KITWE.
(1) .
Collection(s):
Call number:
QA 9 Sha
.
Add to cart
(remove)
Pages
Not finding what you're looking for?
Make a
purchase suggestion