Cargando…

Handbook of logic in computer science

Mostrar otras versiones (3)

Detalles Bibliográficos
Autores principales:	Gabbay, D M, Maibaum, T S E, Abramsky, S
Lenguaje:	eng
Publicado:	Clarendon Press 1993
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/243761

Ejemplares similares

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: (1992)

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

Handbook of logic in artificial intelligence and logic programming
por: Gabbay, D M
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: Hogger, Christopher John, et al.
Publicado: (1993)

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

The computer science and engineering handbook
por: Tucker, Allen B
Publicado: (1997)

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

Logic in computer science: modelling and reasoning about systems
por: Huth, Michael, et al.
Publicado: (2004)

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

A new perspective on nonmonotonic logics
por: Gabbay, Dov M, et al.
Publicado: (2016)

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

Oracle WebLogic server 11g administration handbook
por: Alapati, Sam R
Publicado: (2012)

Computer security handbook
por: Kabay, M E
Publicado: (2002)

Computer Security Handbook
por: Bosworth, Seymour, et al.
Publicado: (2012)

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)

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

Computer dictionary and handbook
por: Sippl, Charles J
Publicado: (1966)

Handbook of fuzzy computation
por: Ruspini, Enrique H, et al.
Publicado: (1998)

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

Handbook of neural computing applications
por: Maren, Alianna J, et al.
Publicado: (1990)

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)

Computer and information security handbook
por: Vacca, John R
Publicado: (2017)

The practical handbook of internet computing
por: Staff, Singh Munindar P, et al.
Publicado: (2004)

Algorithms and theory of computation handbook
por: Atallah, Mikhail J
Publicado: (1999)

Digital computer user's handbook
por: Korn, Granino Arthur, et al.
Publicado: (1967)

Handbook of human-computer interaction
por: Helander, Martin, et al.
Publicado: (1997)

Computer and information security handbook
por: Vacca, John R, et al.
Publicado: (2012)

Computer and information security handbook
por: Vacca, John
Publicado: (2009)

A tutorial on the Warren abstract machine for computational logic
por: Gabriel, J R, et al.
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)

Handbook of logic in computer science /
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_t8tm4sf1704b4nqeeu29d3muvf