Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Higher-Order Algebra, Logic, and Term Rewriting

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

Język AngielskiAngielski
Książka Miękka
Książka Higher-Order Algebra, Logic, and Term Rewriting Jan Heering
Kod Libristo: 05274403
Wydawnictwo Springer, Berlin, listopad 1993
This volume contains the final revised versions of the best papers presented at the First Internatio... Cały opis
? points 125 b
221.95 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Semienko súcitu Jeho svätosť dalajláma / Książka Twarda
common.buy 20.74 zł
MEMORIES D'UN VICARI GENERAL DE LA SEU D'URGELL, D CREUS / Książka Twarda
common.buy 105.68 zł
Lettre A Un Depute de Ses Amis, Sur Le Projet de Loi Electorale DESERIN-J-B / Książka Miękka
common.buy 54.72 zł
Billy Lafitte - tome 1 Lune noire Anthony Neil Smith / Książka Miękka
common.buy 51.16 zł
Dibujo técnico 1º bachillerato Edebé / Książka Miękka
common.buy 234.77 zł
BROCKHAUSEN Libro da colorare Vol. 3 - Libro da colorare: Dinosauro Dortje Golldack / Książka Miękka
common.buy 52.17 zł
Paris Avant l'Histoire BERTHET-E / Książka Miękka
common.buy 116.97 zł
Les Avantures de Telemaque Fils d'Ulysse. Tome 1 Francois De Salignac De La Mothe-Fenelon / Książka Miękka
common.buy 151.05 zł
Sauerkrautkoma, 6 Audio-CD Rita Falk / Audio CD Audio
common.buy 84.83 zł
Naruto 65 Masashi Kishimoto / Książka Miękka
common.buy 31.42 zł
Briefe aus Russland Helmuth von Moltke / Książka Miękka
common.buy 153.18 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Higher-Order Algebra, Logic, and Term Rewriting
Autor Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Język Angielski
Oprawa Książka - Miękka
Data wydania 1994
Liczba stron 351
EAN 9783540582335
ISBN 3540582339
Kod Libristo 05274403
Wydawnictwo Springer, Berlin
Waga 464
Wymiary 152 x 229 x 19

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

The first sino-japanese war (1894-1895) Jean Sénat Fleury / Książka Miękka
common.buy 168.44 zł
TOP
Burn Herman Pontzer / Książka Miękka
common.buy 48.61 zł
Tensorate Series Neon Yang / Książka Miękka
common.buy 74.25 zł
A Treatise on Topographical Anatomy or The Anatomy of the Regions of the Human Body Blandin Philippe Frederic / Książka Miękka
common.buy 107.61 zł
Explanatory Notes Upon the Old Testament. By John Wesley, ... of 3; Volume 2 MULTIPLE CONTRIBUTOR / Książka Twarda
common.buy 196.72 zł
The Frog and The Lady Donna Webster / Książka Miękka
common.buy 53.80 zł
Little Guide to Keanu Reeves Orange Hippo! / Książka Twarda
common.buy 32.85 zł
Americans Sing Latin America 1935-1961 Various / Audio CD Audio
common.buy 139.15 zł
Course in General Linguistics Ferdinand de Saussure / Książka Miękka
common.buy 131.42 zł
Nanotechnology in Electrocatalysis for Energy Alessandro Lavacchi / Książka Miękka
common.buy 663.01 zł
Blood Mountain Large Print Joanne Taylor Moore / Książka Miękka
common.buy 75.26 zł
Christian Attitudes Toward War and Peace Roland H. Bainton / Książka Miękka
common.buy 124.60 zł
Grindhouse Austin Fisher / Książka Twarda
common.buy 810.21 zł
How To Draw The Human Figure Mark Bergin / Książka Miękka
common.buy 32.85 zł
US Foreign Policy in the 1990s Greg Schmergel / Książka Miękka
common.buy 229.07 zł
That the People Might Live Jace Weaver / Książka Miękka
common.buy 227.75 zł
Viral Fitness Jaap Goudsmit / Książka Twarda
common.buy 472.69 zł
Transport Mei-Po Kwan / Książka Twarda
common.buy 2 063.53 zł
Cabanocey BOURGEOIS / Książka Miękka
common.buy 98.76 zł
The No Brainer's Guide to Decomposition Cuevas / Książka Twarda
common.buy 64.58 zł
Structural Characteristics of Mechanisms with Variable Topologies Chin-Hsing Kuo / Książka Miękka
common.buy 214.52 zł
Stories of A Boy's Life Tom McKinnon / Książka Miękka
common.buy 50.75 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?