Login into your library account
Home
|
WSU Home
|
WSU Pipeline
|
WSU Blackboard
|
WSU E-Mail
|
Research Warrior
WSU Library Catalog
SearchType
ADVANCED BOOLEAN
TITLE
AUTHOR
LC SUBJECT
MeSH
LC CALL NO
DEWEY CALL NO
OTHER CALL NO
GOVT DOC NO
OCLC NO
STANDARD NO
RECORD NO
Search
Search Scope
View Entire Collection
Undergraduate Library
Science and Eng Library
Pharmacy/Allied Health LRC
Purdy/Kresge Library
Reuther Library
Oakland Center Campus
Shiffman Medical Library
Special Collections
Storage
Law Library
Journals, Magazines, Serials
Books
Careers Collection in UGL
Course Reserves
Digital Collections
Electronic Journals
Electronic Books
Electronic Resources, All
DVD , Film, Video
DVD and Video Only
DVD - UGL Only
Government Documents
Finding Aids
Internet Sites
Juvenile Collections
Law Library E-Resources
Maps Cartographic Mats.
Microforms/Microfiche
Reference
Sheet Music
Sound Recording
Sound Recordings Spoken
Textbooks, K-12
Theses/Dissertations
Video-Reserves Stacks
Technology Resource Ctr
Open Access Archives
Elephant Research Coll.
Find in
WorldCat
Cite This
Export to Endnote
826647035
Author
Pouly, Marc, 1980-
Title
Generic inference [electronic resource] : a unifying theory for automated reasoning / Marc Pouly, Jürg Kohlas.
Publication Info.
Hoboken, N.J. : Wiley, c2011.
Click on the following to:
Connect to online resource - WSU on-site and authorized users
Location
Call No.
Status
Notes
Libraries Electronic Books
ELECTRONIC BOOK-Safari
AVAIL. ONLINE
Description
1 online resource (1 v.) : ill.
Note
Description based on print version record.
Bibliography
Includes bibliographical references and index.
Subject
Valuation theory.
Algorithms.
Algebra, Abstract.
Added Author
Kohlas, Jürg, 1939-
Added Title
Unifying theory for automated reasoning
Related To
Print version: Pouly, Marc, 1980- Generic Inference. Hoboken, New Jersey : Wiley, [2011], ©2011 9780470527016 (DLC) 2010042336 (OCoLC)664666829
ISBN
9780470527016
0470527013
9781118010860
1118010868
Permanent url for this catalog record:
