Bounded arithmetic, propositional logic, and complexity theory /
Κύριος συγγραφέας: | Krajicek, Jan (συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge [England] ; New York, NY, USA :
Cambridge University Press,
1995.
|
Σειρά: | Encyclopedia of mathematics and its applications
|
Θέματα: | |
Διαθέσιμο Online: | Publisher description Table of contents |
Παρόμοια τεκμήρια
-
Computer arithmetic systems algorithms, architecture and implementation
ανά: Omondi, Amos R.
Έκδοση: (1994) -
Complexity theory retrospective in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
ανά: Selman, Alan L.
Έκδοση: (1990) -
Semantics and logics of computation
Έκδοση: (1997) -
Discrete structures, logic and computability
ανά: Hein, James L.
Έκδοση: (2002) -
Logic for computer science
ανά: Reeves, Steve, κ.ά.
Έκδοση: (1990)