Cargando…

From logic to logic programming

Detalles Bibliográficos
Autor principal:	Doets, Kees
Lenguaje:	eng
Publicado:	MIT 1994
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/389820

Ejemplares similares

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)

Introduction to logic programming
por: Menu, Jacques
Publicado: (1985)

Workshop on Logics of Programs
por: Clarke, Edmund, et al.
Publicado: (1984)

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

Fuzzy-logic-based programming
por: Chang Chin Liang
Publicado: (1997)

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)

The Haskell road to logic, maths and programming
por: Doets, Kees, et al.
Publicado: (2004)

Logic as grammar
por: Hornstein, Norbert
Publicado: (1984)

Conformance checking for programmable logic controller programs and specifications
por: Darvas, Daniel, et al.
Publicado: (2016)

Programmable logic controllers
por: Bolton, W
Publicado: (2015)

Logic automata and algorithms
por: Ajzerman, Mark A, et al.
Publicado: (1971)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (2011)

VHDL for logic synthesis
por: Rushton, Andrew
Publicado: (1998)

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

Microprocessors and logic design
por: Krutz, Ronald L
Publicado: (1980)

Logics for artificial intelligence
por: Turner, Raymond
Publicado: (1984)

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

Logic Pro X
por: Nahmani, David
Publicado: (2014)

Introduction to programming: learn to program in Java with data structures, algorithms, and logic
por: Samoylov, Nick
Publicado: (2018)

Logic Pro X for dummies
por: English, Graham
Publicado: (2014)

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

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)

Logical foundations of artificial intelligence
por: Genesereth, Michael R, et al.
Publicado: (1987)

Verilog coding for logic synthesis
por: Lee, Weng Fook
Publicado: (2003)

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

Mathematical principles of fuzzy logic
por: Novák, Vilém, et al.
Publicado: (1999)

WebLogic: the definitive guide
por: Mountjoy, Jon, et al.
Publicado: (2004)

Logic Pro X for dummies
por: English, Graham
Publicado: (2018)

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming
por: Cabrero-Holgueras, José, et al.
Publicado: (2023)

5th International Workshop on Natural Language Understanding and Logic Programming
Publicado: (1995)

1st International Workshop on Natural Language Understanding and Logic Programming
por: Dahl, Veronica, et al.
Publicado: (1985)

Logic Pro X 10.3
por: Nahmani, David
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_8gep53e9ojmph471drstga478u