Skip to main content
Resource Centre -- Office of the Registrar of Political Parties
Your cart is empty.
Cart
Lists
Public lists
Governance & Strategic Leadership
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Clear
Home
OPAC
Online Resources
Print Collection
About Us
Who We Are
Our Background
Our Offices
Our Service Charter
Strategic Plan (2020 - 2025)
Core Values
Top Management
Departments, Sections, and Units
Political Parties
Registration of Political Parties
Registration Process
Mergers, Coalitions and Coalition Political Parties
Regulation and Compliance
Administration of the Political Parties Fund
Governance of Political Parties
Political Parties Structure and Management
Political Party Registration
Rights of a member in a political party
Statutes & Regulations
Constitution of Kenya
Acts, Manuals and Guides
Regulations
Online Services
Membership Processes
Membership portal links
Check Registration status
Membership Registration
Membership Resignation
Political Party Name Search Application
Independent Candidate Clearance
Resource Centre
Media
Gallery
Photos
Videos
Publications
News
Articles on Topical Issues
Gazette Notices
IEC Material
Speeches, Press releases and Statements
Notices and Announcements
Downloads
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Library
Log in to your account
×
Login:
Password:
Home
Advanced search
Results of search for 'su:"Automatic theorem proving."'
Refine your search
Availability
Limit to records with available items
Authors
Bledsoe, W.W.
Fitting, Melvin
Loveland, D.W.
Series
Contemporary Mathema...
Texts in Computer Sc...
Topics
Automatic theorem pr...
Automatic theorem pr...
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 ]
Place hold
Results
1.
First-Order Logic and Automated Theorem Proving.
by
Fitting, Melvin
Series:
Texts in Computer Science Series
Edition:
2nd ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
New York, NY :
Springer,
1995
Copyright date:
©1996
Online resources:
Click to View
Availability:
No items available.
Add to cart
(remove)
2.
Automated Theorem Proving : After 25 Years.
by
Bledsoe, W.W
Loveland, D.W
Series:
Contemporary Mathematics
Edition:
1st ed.
Material type:
Text
; Format:
available online
; Literary form:
Not fiction
Publisher:
Providence :
American Mathematical Society,
1984
Copyright date:
©1983
Online resources:
Click to View
Availability:
No items available.
Add to cart
(remove)
Pages
© 2024 Resource Centre. All rights reserved.
