An edition of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications (2009)

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

by

Cover of: Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications by Armin Biere
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 22, 2020 | History
Edit
An edition of Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications (2009)

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
IOS Press, Brand: IOS Press
Pages
980

Check nearby libraries

Buy this book

Subjects

Computer algorithms, Propositional calculus, Congresses, Decision making, Boolean Algebra, Algorithmus, Anwendung, Berechnungskomplexität, Erfüllbarkeitsproblem
Edition Availability
Cover of: Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications
2009, IOS Press, Brand: IOS Press

Add another edition?

Book Details

Classifications

Library of Congress
QA9.3 .H36 2009

Edition Identifiers

Open Library
OL26185402M
ISBN 13
9781586039295
LCCN
2008942733

Work Identifiers

Work ID
OL17582243W

Source records

Internet Archive item record
Library of Congress MARC record
amazon.com record
ISBNdb

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 22, 2020 Edited by MARC Bot import existing book
July 1, 2019 Edited by MARC Bot import existing book
October 19, 2016 Edited by Mek Added new cover
October 19, 2016 Created by Mek Added new book.