Número de Chamada
|
511.3 C837i
|
|
Autor Principal
|
Costa, Marcos Mota do Carmo
|
|
Entradas Secundárias - Autor
|
Universidade Federal do Rio Grande do Sul . Instituto de Informática
Escola de Computação (8. : Gramado, RS) 1992
|
|
Título Principal
|
Introdução à lógica modal aplicada a computação / Marcos Mota do Carmo Costa
|
|
Publicação
|
Porto Alegre : UFRGS, Instituto de Informática, 1992.
|
|
Descrição Física
|
v, 200 p. : il. ; 23 cm
|
|
Notas
|
Trabalho apresentado na VIII Escola de Computação, de 3 a 12 de agosto de 1992, em Gramado, RS
Inclui bibliografias
|
|
Assuntos
|
Lógica simbólica e matemática
Modalidade (Lógica)
|
|