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)

Construcción lógica de programas : teoría y problemas resueltos /
por: García Sá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)

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

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

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

Introducción a la lógica simbólica /
por: Langer, Susanne K.
Publicado: (1975)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (2015)

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

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

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

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

Lógica simbólica /
por: Copi, Irving Marmer
Publicado: (1979)

Lógica simbó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)

Lógica formal lógica dialéctica /
por: Lefebvre, Henri
Publicado: (1978)

Logica
Publicado: (1974)

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

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

Iniciación a la lógica
por: Gortari, Eli de, et al.
Publicado: (1969)

Iniciación a la lógica
por: Gortari, Eli de, et al.
Publicado: (1969)

Elementos de lógica simbólica
por: Barreiro de Nudler, Telma
Publicado: (1973)

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

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

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

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

Lógica simbólica /
por: Garrido, Manuel

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1965)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1967)

Lógica matemática
por: Miró Quesada Canturias, Francisco 1918-, et al.
Publicado: (1964)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1955)

Lógica matemática /
por: Ferrater Mora, José 1912-1991, et al.
Publicado: (1962)

Lógica simbólica
por: Garrido, Manuel
Publicado: (1974)

Lógica matemática
por: Ferrater Mora, José, 1912-1991
Publicado: (1962)

Lógica matemática
por: Ferrater Mora, José, 1912-1991
Publicado: (1962)