Computational Complexity of Logical Theories
540 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 2166
Ricci Flow and Geometric Applications
Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza
Häftad, 2016
380 kr
Del 1370
Algebraic Topology
Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel
Häftad, 1989
539 kr
Forward-Backward Stochastic Differential Equations and their Applications
Jin Ma, Jiongmin Yong
Häftad, 1999
646 kr
Del 1730
Foundations of Quantization for Probability Distributions
Siegfried Graf, Harald Luschgy
Häftad, 2000
646 kr
Del 542
Cech and Steenrod Homotopy Theories with Applications to Geometric Topology
D. A. Edwards, H. M. Hastings
Häftad, 1976
433 kr
Del 1659
Del 1241
Del 2070
Probabilistic Group Theory, Combinatorics, and Computing
Alla Detinko, Dane Flannery, Eamonn O'Brien
Häftad, 2013
380 kr
Hoppa över listan









Du kanske också är intresserad av
- -19%
- Nyhet
Del 2
Del 718
- -30%
Del 3
- -22%
Del 4
- 4 för 3
Del 1
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 953 kr
Del 718
- -23%