Número de Chamada
|
005.133 V259t
|
|
Autor Principal
|
Van Le, T.
|
|
Título Principal
|
Techniques of Prolog programming : with implementation of logical negation and quantified goals / T. van Le
|
|
Publicação
|
New YorK : Wiley, [c1993].
|
|
Descrição Física
|
xviii, 601 p. : il. ; 24 cm + 2 disquetes (3 1/2)
|
|
Notas
|
Inclui 2 disquetes
Inclui bibliografia e índice
|
|
Assuntos
|
PROLOG (Linguagem de programação de computador)
Negação (Lógica)
|
|