Cargando…

Ewa Orłowska on relational methods in logic and computer science

Detalles Bibliográficos
Autores principales:	Golińska-Pilarek, Joanna, Zawidzki, Michał
Lenguaje:	eng
Publicado:	Springer 2018
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2710854

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)

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

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

Relational methods for computer science applications
por: Orlowska, Ewa, et al.
Publicado: (2001)

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)

Soft computing evaluation logic: the LSP decision method and its applications
por: Dujmovic, Jozo
Publicado: (2018)

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

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)

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 methods in colloid and interface science
por: Borowko, M, et al.
Publicado: (1998)

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)

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

Data Integration: The Relational Logic Approach
por: Genesereth, Michael
Publicado: (2010)

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)

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)

Logic Pro 9 and Logic Express 9
por: Nahmani, David
Publicado: (2010)

Logic Pro 8 and Logic Express 8
por: Nahmani, David
Publicado: (2008)

Computational color science: variational Retinex-like methods
por: Provenzi, Edoardo
Publicado: (2017)

Novel computer architectures: data flow, reduction, inference and logic machines
por: Halatsis, Constantin
Publicado: (1986)

Data Mining and Knowledge Discovery via Logic-Based Methods
por: Triantaphyllou, Evangelos
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_icita6amaofd857otimaoepql0