Language:
English
繁體中文
Help
回圖書館
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Biere, Armin.
Overview
Works:
1 works in 1 publications in 1 languages
Titles
Handbook of satisfiability
by: Biere, Armin.
(Electronic resources)
Subjects
Computer algorithms
Propositional calculus
Decision making
Algebra, Boolean
Processing
...
Change password
Login