Skip to main content
Library - International Centre for Theoretical Sciences
Your cart is empty.
Cart
Lists
Public lists
New Arrivals
Gift Books
Gift by Authors (Books)
Dictionaries
Handbooks
View All
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Home
About us
Policy
E-Resources
Recommend a book
News Clippings
Research Support
TIFR-Guidelines
Research Tools
Literature Search
Elicit
Connected Papers
Research Rabbit
Grammar & Paraphrasing
Quillbot
Paperpal
Grammarly
Illustrations
Canva
BioRender
Draw.io
Data
R-Cran mirror @ ICTS
ATLAS.ti
JASP
Productivity
Notion
Pomofocus
Citation
Why Cite?
How to Cite?
How to Cite Data?
Vancouver
Harvard
APA
Chicago
IEEE
Reference Management
What is RMS & Why to use?
Overleaf (LaTeX)
Endnote (basic)
JabRef
Mendeley
Zotero
Researcher IDs
ORCID
ResearcherID
arXiv ID
INSPIRE
Google Scholar
Top Resources
SpringerLink
AMS ebooks
Mathscinet (AMS)
Web of Science
Zbmath
arXiv
INSPIRE
NASA ADS
SCOAP
3
bioRxiv
FAQs
Copyright
Plagiarism
Creative Commons
Open Access
Article Processing Charge
Preprints
Altmetrics
DOI
ISSN
ISBN
Thesis
ICTS Thesis
TIFR Thesis
Gallery
Contact us
ICTS website
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Go
Advanced search
Course reserves
Tag cloud
Most popular
Library
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Results of search for 'au:"Frank Pfenning"'
Refine your search
Availability
Limit to currently available items
Authors
Bledsoe W W
Frank Pfenning
Loveland Donald W
Sieg Wilfried
Item types
electronic book
Series
Contemporary mathema...
Lecture Notes in Com...
Topics
Automatic theorem pr...
Computable functions
Computer Science
Your search returned 3 results.
Not what you expected? Check for
suggestions
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)
Results per page:
Library default: 20
20
40
60
80
100
Unhighlight
Highlight
|
|
1.
Automated theorem proving : after 25 years
by
Bledsoe W W
|
Loveland Donald W.
Series:
Contemporary mathematics
; v. 29
Material type:
Computer file
; Format:
electronic
Publication details:
Providence, R.I. :
American Mathematical Society,
1984
Online access:
Click here to access online
Availability:
Items available for reference:
Accessible Online
(1).
:
Location(s):
.
Add to cart
(remove)
2.
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30July 2, 1987
by
Sieg Wilfried.
Series:
Contemporary mathematics
; v. 106
Material type:
Computer file
; Format:
electronic
Publication details:
Providence, R.I. :
American Mathematical Society,
c1990
Online access:
Click here to access online
Availability:
Items available for reference:
Accessible Online
(1).
:
Location(s):
.
Add to cart
(remove)
3.
Logic Programming and Automated Reasoning
by
Frank Pfenning.
Series:
Lecture Notes in Computer Science
Edition:
1994
Material type:
Computer file
; Format:
electronic
Publication details:
Springer Berlin Heidelberg
1994
Online access:
Click here to access online
Availability:
Items available for reference:
Accessible Online
(1).
:
Location(s):
.
Add to cart
(remove)