Term Rewriting & All That

73.10 EUR

Ein umfassendes Handbuch über Terme umschreiben, das von den Grundprinzipien der formalen Semantik bis zu praktischen Algorithmen reicht und zeigt, wie Termumwandlungen in Logik, Programmierung und Mathematik verknüpft sind.

Teilen: