Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

String-Rewriting Systems

Name: String-Rewriting Systems
Brand: Springer, Berlin
SKU: 9781461397731
Price: 270.62 RON
Availability: InStock

Autor: Ronald V. Book, Friedrich Otto

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 8-11 zile

270.62 lei

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting...

Informații despre carte

Autor

Ronald V. Book, Friedrich Otto

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

189

EAN

9781461397731

ISBN

1461397731

Enbook ID

06797435

Editura

Springer, Berlin

Greutate

317

Dimensiuni

155 x 10 x 10

Descriere completă

The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960's and early 1970's, it received renewed attention due to interest in formal language theory. In the 1980's and 1990's, it has received more interest since it can be viewed as a special case of term rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the oretical computer science or in the foundations of artificial intelligence.

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

String-Rewriting Systems

Informații despre carte

Descriere completă

S-ar putea să te intereseze

How to Analyze People

Dear Friend and Gardener

American Dictionary of the English Language

Golden Treasure Book

Caesar Dies

Genesis Project

The Legend of the Indian Paintbrush

Identity and Theatre Translation in Hong Kong

Entertaining History of King Philip's War

Women Making Art

Clienții care au cumpărat această carte au mai cumpărat și

LAT-LUCIANI SAMOSATENSIS LIBEL

Einzigartige Wörter

MOZART. HISTORIAS GENIALES

Lenormand, blaue Eule, Wahrsagekarten

Ich sehe was du nicht siehst - Essen

LES 10 REGULATEURS DU MAÇON 3ème degré MAÎTRE

Graine de bonheur

Tödliche Konflikte

Der große Gatsby