Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/24375294 Title: Automated reasoning : essays in honor of Woody Bledsoe Author: W W Bledsoe; Robert S Boyer Publisher: Dordrecht ; Boston : Kluwer Academic Publishers, ©1991. ISBN/ISSN: 0792314093 9780792314097 OCLC:24375294

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Automated reasoning : essays in honor of Woody Bledsoe

Preview this item

Automated reasoning : essays in honor of Woody Bledsoe

Author:	W W Bledsoe; Robert S Boyer
Publisher:	Dordrecht ; Boston : Kluwer Academic Publishers, ©1991.
Series:	Automated reasoning series, v. 1.
Edition/Format:	Book : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Additional Physical Format:	Online version: Automated reasoning. Dordrecht ; Boston : Kluwer Academic Publishers, c1991 (OCoLC)645819577
Named Person:	Woody W Bledsoe
Document Type:	Book
All Authors / Contributors:	W W Bledsoe; Robert S Boyer Find more information about:
ISBN:	0792314093 9780792314097
OCLC Number:	24375294
Description:	xi, 365 p. : ill. ; 25 cm.
Contents:	A biographical sketch of W.W. Bledsoe / Anne Olivia Boyer and Robert S. Boyer -- METEORs : high performance theorem provers using model elimination / O.L. Astrachan and D.W. Loveland -- The metatheorist : automatic proofs of theorems in analysis using non-standard techniques, Part II / A.M. Ballantyne -- Perspectives on automated deduction / W. Bibel -- MJRTY : a fast majority vote algorithm / Robert S. Boyer and J. Strother Moore -- How the brain adjusts synapses, maybe / Hans J. Bremerman and Russell W. Anderson -- The use of proof plans for normalization / Alan Bundy -- What are the limitations of the situation calculus? / M. Gelfond, V. Lifschitz, and A. Rabinov -- Reasoning in paraconsistent logics / J. Lu ... [et al.] -- Compiling recursive functional Prolog programs with list structure into procedural languages / Young K. Nam and Lawrence J. Henschen -- Aligning multiple RNA sequences / Ross Overbeek and Ian Foster -- Similarity, uncertainty and case-based reasoning in Patdex / Michael M. Richter and Stefan Wess -- Formal and informal proofs / J.A. Robinson -- PTTP and linked inference / Mark E. Stickel -- Automated reasoning and Bledsoe's dream for the field / Larry Wos.
Series Title:	Automated reasoning series, v. 1.
Responsibility:	edited by Robert S. Boyer.

Reviews

User-contributed reviews

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search

More like this

Subjects

Similar Items