Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092593
Price: 51.68 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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02092593

Nakladateľstvo Springer, Berlin

Rewriting has always played an important role in symbolic manipulation and automated deduction syste... Celý popis

Libristo kód: 02092593

125 b

51.68 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Woerterbuch der Science-Fiction Peter Schlobinski

Brožovaná

36.51 €

Alpenkoenig und der Menschenfeind Ferdinand Raimund

Brožovaná

6.56 €

Virtudes curativas de la manzana JORGE SINTES PROS

Brožovaná

12.43 €

THE BEST OF EASY JAZZ - PIANO PIANO Kniha

binding.

11.72 €

Droits de l'homme et justice Nana

Brožovaná

14.86 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Rewriting Techniques and Applications

Autor Nachum Dershowitz

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Počet strán 589

EAN 9783540510819

ISBN 3540510818

Libristo kód 02092593

Nakladateľstvo Springer, Berlin

Váha 1036

Rozmery 155 x 233 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Informatika > Teória algoritmov > Matematika pre informatikov

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Algoritmy a dátové štruktúry

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Informatika > Umelá inteligencia