Uma automacao de logica temporal /

Código QR

Uma automacao de logica temporal /

Detalles Bibliográficos
Autores principales:	Souza, Luiz Fernando Pereira de (Autor, Autor/a), Veloso, Sheila Regina Murgel (Autor/a)
Formato:	Libro
Lenguaje:	Portuguese
Publicado:	Rio de Janeiro : Universidad Federal do Rio de Janeiro, 1992.
Materias:	PROGRAMACION (COMPUTADORAS ELECTRONICAS) LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

Logica, programacion e inteligencia artificial.
por: Kowalski, Robert
Publicado: (1986)

Construcción lógica de programas : teoría y problemas resueltos /
por: García Sánchez, Luis
Publicado: (2002)

N-Prolog and equivalence of logic programs /
por: Olivetti, Nicola, et al.
Publicado: (1992)

Iniciación a la lógica
por: Gortari,Eli de
Publicado: (1974)

Lógica matemática.
por: Ferrater Mora, José

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (2015)

Introducción a la lógica simbólica /
por: Langer, Susanne K.
Publicado: (1975)

Introducción intuitiva a la lógica simbólica
por: Flores, César
Publicado: (1979)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

Investigaciones lógicas /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1984)

Lógica simbólica /
por: Copi, Irving M.
Publicado: (2003)

Logica dinamica : nociones teoricas y ejercicios de logica tradicional y simbolica. --
por: Nudler, Telma Barreiro de, et al.
Publicado: (1969)

Logica
Publicado: (1974)

Lógica simbólica básica /
por: Camacho, Luis Ángel
Publicado: (2005)

Elementos de lógica simbólica
por: Barreiro de Nudler, Telma
Publicado: (1973)

Iniciación a la lógica /
por: Gortari, Eli de 1918-1991
Publicado: (1974)

Iniciación a la lógica.
por: Gortari, Eli de 1918-1991
Publicado: (1969)

Ensayo de lógica operatoria
por: Piaget, Jean, 1896-1980
Publicado: (1977)

Lógica simbólica para informáticos
por: Julián Iranzo, Pascual
Publicado: (2005)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1965)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1967)

Lógica matemática
por: Miró Quesada Canturias, Francisco 1918-, et al.
Publicado: (1964)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1955)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1962)

Lógica combinatoria
por: Curry, Haskell B.
Publicado: (1967)

Lógica matemática
por: Ferrater Mora, José, 1912-1991
Publicado: (1955)

Lógica matemática
por: Ferrater Mora, José, 1912-1991
Publicado: (1955)

Lógica combinatoria /
por: Curry, Haskell B.
Publicado: (1967)

Lógica digital y diseño de computadores /
por: Mano, M . Morris
Publicado: (1982)

Introducción a la lógica deductiva y teoría de los conjuntos
por: Salazar Resines, Javier
Publicado: (1970)

Introduccion a la logica moderna
por: Martínez, José de Jesús 1929-, et al.
Publicado: (1962)

Logica Matemática /
por: Miro Quesada, Francisco

Prolegómenos a la lógica simbólica /
por: Lío de Brizzio, Rosa de
Publicado: (1968)

A Science of Operations : machines, logic and the invention of programming /
por: Priestley, Mark Peter
Publicado: (2011)

Lógica general / Eli de Gortari
por: Gortari, Eli de

Lógica simbólica /
por: Garrido Jiménez, Manuel
Publicado: (2005)