Uma automacao de logica temporal /

QR Code

Uma automacao de logica temporal /

Bibliographic Details
Main Authors:	Souza, Luiz Fernando Pereira de (Author, Autor/a), Veloso, Sheila Regina Murgel (Autor/a)
Format:	Book
Language:	Portuguese
Published:	Rio de Janeiro : Universidad Federal do Rio de Janeiro, 1992.
Subjects:	PROGRAMACION (COMPUTADORAS ELECTRONICAS) LOGICA, SIMBOLICA Y MATEMATICA

Similar Items

Logica, programacion e inteligencia artificial.
by: Kowalski, Robert
Published: (1986)

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

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

Iniciación a la lógica
by: Gortari,Eli de
Published: (1974)

Elementos de lógica simbólica /
by: Barreiro de Nudler, Telma
Published: (1973)

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

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

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

Iniciación a la lógica simbólica /
by: Arnaz, José Antonio
Published: (1978)

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

Lógica simbólica y elementos de metodología de la ciencia /
by: Gianella de Salama, Alicia
Published: (1982)

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

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

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

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

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

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

Lógica simbólica /
by: Copi, Irving Marmer
Published: (1979)

Lógica simbólica /
by: Copi, Irving M.
Published: (2003)

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

Lógica formal, lógica dialéctica.
by: Lefebvre, Henri
Published: (1978)

Logica
Published: (1974)

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

Elementos de lógica simbólica
by: Barreiro de Nudler, Telma
Published: (1973)

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

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

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

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

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

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

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

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

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

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

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

Lógica combinatoria
by: Curry, Haskell B.
Published: (1967)

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

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

Lógica combinatoria /
by: Curry, Haskell B.
Published: (1967)

Lógica simbólica /
by: Garrido, Manuel