Model-based transformations for quantified boolean formulas /
Includes bibliographical references and index.
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : IOS Pr.,
2010
|
| Subjects: |
| _version_ | 1826443550932336640 |
|---|---|
| author | 500151 Bubeck, Uwe |
| author_facet | 500151 Bubeck, Uwe |
| author_sort | 500151 Bubeck, Uwe |
| collection | OCEAN |
| description | Includes bibliographical references and index. |
| first_indexed | 2024-03-05T10:15:04Z |
| format | |
| id | KOHA-OAI-TEST:435116 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T10:15:04Z |
| publishDate | 2010 |
| publisher | Berlin : IOS Pr., |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4351162020-12-19T17:15:38ZModel-based transformations for quantified boolean formulas / 500151 Bubeck, Uwe Berlin : IOS Pr.,2010engIncludes bibliographical references and index.PSZJBLAlgebra, Boolean Transformations (Mathematics)URN:ISBN:9783898383295 |
| spellingShingle | Algebra, Boolean Transformations (Mathematics) 500151 Bubeck, Uwe Model-based transformations for quantified boolean formulas / |
| title | Model-based transformations for quantified boolean formulas / |
| title_full | Model-based transformations for quantified boolean formulas / |
| title_fullStr | Model-based transformations for quantified boolean formulas / |
| title_full_unstemmed | Model-based transformations for quantified boolean formulas / |
| title_short | Model-based transformations for quantified boolean formulas / |
| title_sort | model based transformations for quantified boolean formulas |
| topic | Algebra, Boolean Transformations (Mathematics) |
| work_keys_str_mv | AT 500151bubeckuwe modelbasedtransformationsforquantifiedbooleanformulas |