Boek
Term Rewriting Systems
An introduction to the theory of term rewriting systems. These are a technique used in computer science, especially functional programming, for abstract data type specification and automatic theorem-proving. Exercises are included throughout, and solutions to a selection of them are provided. «
Score:
Aantal recensies:
Aantal keer getipt:
Aantal keer gelezen:
Auteur(s):
Categorie:
ISBN
9780521391153
Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Recensies van Term Rewriting Systems door J.W. Klop, Terese & R.C. de Vrijer
Er zijn nog geen recensies voor dit boek.
Ideeënbus
