phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Higher-Order Algebra, Logic, and Term Rewriting

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek
Libristo kod: 05274575
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 1996
This book presents a collection of revised refereed papers selected from the presentations accepted... Cijeli opis
? points 154 b
61.44 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Decline of the West Oswald Spengler / Meki uvez
common.buy 15.53 €
Histoire d'un casse-noisette Alexandre Dumas Pere / Tvrdi uvez
common.buy 42.06 €
Wild Seasons Kay Young / Meki uvez
common.buy 29.15 €
Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye / Spiralni uvez
common.buy 51.45 €
Worlds Apart Carl Darryl Malmgren / Tvrdi uvez
common.buy 25.82 €
Intermediate, Student's Book Craig Thaine / Knjiga
common.buy 35.51 €
La pianta dei sospiri con alcuni cenni su la vita e su le opere dell'autore Defendente Sacchi / Tvrdi uvez
common.buy 47.92 €
The Art of the Sale Philip Delves Broughton / Meki uvez
common.buy 21.68 €
Antéchrista Amélie Nothomb / Meki uvez
common.buy 6.45 €
Virtue, Vice, and Value Thomas Hurka / Meki uvez
common.buy 118.44 €
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / Meki uvez
common.buy 50.54 €
Conducting a group Rossella Marisi / Meki uvez
common.buy 44.08 €
Trade and Gunboats Steven C. Topik / Tvrdi uvez
common.buy 159.21 €
Deutsche Geschichte in der Frühen Neuzeit Johannes Burkhardt / Meki uvez
common.buy 8.47 €
Topology Control in Wireless Ad Hoc and Sensor Networks Paolo Santi / Tvrdi uvez
common.buy 132.37 €

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.

Informacije o knjizi

Puni naziv Higher-Order Algebra, Logic, and Term Rewriting
Autor Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 296
EAN 9783540612544
ISBN 3540612548
Libristo kod 05274575
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 950
Dimenzije 155 x 235 x 17

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun