[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Higher-Order Algebra, Logic, and Term Rewriting

Lingua IngleseInglese
Libro In brossura
Libro Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek
Codice Libristo: 05274575
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 1996
This book presents a collection of revised refereed papers selected from the presentations accepted... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

I MIGLIORI
Decline of the West Oswald Spengler / In brossura
common.buy 18.72 €
Histoire d'un casse-noisette Alexandre Dumas Pere / Rigido
common.buy 49.66 €
Wild Seasons Kay Young / In brossura
common.buy 34.46 €
Keyboard spielen - mein schönstes Hobby, Die moderne Keyboardschule, m. Audio-CD. Bd.2 Uwe Bye / Ad anelli
common.buy 58.33 €
Worlds Apart Carl Darryl Malmgren / Rigido
common.buy 30.39 €
Intermediate, Student's Book Craig Thaine / Libro
common.buy 40.13 €
La pianta dei sospiri con alcuni cenni su la vita e su le opere dell'autore Defendente Sacchi / Rigido
common.buy 56.51 €
The Art of the Sale Philip Delves Broughton / In brossura
common.buy 25.89 €
Antéchrista Amélie Nothomb / In brossura
common.buy 7.27 €
Virtue, Vice, and Value Thomas Hurka / In brossura
common.buy 139.57 €
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / In brossura
common.buy 59.83 €
Conducting a group Rossella Marisi / In brossura
common.buy 52.44 €
Trade and Gunboats Steven C. Topik / Rigido
common.buy 188.06 €
Deutsche Geschichte in der Frühen Neuzeit Johannes Burkhardt / In brossura
common.buy 9.62 €
Topology Control in Wireless Ad Hoc and Sensor Networks Paolo Santi / Rigido
common.buy 157.13 €

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.

Informazioni sul libro

Titolo completo Higher-Order Algebra, Logic, and Term Rewriting
Autore Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 296
EAN 9783540612544
ISBN 3540612548
Codice Libristo 05274575
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 950
Dimensioni 155 x 235 x 17

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo