The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution /
Carpenter, Bob
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter - Cambridge : Cambridge University Press, 2005 - viii, 270 p. : ill. ; 24 cm. - Cambridge tracts in theoretical computer science ; 32 .
First published 1992
Includes bibliographical references and index
9780521022545 (pbk.) 9780521419321 (hbk.)
Data structures (Computer science)
Logic programming
The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution / Bob Carpenter - Cambridge : Cambridge University Press, 2005 - viii, 270 p. : ill. ; 24 cm. - Cambridge tracts in theoretical computer science ; 32 .
First published 1992
Includes bibliographical references and index
9780521022545 (pbk.) 9780521419321 (hbk.)
Data structures (Computer science)
Logic programming