Catalog
Bookmarks
0
Course Reserves
My Account
Advanced search
Search in
Keyword
Title
Author/Creator
Subject
Browse by LC Call Number
Browse by Author
Browse by Subject
search for
Search
Advanced search
Start Over
Share
Export to Refworks
Export to EndNote
Email
Report an Issue
Recent progress in the Boolean domain [electronic resource] / edited by Bernd Steinbach
Published:
Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Physical Description:
1 online resource (458 pages) : illustrations
Additional Creators:
Steinbach, Bernd
Access Online
serialssolutions.com
Availability
I Want It
Finding items...
Restrictions on Access:
License restrictions may limit access.
Subject(s):
Automatic theorem proving
—
Congresses
Logic, Symbolic and mathematical
—
Congresses
Genre(s):
Electronic books
ISBN:
9781443856386
9781443859677 (e-book)
Note:
"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Bibliography Note:
Includes bibliographical references and index.
View MARC record
| catkey: 19424934