- ECU Libraries Catalog

Start Over

You searched for: author_facet Kleine Büning, H.

Showing 1 - 8 of 8 results

Search Results

Cover image for Theory and applications of satisfiability testing--SAT 2008

Theory and applications of satisfiability testing--SAT 2008

by SAT 2008
2008
Format: Electronic

Location
Access Content Online

Cover image for Propositional logic

Propositional logic

by Kleine Büning, H.
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.L63 K54 1999	✔ Available

Cover image for Computer science logic

Computer science logic

by Workshop on Computer Science Logic
1996
Format: Electronic

Location
Access Content Online

Cover image for Computer science logic

Computer science logic

by Workshop on Computer Science Logic
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA75.5 .W625 1995	✔ Available

Cover image for CSL '89

CSL '89

by Workshop on Computer Science Logic
1990
Format: Electronic

Location
Access Content Online

Cover image for CSL '89

CSL '89

by Workshop on Computer Science Logic
1990
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.M35 W67 1989	✔ Available

Cover image for CSL '88

CSL '88

by Workshop on Computer Science Logic
1989
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.M35 W67 1988	✔ Available

Cover image for CSL '87

CSL '87

by Workshop on Computer Science Logic
1988
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA75.5.W624 1987	✔ Available