Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution
Carpenter, Bob
Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution - - Cambridge : Cambridge University Press, 1992 1992 - viii,270 p. 25 cm - .
0-521-41932-80
Data structures (Computer science)
Logic programming
681.3.06:517.1 Car
Logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution - - Cambridge : Cambridge University Press, 1992 1992 - viii,270 p. 25 cm - .
0-521-41932-80
Data structures (Computer science)
Logic programming
681.3.06:517.1 Car