Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Boolean Functions and Computation Models
Home
Publications
Boolean Functions and Computation Models
Boolean Functions and Computation Models
PC
Peter Clote
Peter Clote
EK
Evangelos Kranakis
Evangelos Kranakis
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2002
book
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-3-662-04943-3
Abstract
No abstract available
Keywords
BEWEISSYSTEME
BOOLEAN FUNCTION
BOOLESCHE FUNKTIONEN
ERFÜLLBARKEITSPROBLEM DER AUSSAGENLOGIK
KOMPLEXITÄTSTHEORIE
PARALLELES RECHNEN
COMBINATORICS
COMPLEXITY
COMPLEXITY THEORY
PROOF THEORY
Cited by 55 articles