Cargando…

A computational logic handbook: formerly notes and reports in computer science and applied mathematics

A Computational Logic Handbook

Detalles Bibliográficos
Autores principales:	Boyer, Robert S, Moore, J Strother, Rheinboldt, Werner, Siewiorek, Daniel
Lenguaje:	eng
Publicado:	Academic Press 1988
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1985842

Ejemplares similares

Handbook of mathematics and computational science
por: Harris, John W, et al.
Publicado: (1998)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Computability, complexity, and languages: fundamentals of theoretical computer science
por: Davis, Martin D, et al.
Publicado: (1983)

Foundations of logic and mathematics: applications to computer science and cryptography
por: Nievergelt, Yves
Publicado: (2002)

Applied Computational Mathematics in Social Sciences
por: Damaceanu, Romulus-Catalin
Publicado: (2010)

Applied Mathematics, Modelling and Computational Science
por: Cojocaru, Monica, et al.
Publicado: (2015)

Logic, mathematics, and computer science: modern foundations with practical applications
por: Nievergelt, Yves
Publicado: (2015)

Advances in Applied Mathematics, Modeling, and Computational Science
por: Melnik, Roderick, et al.
Publicado: (2013)

Numerical methods for initial value problems in ordinary differential equations
por: Fatunla, Simeon Ola, et al.
Publicado: (1988)

Numerical computation using C
por: Glassey, Robert, et al.
Publicado: (1993)

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Introduction to numerical computations
por: Vandergraft, James S, et al.
Publicado: (1983)

International Conference on Applied Mathematics, Modeling and Computational Science & Annual meeting of the Canadian Applied and Industrial Mathematics
por: Bélair, Jacques, et al.
Publicado: (2016)

Mathematics, computer science and logic: a never ending story : the Bruno Buchberger Festschrift
por: Paule, Peter
Publicado: (2013)

Mathematical problems from applied logic: logics for the XXIst century
por: Gabbay, Dov, et al.
Publicado: (2006)

Encyclopedia of applied and computational mathematics
por: Engquist, Björn
Publicado: (2015)

Recent progress and modern challenges in applied mathematics, modeling and computational science
por: Melnik, Roderick, et al.
Publicado: (2017)

Mathematics and computer science
por: Drmota, Michael, et al.
Publicado: (2002)

Combinatorial algorithms for computers and calculators
por: Nijenhuis, Albert, et al.
Publicado: (1978)

Logics in computer science: a study on extensions of temporal and strategic logics
por: Mogavero, Fabio
Publicado: (2013)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Handbook of the mathematics of the arts and sciences
por: Sriraman, Bharath
Publicado: (2019)

Mathematics handbook: for science and engineering
por: Råde, Lennart, et al.
Publicado: (1999)

Mathematics handbook for science and engineering
por: Råde, Lennart, et al.
Publicado: (2004)

Mathematical algorithms for linear regression
por: Späth, Helmuth, et al.
Publicado: (1991)

International Congress on Computational and Applied Mathematics
Publicado: (1988)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

International Congress on Computational and Applied Mathematics
Publicado: (1986)

Recent Advances in Computational and Applied Mathematics
por: Simos, Theodore
Publicado: (2011)

International Conference on Computational and Applied Mathematics
por: Bhattacharyya, Somnath, et al.
Publicado: (2020)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

Computer arithmetic in theory and practice
por: Kulisch, Ulrich W, et al.
Publicado: (1981)

Mathematical foundation of computer science
por: Singh, YN
Publicado: (2005)

Creators of mathematical and computational sciences
por: Agarwal, Ravi P, et al.
Publicado: (2014)

Mathematical foundation for computer science
por: Vashanti, M
Publicado: (2013)

Handbook of applied mathematics: selected results and methods
por: Pearson, Carl E
Publicado: (1983)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2004)

Logic from Computer Science : Proceedings of a Workshop
por: Moschovakis, Yiannis
Publicado: (1992)

Logic functions and equations: binary models for computer science
por: Posthoff, Christian, et al.
Publicado: (2019)

Logical studies of paraconsistent reasoning in science and mathematics
por: Andreas, Holger, et al.
Publicado: (2016)

Cannot write session to /tmp/vufind_sessions/sess_2mc2pett6g1jthbhl0cpo743ks