{totalEditions, plural,
 =0 {# editions }
 one {# edition }
 other {# editions }
 }
 {totalHoldingCount, plural,
 =0 {in # libraries}
 one {in # library}
 other {in # libraries}
 }

This edition in {totalHoldingCount} libraries

{libraryName} added to favorite libraries

{libraryName} removed from favorite libraries

Select this title to view the detailed record for {title}

Added: {formattedDate}

New at the library

Fiction

Showing {0}-{1} of {total} items

Nonfiction

View access options

Access from your libraries

Borrow from {library}

{formattedDistance} away

Borrow

Borrow from {institution} near {location}

Access Online

Request this item via:

Get it from {institution}

Borrow from your library

Borrow from {institution}

Unable to find any access options. Search the library catalog.

Cite list {title}

Cite

Cite {itemTitle}

Share {itemTitle}

Check out this item I found on https://search.worldcat.org

Add {itemTitle} to a list

Share

Add to list

Share list {title}

Item shared from WorldCat.org

Edition

Publisher

View all Formats and Editions for {title}

Dissertation

Publication

View all formats and editions

Unable to find libraries on WorldCat with this item.

Access

Yes, show me

Generating recommendations...

We have made recommendations based on your search.

Recommendations provided by a third-party AI service. Only title and author data is shared.

Looks like we hit a snag. Please try again later.

Let us know how we did

We can make recommendations based on this item.

Recommendations for you

Explore similar titles

Uh oh! :(

Sign in

Please sign in to generate recommendations.

ISSN

Cast

Language Notes

Accessibility Note

Notes

Genre

ISBN

Subjects

Medium of Performance

Event Notes

Reproduction Notes

Show less information

Series

Accessibility Content

Credits

Show more information

Performers

Additional Physical Form Entry

Click this link to view the DOI record {x}

Physical Description

OCLC Number / Unique Identifier

Target Audience

Numeric Designation of Musical Work

More Information

Cartographic Mathematical Data

Access mode:

Assistive features:

Secondary Content

Material:

Primary Content

We tailor your experience based on the order of your favorite libraries.

Drag or select a library from below to update the order

use the arrow up and down keys to change the order

{0}, order {1} in the list of {2} libraries

Unable to save libraries order. Please try again

To save changes to the library order, press Done

WorldCat.org

University of Manchester Department of Computer Science

Optimising tableaux decision procedures for description logics