Cargando…

Workshop on Logics of Programs

Detalles Bibliográficos
Autores principales:	Clarke, Edmund, Kozen, Dexter
Lenguaje:	eng
Publicado:	Springer 1984
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/102327

Ejemplares similares

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)

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

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)

BEA WebLogic Workshop: kick start
por: Weber, Joe, et al.
Publicado: (2003)

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

1998 International Workshop on Description Logics ; DL '98
Publicado: (1998)

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

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

Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing
Publicado: (1995)

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

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

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

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)

Joomla! programming
por: Dexter, Mark, et al.
Publicado: (2012)

BEA WebLogic workshop 8.1 kick start: simplifying Java web applications and J2EE
por: Saganich, Al
Publicado: (2004)

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

NATO Advanced Research Workshop on Program Transformation and Programming Environments
por: Pepper, Peter
Publicado: (1984)

Joint Conference of the 10th GULP Conference on Logic Programming and the 5th PRODE Congress on Declarative Programming
Publicado: (1995)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Clojure, high performance JVM programming: learning path : explore asynchronous channels, logic, reactive programming, and much more
por: Diaz, Eduardo, et al.
Publicado: (2017)

IFIP Workshop on Programming Environments for Parallel Computing
por: Bemmerl, Thomas, et al.
Publicado: (1992)

IFAC-IFIP Workshop : Real-time programming
por: Griem, P D
Publicado: (1976)

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

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)

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

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

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings
por: Madeira, Alexandre, et al.
Publicado: (2018)

AAAI Workshop on Statistically-Based Natural Language Programming
Publicado: (1992)

Workshop on Partial Evaluation and Semantics-Based Program Manipulation
por: Collective
Publicado: (2000)

SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
por: Collective
Publicado: (2001)

Cannot write session to /tmp/vufind_sessions/sess_g7qavcaa9m0gc5a2g3cmrk2bst