Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Reduktionssysteme

Abstrakte Reduktionssysteme, Wortersetzungssysteme und Termersetzungssysteme

Língua AlemãoAlemão
Livro Capa mole
Livro Reduktionssysteme J. Avenhaus
Código Libristo: 06809239
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, março 1995
Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierte... Descrição completa
? points 112 b
46.13 €
Armazenamento externo Envio em 8-11 dias

Política de devolução de 30 dias

Os clientes também compraram

Artificial Intelligence in Medicine Steen Andreassen / Livro Capa mole
common.buy 46.03 €
Mystical Musings: A Collection of Poetry Dr Robert Kenneth Wheeler Jr / Livro Capa mole
common.buy 10.31 €
Critique of Ayn Rand's Philosophy of Religion Dustin J. Byrd / Livro Capa mole
common.buy 51.29 €
Principal
Berserk Deluxe Volume 1 Kentaro Miura / Livro Livro de capa dura
common.buy 30.85 €
Hope of Israel; What Is It? Philip Mauro / Livro Livro de capa dura
common.buy 25.39 €
Método TED para hablar en público JEREMY DONOVAN / Livro Capa mole
common.buy 16.28 €
The First-Date Dilemma Jane B Mason / Livro Livro de capa dura
common.buy 17.09 €
Aprender a vivir con niños Rebeca Wild / Livro Capa mole
common.buy 25.08 €
Puss-In-Boots (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Livro Capa mole
common.buy 31.56 €
#BossMoms: The Inspirational Guide for Mompreneurs on Building Your Empire and Managing Your Family with No Regrets Deletra Deletra Hudson / Livro Capa mole
common.buy 25.08 €
52 Things Mary Wants James To Know: A Different Way To Say It Levy / Livro Capa mole
common.buy 14.66 €
Chicago's Seasons Christopher Viau / Livro Capa mole
common.buy 8.99 €
The Travels of Marco Polo: The Venetian Ben Jonson / Livro Capa mole
common.buy 35.91 €
Koningsmarke; Or, Old Times in the New World, in Two Volumes, Vol. I JAMES KIRKE PAULDING / Livro Capa mole
common.buy 20.33 €
Let's Improve our Russian N. Volkova / Livro Capa mole
common.buy 26.30 €
Económico
Cheerfulness as a Life Power Orison Swett Marden / Livro Capa mole
common.buy 3.83 €
Principal
We All Go Travelling By Sheena Roberts / Livro Capa mole
common.buy 7.58 €
Pravidla randění Penelope Ward / Livro Livro de capa dura
common.buy 14.46 €
Principal
WYRD SISTERS ZABALA CASEY / Livro Capa mole
common.buy 16.99 €
Uno sguardo alla storia della pedagogia della scrittura in seconda lingua Tahmineh Khalili / Livro Capa mole
common.buy 28.32 €
Opuestos: Mexican Folk Art Opposites in English and Spanish / Livro Capa mole
common.buy 7.98 €
Kiss Curse Erin Sterling / Livro Capa mole
common.buy 12.43 €
Em breve
Treaty Series 3009 (English/French Edition) United Nations Office of Legal Affairs / Livro Capa mole
common.buy 39.04 €
Salesforce B2C Solution Architect's Handbook Mike King / Livro Capa mole
common.buy 60.19 €

Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einführung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollständigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit grundlegender Eigenschaften.§Das Buch eignet sich für eine Vorlesung im Informatik-Hauptstudium. Durch Beispiele und Übungsaufgaben wird die anschauliche, übersichtliche Darstellung abgerundet.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Reduktionssysteme
Autor J. Avenhaus
Língua Alemão
Encadernação Livro - Capa mole
Data de emissão 1995
Número de páginas 261
EAN 9783540585596
ISBN 3540585591
Código Libristo 06809239
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 410
Dimensões 155 x 235 x 14

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 > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Sistemas operativos
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Zirkuskind John Irving / Livro Capa mole
common.buy 14.36 €
Komplexe Baumaßnahmen im Straßen- und Tiefbau Emanuel Berk / Livro Capa mole
common.buy 42.18 €
Katzen Bruno Morandi / Livro Livro de capa dura
common.buy 11.93 €
18 UEbungen des Taiji-Qigong by Gabi Philippsen Stefan Wahle / Livro Capa mole
common.buy 15.87 €
Reprise Moby / Vídeo Blu-ray
common.buy 28.72 €
Papst Julius vor der Himmelstür. Julius exclusus e coelis Erasmus von Rotterdam / Livro Capa mole
common.buy 13.75 €
Johannes de Tepla, Civis Zacensis, Epistola Cum Libello Ackerman Und Das Buchlein Ackerman. Band 1 Karl Bertau / Livro Livro de capa dura
common.buy 106.73 €
Em breve
Putins Netz - Wie sich der KGB Russland zurückholte und dann den Westen ins Auge fasste Catherine Belton / Livro Capa mole
common.buy 11.93 €
Möglichkeiten und Grenzen der Gewinnthesaurierung im Konzern. Jürgen Frodermann / Livro Capa mole
common.buy 50.28 €
Die Straßengäng (Band 3) - Hochmut kommt vor der Falle Simona M. Ceccarelli / Livro Livro de capa dura
common.buy 8.79 €
Wortspiele Dagmar Scholz / Livro Capa mole
common.buy 5.05 €
Begegnungen Mit Einstein, Von Laue Und Planck Ilse Rosenthal-Schneider / Livro Capa mole
common.buy 60.19 €
VW Bus Ken Cservenka / Livro Capa mole
common.buy 10.21 €
Careera Extrema Jake Maddox / Livro Capa mole
common.buy 6.26 €
Nursery Rhymes Posters Book for Toddler Steven Mark Steven / Livro Capa mole
common.buy 5.66 €
La Bible manga, volume 3 : les messagers KUMAI Livro Capa mole
common.buy 14.05 €
La Blessure Hervé Ghesquière / Livro Capa mole
common.buy 18.00 €
Barbazo Cahier d'Algo Mathématiques terminales spécialité - Ed. 2020 Eric Barbazo / Livro Livro de capa dura
common.buy 9.70 €
Katalog Hosty Robert Gabarkiewicz / Livro Capa mole
common.buy 9.20 €
Rodinná Biblia Sally Ann Wrightová / Livro Livro de capa dura
common.buy 24.47 €
Willow's Wonders: New School Blues Tyrus Goshay / Livro Capa mole
common.buy 11.73 €
Preston Lee's Beginner English Lesson 61 - 80 for Persian Speakers Matthew Preston / Livro Capa mole
common.buy 8.89 €
Skulpturen 2002--1993 Werner Ignaz Jans / Livro Livro de capa dura
common.buy 45.62 €
Media, Modernity and Technology David Morley / Livro Capa mole
common.buy 51.69 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo