Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092593
Price: 48.83 EUR
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540510819

3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Nachum Dershowitz

Língua

Inglês

Livro Capa mole

Código Libristo: 02092593

Editoras Springer, Berlin

Rewriting has always played an important role in symbolic manipulation and automated deduction syste... Descrição completa

Código Libristo: 02092593

118 b

48.83 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Woerterbuch der Science-Fiction Peter Schlobinski

Capa mole

34.57 €

Alpenkoenig und der Menschenfeind Ferdinand Raimund

Capa mole

6.26 €

Virtudes curativas de la manzana JORGE SINTES PROS

Capa mole

10.61 €

THE BEST OF EASY JAZZ - PIANO PIANO Livro

binding.

11.01 €

Droits de l'homme et justice Nana

Capa mole

14.05 €

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Rewriting Techniques and Applications

Autor Nachum Dershowitz

Língua

Inglês

Encadernação Livro - Capa mole

Número de páginas 589

EAN 9783540510819

ISBN 3540510818

Código Libristo 02092593

Editoras Springer, Berlin

Peso 1036

Dimensões 155 x 233 x 30

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática > Matemática para investigadores informáticos

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Ciência informática > Inteligência artificial