Cargando…

Logic in computer science: modelling and reasoning about systems

Mostrar otras versiones (1)

Detalles Bibliográficos
Autores principales:	Huth, Michael, Ryan, Mark
Lenguaje:	eng
Publicado:	Cambridge Univ. Press 2004
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/732350

Ejemplares similares

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1992)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Handbook of logic in computer science
por: Gabbay, D M, et al.
Publicado: (1993)

Mathematical logic for computer science
por: Zhong Wan Lu
Publicado: (1998)

Logic for computer science and artificial intelligence
por: Caferra, Ricardo
Publicado: (2011)

Ewa Orłowska on relational methods in logic and computer science
por: Golińska-Pilarek, Joanna, et al.
Publicado: (2018)

Logic in computer science : modelling and reasoning about systems /
por: Huth, Michael, 1962-
Publicado: (2004)

Arithmetic and logic in computer systems
por: Lu, Mi
Publicado: (2004)

Representation theorems in computer science: a treatment in logic engineering
por: Özçep, Özgür Lütfü
Publicado: (2019)

Subjective logic: a formalism for reasoning under uncertainty
por: Jøsang, Audun
Publicado: (2016)

Reasoning about uncertainty
por: Halpern, Joseph Y
Publicado: (2017)

The logic of computer arithmetic
por: Flores, Ivan
Publicado: (1963)

Computer structure and logic
por: Pearson Education
Publicado: (2011)

Discrete structures, logic, and computability
por: Hein, James L
Publicado: (2017)

Logic programming and soft computing
por: Martin, T P, et al.
Publicado: (1998)

Computer logic: the functional design of digital computers
por: Flores, Ivan
Publicado: (1960)

Data science in R: a case studies approach to computational reasoning and problem solving
por: Nolan, Deborah, et al.
Publicado: (2015)

Logic and algebraic structures in quantum computing
por: Chubb, Jennifer, et al.
Publicado: (2016)

Conference on Logical Aspects of Computational Linguistics
Publicado: (1999)

Error detecting logic for digital computers
por: Sellers, Frederick F, et al.
Publicado: (1968)

Heuristic reasoning about uncertainty: an artificial intelligence approach
por: Cohen, Paul R
Publicado: (1985)

Digital computer design: logic, circuitry, and synthesis
por: Braun, Edward L
Publicado: (1963)

Knowledge representation: logical, philosophical, and computational foundations
por: Sowa, John F
Publicado: (2000)

1st International Conference on Computational Logic
por: Collective
Publicado: (2000)

Computational intelligence: synergies of fuzzy logic, neural networks and evolutionary computing
por: Siddique, Nazmul, et al.
Publicado: (2013)

A tutorial on the Warren abstract machine for computational logic
por: Gabriel, J R, et al.
Publicado: (1985)

Lauren Ipsum : a story about computer science and other improbable things
por: Bueno, Carlos
Publicado: (2015)

From logic to logic programming
por: Doets, Kees
Publicado: (1994)

Philosophy and computing: essays in epistemology, philosophy of mind, logic, and ethics
por: Powers, Thomas M
Publicado: (2017)

Neural networks and fuzzy-logic control on personal computers and workstations
por: Korn, Granino Arthur
Publicado: (1995)

Fuzzy logic: the revolutionary computer technology that is changing our world
por: McNeill, Daniel, et al.
Publicado: (1993)

2nd International Conference on Logical Aspects of Computational Linguistics
por: Lecomte, Alain, et al.
Publicado: (1999)

Database modeling and design: logical design
por: Teorey, Toby J, et al.
Publicado: (2011)

Database modeling and design: logical design
por: Teorey, Toby J, et al.
Publicado: (2005)

Applied modeling and computations in nuclear science
por: Semkow, Thomas M, et al.
Publicado: (2006)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, Christopher John, et al.
Publicado: (1993)

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

Handbook of logic in artificial intelligence and logic programming
por: Gabbay, D M
Publicado: (1993)

Logic Pro 7 and Logic Express 7
por: Sitter, Martin
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_8d9akuftjda3m0tcu9ek294e4o