Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Higher-Order Algebra, Logic, and Term Rewriting

First International Workshop, Amsterdam, The Netherlands, September 23-24, 1993. Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Higher-Order Algebra, Logic, and Term Rewriting Jan Heering
Libristo kód: 05274403
Nakladatelství Springer, Berlin, listopad 1993
This volume contains the final revised versions of the best papers presented at the First Internatio... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Semienko súcitu Jeho svätosť dalajláma / Kniha Pevná
common.buy 103 Kč
MEMORIES D'UN VICARI GENERAL DE LA SEU D'URGELL, D CREUS / Kniha Pevná
common.buy 540 Kč
Lettre A Un Depute de Ses Amis, Sur Le Projet de Loi Electorale DESERIN-J-B / Kniha Brožovaná
common.buy 293 Kč
Billy Lafitte - tome 1 Lune noire Anthony Neil Smith / Kniha Brožovaná
common.buy 288 Kč
Dibujo técnico 1º bachillerato Edebé / Kniha Brožovaná
common.buy 1 195 Kč
BROCKHAUSEN Libro da colorare Vol. 3 - Libro da colorare: Dinosauro Dortje Golldack / Kniha Brožovaná
common.buy 279 Kč
Paris Avant l'Histoire BERTHET-E / Kniha Brožovaná
common.buy 628 Kč
Les Avantures de Telemaque Fils d'Ulysse. Tome 1 Francois De Salignac De La Mothe-Fenelon / Kniha Brožovaná
common.buy 812 Kč
Sauerkrautkoma, 6 Audio-CD Rita Falk / Audio Audio CD
common.buy 478 Kč
Naruto 65 Masashi Kishimoto / Kniha Brožovaná
common.buy 170 Kč
Briefe aus Russland Helmuth von Moltke / Kniha Brožovaná
common.buy 863 Kč

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Higher-Order Algebra, Logic, and Term Rewriting
Autor Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1994
Počet stran 351
EAN 9783540582335
ISBN 3540582339
Libristo kód 05274403
Nakladatelství Springer, Berlin
Váha 464
Rozměry 152 x 229 x 19

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

The first sino-japanese war (1894-1895) Jean Sénat Fleury / Kniha Brožovaná
common.buy 949 Kč
Top
Burn Herman Pontzer / Kniha Brožovaná
common.buy 274 Kč
Tensorate Series Neon Yang / Kniha Brožovaná
common.buy 365 Kč
A Treatise on Topographical Anatomy or The Anatomy of the Regions of the Human Body Blandin Philippe Frederic / Kniha Brožovaná
common.buy 576 Kč
Explanatory Notes Upon the Old Testament. By John Wesley, ... of 3; Volume 2 MULTIPLE CONTRIBUTOR / Kniha Pevná
common.buy 1 054 Kč
The Frog and The Lady Donna Webster / Kniha Brožovaná
common.buy 287 Kč
Spelling Mastery Level B, Student Workbooks (Pkg. of 5) Mcgraw-Hill Education / Kniha Brožovaná
common.buy 4 286 Kč
Little Guide to Keanu Reeves Orange Hippo! / Kniha Pevná
common.buy 209 Kč
Americans Sing Latin America 1935-1961 Various / Audio Audio CD
common.buy 784 Kč
Course in General Linguistics Ferdinand de Saussure / Kniha Brožovaná
common.buy 740 Kč
Nanotechnology in Electrocatalysis for Energy Alessandro Lavacchi / Kniha Brožovaná
common.buy 3 734 Kč
Blood Mountain Large Print Joanne Taylor Moore / Kniha Brožovaná
common.buy 403 Kč
Christian Attitudes Toward War and Peace Roland H. Bainton / Kniha Brožovaná
common.buy 659 Kč
Grindhouse Austin Fisher / Kniha Pevná
common.buy 4 563 Kč
How To Draw The Human Figure Mark Bergin / Kniha Brožovaná
common.buy 161 Kč
US Foreign Policy in the 1990s Greg Schmergel / Kniha Brožovaná
common.buy 1 290 Kč
That the People Might Live Jace Weaver / Kniha Brožovaná
common.buy 865 Kč
Viral Fitness Jaap Goudsmit / Kniha Pevná
common.buy 2 265 Kč
Transport Mei-Po Kwan / Kniha Pevná
common.buy 11 041 Kč
Cabanocey BOURGEOIS / Kniha Brožovaná
common.buy 527 Kč
The No Brainer's Guide to Decomposition Cuevas / Kniha Pevná
common.buy 341 Kč
Structural Characteristics of Mechanisms with Variable Topologies Chin-Hsing Kuo / Kniha Brožovaná
common.buy 1 208 Kč
Stories of A Boy's Life Tom McKinnon / Kniha Brožovaná
common.buy 308 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?