The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science - Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) - Boeken - Cambridge University Press - 9780521022545 - 10 november 2005
Indien omslag en titel niet overeenkomen, is de titel correct

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science

Prijs
€ 61,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 19 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.


280 pages, 28 b/w illus.

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 10 november 2005
ISBN13 9780521022545
Uitgevers Cambridge University Press
Pagina's 280
Afmetingen 170 × 245 × 15 mm   ·   453 g
Taal en grammatica Engels  
Serie-editor Abramsky, S.
Serie-editor Aczel, P. H.
Serie-editor Bakker, J. W. De
Serie-editor Gurevich, Y.
Serie-editor Tucker, J. V.
Serie-editor Van Rijsbergen, C. J.