Cargando…

Logic and Computation

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	Workshop on Logic and Computation Carnegie Mellon University
Otros Autores:	Sieg, Wilfried, 1945- (Editor )
Formato:	Electrónico Congresos, conferencias eBook
Idioma:	Inglés
Publicado:	Providence : American Mathematical Society, 1990.
Colección:	Contemporary Mathematics.
Temas:	Computable functions > Data processing > Congresses. Fonctions calculables > Informatique > Congrès. Computable functions > Data processing Mathematics. Physical Sciences & Mathematics. Mathematical Theory. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Acceso en línea:	Texto completo

Ejemplares similares

Introducción a la teoría de la computabilidad /
por: Gallardo López, Domingo
Publicado: (2003)

Theory and practice of computation : proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2013 /
Publicado: (2014)

Computability and logic.
por: Boolos, George
Publicado: (2002)

Computability in context : computation and logic in the real world /
Publicado: (2011)

Computability and logic.
por: Boolos, George
Publicado: (2007)

Theory of computation /
por: Tourlakis, George J.
Publicado: (2012)

Computability, complexity, logic /
por: B�orger, E. (Egon), 1946-
Publicado: (1989)

Computability Theory and Its Applications : Current Trends and Open Problems.
por: Cholak, Peter A.
Publicado: (2000)

Symbolic computation and education /
Publicado: (2007)

Symbolic computation and education /
Publicado: (2007)

Introduction to formal languages, automata theory and computation /
por: Krithivasan, Kamala
Publicado: (2009)

Computability in analysis and physics /
por: Pour-El, Marian B. (Marian Boykan), 1928-, et al.
Publicado: (2016)

Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Publicado: (1999)

Effective mathematics of the uncountable /
por: Greenberg, Noam, 1974-, et al.
Publicado: (2013)

Handbook of computability theory /
Publicado: (1999)

Computability in context : computation and logic in the real world /
Publicado: (2011)

In the Tradition of Ahlfors-Bers, IV
por: Canary, Dick
Publicado: (2007)

Computable structures and the hyperarithmetical hierarchy /
por: Ash, C. J.
Publicado: (2000)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

Logic and Combinatorics
por: Simpson, Stephen G.
Publicado: (1987)

Tapas in Experimental Mathematics
por: Amdeberhan, Tewodros
Publicado: (2008)

Computation and automata /
por: Salomaa, Arto
Publicado: (1985)

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

Plane Ellipticity and Related Problems
por: Gilbert, Robert P.
Publicado: (1982)

Three Views of Logic : Mathematics, Philosophy, and Computer Science.
por: Loveland, Donald W.
Publicado: (2014)

Statistical programming in SAS /
por: Bailer, A. John
Publicado: (2010)

Vistas of special functions II /
por: Chakraborty, Kalyan
Publicado: (2007)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Publicado: (1977)

Advanced Computational Electromagnetic Methods.
por: Yu, Wenhua
Publicado: (2015)

Advanced Computational Electromagnetic Methods.
por: Yu, Wenhua
Publicado: (2015)

Geometric Analysis of Several Complex Variables and Related Topics
por: Barkatou, Y.
Publicado: (2011)

Gnuplot in action : understanding data with graphs /
por: Janert, Philipp K.
Publicado: (2010)

Minimal weak truth table degrees and computably enumerable Turing degrees /
por: Downey, R. G. (Rod G.), et al.
Publicado: (2020)

Combining and modifying SAS data sets : examples /
por: Burlew, Michele M.
Publicado: (2009)

The SAS workbook /
por: Cody, Ronald P.
Publicado: (1996)

The little SAS book : a primer /
por: Delwiche, Lora D.
Publicado: (2003)

SAS 9.4 ODS graphics procedures guide.
Publicado: (2014)

What's new in SAS 9.3.
Publicado: (2011)

The H-Function Theory and Applications /
por: Mathai, A.M, et al.
Publicado: (2010)

Building better models with JMP Pro /
por: Grayson, Jim
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_02ob045tdvl6qr5lbu758ts2eo