phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Higher-Order Algebra, Logic, and Term Rewriting

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek
Libristo kód: 05274575
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 1996
This book presents a collection of revised refereed papers selected from the presentations accepted... Celý popis
? points 154 b
61.56 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Decline of the West Oswald Spengler / Brožovaná
common.buy 15.56 €
Histoire d'un casse-noisette Alexandre Dumas Pere / Pevná
common.buy 42.15 €
Wild Seasons Kay Young / Brožovaná
common.buy 29.21 €
Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye / Krúžková
common.buy 51.55 €
Intermediate, Student's Book Craig Thaine / Kniha
common.buy 35.58 €
Worlds Apart Carl Darryl Malmgren / Pevná
common.buy 25.87 €
La pianta dei sospiri con alcuni cenni su la vita e su le opere dell'autore Defendente Sacchi / Pevná
common.buy 48.01 €
Antéchrista Amélie Nothomb / Brožovaná
common.buy 6.06 €
The Art of the Sale Philip Delves Broughton / Brožovaná
common.buy 19.10 €
Virtue, Vice, and Value Thomas Hurka / Brožovaná
common.buy 118.68 €
Conducting a group Rossella Marisi / Brožovaná
common.buy 41.95 €
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / Brožovaná
common.buy 50.64 €
Trade and Gunboats Steven C. Topik / Pevná
common.buy 159.52 €
Deutsche Geschichte in der Frühen Neuzeit Johannes Burkhardt / Brožovaná
common.buy 8.48 €
Topology Control in Wireless Ad Hoc and Sensor Networks Paolo Santi / Pevná
common.buy 132.63 €

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

Informácie o knihe

Celý názov Higher-Order Algebra, Logic, and Term Rewriting
Autor Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1996
Počet strán 296
EAN 9783540612544
ISBN 3540612548
Libristo kód 05274575
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 950
Rozmery 155 x 235 x 17

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet