Arithmetic complexity of computations

Arithmetic complexity of computations

Bibliographic Details
Main Author:	Winograd, Shmuel
Format:	Book
Language:	English
Published:	Philadelphia Society for Industrial and Applied Mathematics 1980
Series:	CBMS-NSF regional conference series in applied mathematics 33
Subjects:	Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές Λογική, Συμβολική και μαθηματική

Similar Items

Computability and complexity from a programming perpective
by: Jones, Neil D.
Published: (1997)

Computing in Horn clause theories
by: Padawitz, Peter
Published: (1988)

A first course in formal logic and its applications in computer science
by: Dowsing, R.D
Published: (1986)

The resolution calculus /
by: Leitsch, Alexander
Published: (1997)

Teaching and learning formal methods
Published: (1996)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1996)

Introduction to the theory of computation
by: Sipser, Michael
Published: (1996)

Unconventional models of computation
Published: (1998)

First-order logic and automated theorem proving /
by: Fitting, Melvin 1942-
Published: (1996)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2008)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2012)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2007)

Εισαγωγή στη θεωρία υπολογισμού /
by: Sipser, Michael
Published: (2020)

DNA computing new computing paradigms
by: Paun, G.
Published: (1998)

The limits of mathematics a course on information theory and limits of formal reasoning
by: Chaitin, Gregory J.
Published: (1998)

Models of computation and formal languages R. Gregory Taylor
by: Taylor, R. Gregory
Published: (1998)

Extrapolation methods theory and practice
by: Brezinski, Claude
Published: (1991)

Automata and computability /
by: Kozen, Dexter 1951-
Published: (1997)

Foundations for programming languages
by: Mitchell, John C.
Published: (1996)

The formal semantics of programming languages an introduction
by: Winskel, G. (Glynn)
Published: (1993)

An introduction to computational learning theory :
by: Kearns, Michael J.
Published: (1994)

Automated reasoning introduction and applications
by: Wos, Larry
Published: (1984)

Arithmetic, proof theory, and computational complexity
Published: (1993)

The continuum and other types of serial order
by: Huntington, Edward V.
Published: (1917)

The divine proportion a study in mathematical beauty
by: Huntley, H. E.
Published: (1970)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Published: (1973)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
by: Mostowski, Andrzej
Published: (1964)

Computability, complexity, logic /
by: Börger, E. 1946- (Egon)
Published: (1989)

Büchi's monadic second order successor arithmetic /
by: Siefkes, Dirk
Published: (1970)

The temporal logic of reactive and concurrent systems specification
by: Manna, Zohar, et al.
Published: (1992)

Computational complexity a modern approach
by: Arora, Sanjeev, et al.
Published: (2009)

Epistemic logic for AI and computer science
by: Meyer, John-Jules Ch
Published: (1995)

Algebraic complexity theory /
by: Bürgisser, Peter, 1962-
Published: (1997)

Cellular automata and complexity : collected papers /
by: Wolfram, Stephen
Published: (1994)

Handbook of logic in artificial intelligence and logic programming /
Published: (1998)

Foundations of the logical theory of scientific knowledge (complex logic) /
by: Zinoviev, Aleksandr, 1922-2006
Published: (1973)

Αφηρημένα λογικά συστήματα και εφαρμογές τους στις γλώσσες προδιαγραφών
by: Στεφανέας, Πέτρος Σ.
Published: (2001)

Noisy information and computational complexity
by: Plaskota, Leszek
Published: (1996)

Complexity and real computation
by: Blum, Lenore
Published: (1998)

Descriptive complexity /
by: Immerman, Neil, 1953-
Published: (1999)

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