Computational Complexity of Logical Theories
539 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:1979-07-01
- Mått:155 x 235 x 15 mm
- Vikt:394 g
- Format:Häftad
- Språk:Engelska
- Serie:Lecture Notes in Mathematics
- Antal sidor:244
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540095019
Utforska kategorier
Innehållsförteckning
- and background.- Ehrenfeucht games and decision procedures.- Integer addition — An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.
Hoppa över listan









Mer från samma serie
Del 1144
Del 620
Del 1788
Moduli of Families of Curves for Conformal and Quasiconformal Mappings
Alexander Vasil'ev
Häftad, 2002
485 kr
Del 2166
Ricci Flow and Geometric Applications
Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza
Häftad, 2016
379 kr
Del 1370
Algebraic Topology
Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel
Häftad, 1989
538 kr
Del 1578
Forward-Backward Stochastic Differential Equations and their Applications
Jin Ma, Jiongmin Yong
Häftad, 1999
648 kr
Del 2070
Probabilistic Group Theory, Combinatorics, and Computing
Alla Detinko, Dane Flannery, Eamonn O'Brien
Häftad, 2013
379 kr
Del 2191
Hoppa över listan









Du kanske också är intresserad av
- Signerad!
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- Nyhet
Del 718
Del 718
12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022)
R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov
Häftad, 2024
2 996 kr
- -19%