Número de Chamada
|
005.73 C295L
|
Autor Principal
|
Carpenter, Bob
|
Título Principal
|
The Logic of typed feature structures : With applications to unification grammars, logic programs and constraint resolution / Bob Carpenter
|
Publicação
|
Cambridge : Cambridge University Press, c1992.
|
Descrição Física
|
viii, 270 p. : il. ; 23 cm
|
Série
|
Cambridge tracts in theoretical computer science
|
Notas
|
Inclui bibliografia e índice
|
ISBN
|
0521419328 (enc.)
|
Assuntos
|
Estruturas de dados (Computação) Programação lógica
|