Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Påfyllt med fler pocketböcker – 4 för 3 →

Computational Complexity of Logical Theories

AvJ. Ferrante,C. W. Rackoff

Häftad, Engelska, 1979

Del 718 i serien Lecture Notes in Mathematics

544 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

Matematik inom Naturvetenskap och teknik

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.

Mer från samma författare

C. W. Rackoff, J. Ferrante - Computational Complexity of Logical Theories, E-bok

Computational Complexity of Logical Theories

C. W. Rackoff, J. Ferrante

E-bok

2006

712 kr

J. Ferrante, C. W. Rackoff - The Computational Complexity of Logical Theories, Övrigt

The Computational Complexity of Logical Theories

J. Ferrante, C. W. Rackoff

648 kr

Mer från samma serie

Dale Rolfsen - Knot Theory and Manifolds, Häftad

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

275 kr

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza - Ricci Flow and Geometric Applications, Häftad

Del 2166

Ricci Flow and Geometric Applications

Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza

Häftad, 2016

383 kr

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel - Algebraic Topology, Häftad

Del 1370

Algebraic Topology

Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel

Häftad, 1989

543 kr

Joseph Bernstein, Valery Lunts - Equivariant Sheaves and Functors, Häftad

Del 1578

Equivariant Sheaves and Functors

Joseph Bernstein, Valery Lunts

Häftad, 1994

329 kr

Jin Ma, Jiongmin Yong - Forward-Backward Stochastic Differential Equations and their Applications, Häftad

Forward-Backward Stochastic Differential Equations and their Applications

Jin Ma, Jiongmin Yong

Häftad, 1999

651 kr

Siegfried Graf, Harald Luschgy - Foundations of Quantization for Probability Distributions, Häftad

Del 1730

Foundations of Quantization for Probability Distributions

Siegfried Graf, Harald Luschgy

Häftad, 2000

651 kr

D. A. Edwards, H. M. Hastings - Cech and Steenrod Homotopy Theories with Applications to Geometric Topology, Häftad

Del 542

Cech and Steenrod Homotopy Theories with Applications to Geometric Topology

D. A. Edwards, H. M. Hastings

Häftad, 1976

436 kr

Vladimir Kozlov, Vladimir Maz'ya - Theory of a Higher-Order Sturm-Liouville Equation, Häftad

Del 1659

Theory of a Higher-Order Sturm-Liouville Equation

Vladimir Kozlov, Vladimir Maz'ya

Häftad, 1997

383 kr

Lars Garding - Singularities in Linear Wave Propagation, Häftad

Del 1241

Singularities in Linear Wave Propagation

Lars Garding

Häftad, 1987

275 kr

Stephen Simons - From Hahn-Banach to Monotonicity, Häftad

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

544 kr

Du kanske också är intresserad av

J. Ferrante, C. W. Rackoff - The Computational Complexity of Logical Theories, Övrigt

The Computational Complexity of Logical Theories

J. Ferrante, C. W. Rackoff

648 kr

C. W. Rackoff, J. Ferrante - Computational Complexity of Logical Theories, E-bok

Computational Complexity of Logical Theories

C. W. Rackoff, J. Ferrante

E-bok

2006

712 kr

Damian Slaczka - Offenbarung Und Heil in Den Nichtchristlichen Religionen?, Häftad

Del 718

Offenbarung Und Heil in Den Nichtchristlichen Religionen?

Damian Slaczka

Häftad, 2001

571 kr

R. A. Aliev, Nodirbek Rustambekovich Yusupbekov, Janusz Kacprzyk, Witold Pedrycz, M. B. Babanli, Fahreddin M. Sadikoglu, S. M. Turabdjanov - 12th World Conference “Intelligent System for Industrial Automation” (WCIS-2022), Häftad

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

3 014 kr

Dag Hammarskjöld - Vägmärken, Storpocket

Vägmärken

Dag Hammarskjöld

Storpocket, 2023

(23)

147 kr

Malin Nordström - Kalla mig syster, Pocket

-30%

Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

(7)

69 kr99 kr

Emy McGuire - Lugnt vatten, Inbunden

-22%

Lugnt vatten

Emy McGuire

Inbunden, 2026

179 kr229 kr

Martin Buber - Jag och du, Inbunden

Jag och du

Martin Buber

Inbunden, 1994

(14)

108 kr

Jon Cannon - Medieval Church Architecture, E-bok

Del 718

Medieval Church Architecture

Jon Cannon

E-bok

2014

115 kr

KOMPASS Wanderkarte 718 Lüneburger Heide 1:50.000, Övrigt

Del 718

KOMPASS Wanderkarte 718 Lüneburger Heide 1:50.000

Kompass Karten GmbH

185 kr