Arithmetic complexity of computations

Arithmetic complexity of computations

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Winograd, Shmuel
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Philadelphia Society for Industrial and Applied Mathematics 1980
Σειρά:	CBMS-NSF regional conference series in applied mathematics 33
Θέματα:	Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Λογική, Συμβολική και μαθηματική

Παρόμοια τεκμήρια

Computability and complexity from a programming perpective
ανά: Jones, Neil D.
Έκδοση: (1997)

Computing in Horn clause theories
ανά: Padawitz, Peter
Έκδοση: (1988)

A first course in formal logic and its applications in computer science
ανά: Dowsing, R.D
Έκδοση: (1986)

Teaching and learning formal methods
Έκδοση: (1996)

The resolution calculus /
ανά: Leitsch, Alexander
Έκδοση: (1997)

Unconventional models of computation
Έκδοση: (1998)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

Introduction to the theory of computation
ανά: Sipser, Michael
Έκδοση: (1996)

First-order logic and automated theorem proving /
ανά: Fitting, Melvin 1942-
Έκδοση: (1996)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
ανά: Sipser, Michael
Έκδοση: (2020)

DNA computing new computing paradigms
ανά: Paun, G.
Έκδοση: (1998)

The limits of mathematics a course on information theory and limits of formal reasoning
ανά: Chaitin, Gregory J.
Έκδοση: (1998)

Models of computation and formal languages R. Gregory Taylor
ανά: Taylor, R. Gregory
Έκδοση: (1998)

Extrapolation methods theory and practice
ανά: Brezinski, Claude
Έκδοση: (1991)

Automata and computability /
ανά: Kozen, Dexter 1951-
Έκδοση: (1997)

Foundations for programming languages
ανά: Mitchell, John C.
Έκδοση: (1996)

The formal semantics of programming languages an introduction
ανά: Winskel, G. (Glynn)
Έκδοση: (1993)

An introduction to computational learning theory :
ανά: Kearns, Michael J.
Έκδοση: (1994)

Automated reasoning introduction and applications
ανά: Wos, Larry
Έκδοση: (1984)

Arithmetic, proof theory, and computational complexity
Έκδοση: (1993)

The divine proportion a study in mathematical beauty
ανά: Huntley, H. E.
Έκδοση: (1970)

The continuum and other types of serial order
ανά: Huntington, Edward V.
Έκδοση: (1917)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
ανά: Mostowski, Andrzej
Έκδοση: (1964)

Computability, complexity, logic /
ανά: Börger, E. 1946- (Egon)
Έκδοση: (1989)

Büchi's monadic second order successor arithmetic /
ανά: Siefkes, Dirk
Έκδοση: (1970)

The temporal logic of reactive and concurrent systems specification
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1992)

Computational complexity a modern approach
ανά: Arora, Sanjeev, κ.ά.
Έκδοση: (2009)

Algebraic complexity theory /
ανά: Bürgisser, Peter, 1962-
Έκδοση: (1997)

Cellular automata and complexity : collected papers /
ανά: Wolfram, Stephen
Έκδοση: (1994)

Epistemic logic for AI and computer science
ανά: Meyer, John-Jules Ch
Έκδοση: (1995)

Foundations of the logical theory of scientific knowledge (complex logic) /
ανά: Zinoviev, Aleksandr, 1922-2006
Έκδοση: (1973)

Handbook of logic in artificial intelligence and logic programming /
Έκδοση: (1998)

Noisy information and computational complexity
ανά: Plaskota, Leszek
Έκδοση: (1996)

Complexity and real computation
ανά: Blum, Lenore
Έκδοση: (1998)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
ανά: Beth, Evert Willem
Έκδοση: (1962)

Descriptive complexity /
ανά: Immerman, Neil, 1953-
Έκδοση: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών