Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Record 21 of 23
Previous Record
Next Record
Title
Recent progress in the Boolean domain / edited by Bernd Steinbach.
Publication Info.
Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
2014
Connect to
Available to Pittsburg State University patrons only.
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
Description
1 online resource (458 pages) : illustrations
text rdacontent
computer rdamedia
online resource rdacarrier
Note
"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Bibliography
Includes bibliographical references and index.
Note
Description based on online resource; title from PDF title page (ebrary, viewed May 21, 2014).
Subject
Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Genre/Form
Electronic books.
Added Author
Steinbach, Bernd, editor.
Other Form:
Print version: Recent progress in the Boolean domain. Newcastle upon Tyne, England : Cambridge Scholars Publishing, c2014 xxx, 428 pages 9781443856386
ISBN
9781443856386
9781443859677 (electronic bk.)
Available items only
