Cargando…

Logic for computer scientists

Detalles Bibliográficos
Autor principal:	Schöning, Uwe
Lenguaje:	eng
Publicado:	Springer 2008
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-0-8176-4763-6 http://cds.cern.ch/record/1639295

Ejemplares similares

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

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic and computations
por: Jervell, Herman Ruge
Publicado: (2012)

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

Logic, language and computation
por: Akama, Seiki
Publicado: (1997)

Computability, complexity, logic
por: Börger, Egon
Publicado: (1989)

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

Quantum computation and logic: how quantum computers have inspired logical investigations
por: Dalla Chiara, Maria Luisa, et al.
Publicado: (2018)

Probability and statistics for computer scientists
por: Baron, Michael
Publicado: (2014)

Computing methods for scientists and engineers
por: Fox, Leslie, et al.
Publicado: (1968)

Comprehensive mathematics for computer scientists
por: Mazzola, Guerino, et al.
Publicado: (2005)

Comprehensive mathematics for computer scientists
por: Mazzola, Guerino, et al.
Publicado: (2004)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

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

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

R for cloud computing: an approach for data scientists
por: Ohri, A
Publicado: (2014)

Numerical issues in statistical computing for the social scientist
por: Altman, Micah, et al.
Publicado: (2004)

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

Logical and computational aspects of model-based reasoning
por: Magnani, Lorenzo, et al.
Publicado: (2002)

Computation, logic, philosophy: a collection of essays
por: Wang, Hao
Publicado: (1989)

Noncooperative game theory: an introduction for engineers and computer scientists
por: Hespanha, João P
Publicado: (2017)

Data analysis: statistical and computational methods in for scientists and engineers
por: Brandt, Siegmund
Publicado: (1999)

Data analysis: statistical and computational methods for scientists and engineers
por: Brandt, Siegmund
Publicado: (2014)

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

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)

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

Computational Logic and Human Thinking: How to be Artificially Intelligent
por: Kowalski, Robert
Publicado: (2011)

Intellectics and computational logic: papers in honor of wolfgang bibel
por: Hölldobler, Steffen
Publicado: (2000)

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

Logic, language and reasoning: essays in honour of Dov Gabbay
por: Ohlbach, Hans, et al.
Publicado: (1999)

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

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

Hilbert's tenth problem: an introduction to logic, number theory, and computability
por: Murty, M Ram, et al.
Publicado: (2019)

A computational logic handbook: formerly notes and reports in computer science and applied mathematics
por: Boyer, Robert S, et al.
Publicado: (1988)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_faprf9anfv2r1n1cesnao35q71