Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem ...Teljes leírás
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There is also a chapter detailing the required mathematical background.
HATALMAS VÁLASZTÉK
Több mint 4 millió angol nyelvű könyv kitűnő áron.
INGYENES SZÁLLÍTÁS
25 500 Ft vagy nagyobb rendelés esetén a szállítás ingyenes
KITŰNŐ ÁRAK
A könyvek árait igyekszünk a földhöz közel tartani és mindig a kiadó által ajánlott ár alatt.
SZEMÉLYES HOZZÁÁLLÁS
Számunkra a legfontosabb az Ön elégedettsége. Könyveket árulunk, mert szeretjük őket. Nem transznacionális óriások vagyunk, hanem becsületes cseh cég. Ezenfelül a kitűnő könyveket saját blogunkban véleményezzük.
MEGBÍZHATÓ BOLT VAGYUNK A VÁSÁRLÓK ÉRTÉKELÉSE SZERINT
Megkaptuk a "Megbízható Bolt" címet az arukereso.hu portálon. Az értékeléseket megtekintheti itt