Cargando…

Representation theorems in computer science: a treatment in logic engineering

Detalles Bibliográficos
Autor principal:	Özçep, Özgür Lütfü
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2754864

Ejemplares similares

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

Theorem proving with first-order predicate logic, 3
por: Humpert, Benedikt
Publicado: (1987)

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)

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

Computational science and engineering
por: Alfred, Rayner, et al.
Publicado: (2019)

Computer Science Engineer
por: Sarasua Garcia, Lidia
Publicado: (2013)

Cloud computing for science and engineering
por: Foster, Ian, et al.
Publicado: (2017)

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

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

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

High Performance Computing in Science and Engineering
Publicado: (2019)

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 logic: the functional design of digital computers
por: Flores, Ivan
Publicado: (1960)

Computer science and computer engineering research review: 1987-1988
por: University of Rochester. New York. Computer Science Department
Publicado: (1988)

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 simulations in science and engineering: concepts, practices, perspectives
por: Durán, Juan Manuel
Publicado: (2018)

Short Course on Genetic Algorithms in Engineering and Computer Science
por: Periaux, J, et al.
Publicado: (1996)

An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982)

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

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

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

Oracle SQL revealed: executing business logic in the database engine
por: Reprintsev, Alex
Publicado: (2018)

Object-oriented database management: applications in engineering and computer science
por: Kemper, Alfons, et al.
Publicado: (1994)

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

High Performance Computing in Science and Engineering ’01 : Transactions of the High Performance Computing Center
por: Krause, Egon, et al.
Publicado: (2002)

High Performance Computing in Science and Engineering 2000 : Transactions of the High Performance Computing Center
por: Krause, Egon, et al.
Publicado: (2001)

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

9th International Conference on Computing Methods in Applied Sciences and Engineering
por: Collective
Publicado: (1990)

Eighth Results and Review Workshop on High Performance Computing in Science and Engineering
por: Jager, Willi, et al.
Publicado: (2006)

Uncertainty quantification and predictive computational science: a foundation for physical scientists and engineers
por: McClarren, Ryan G
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_jp8graohv5rh1pqpje68n1pm9m