Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Science Logic Peter G. Clote
Codice Libristo: 01567557
Casa editrice Springer, Berlin, novembre 1999
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Pharmakotherapie am Auge Eugen Gramer / Libro In brossura
common.buy 55.29 €
Maria Werner Charlotte Spaeth / Libro In brossura
common.buy 32.69 €
Mozart's Leben. Aleksandr Dmitrievich Ulybyshev / Libro In brossura
common.buy 26.89 €
EL MALA DE DIOS MOOJI / Libro In brossura
common.buy 18.79 €
Le carnet d'Yann - Lignes, 96p, A5 - Chapeau et N ud papillon / Calendario/Agenda Agenda
common.buy 11.19 €
Doppel-Klick - Das Sprach- und Lesebuch - Nordrhein-Westfalen - 10. Schuljahr Hans J. Heinz / Libro Rigido
common.buy 35.49 €
Transfer Von Erfahrungen Bernd Humpl / Libro In brossura
common.buy 75.29 €

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Science Logic
Autore Peter G. Clote, Helmut Schwichtenberg
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2000
Numero di pagine 550
EAN 9783540678953
ISBN 3540678956
Codice Libristo 01567557
Casa editrice Springer, Berlin
Peso 780
Dimensioni 155 x 235 x 29

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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

Potrebbe interessarti anche

Law of Railways, Including the Consolidation and Other General Acts of Regulating Railways in England and Ireland, with Copious Notes of Decided Cases Leonard Shelford / Libro Rigido
common.buy 44.59 €
Works of Jeremy Bentham, published under his executor, John Bowring. [The General Preface signed John Bowring / Libro In brossura
common.buy 32.79 €
Good Ideas and Power Moves Sin ad O Sullivan / Libro elettronico Adobe ePub DRM
common.buy 17.09 €
If We Burn: The Mass Protest Decade and the Missing Revolution Vincent Bevins / Libro In brossura
common.buy 14.99 €
AngelGoonz / Libro In brossura
common.buy 20.09 €
Seven Days to the Funeral Julia Sherwood / Libro In brossura
common.buy 28.99 €
Beethoven: The String Quartets David Vernon / Libro In brossura
common.buy 16.39 €
Bloody Kisses Mukoro Stevenson Mukoro / Libro In brossura
common.buy 20.79 €
The Romance Of The Sowdone Of Babylon And Of Ferumbras His Son Who Conquered Rome (1881) Thomas Phillipps / Libro In brossura
common.buy 27.89 €
A Room With A View Edward Morgan Forster / Libro In brossura
common.buy 10.69 €
Soul Ties Tammy Henson / Libro In brossura
common.buy 13.19 €
Executive Politics in Times of Crisis M. Lodge / Libro In brossura
common.buy 55.49 €
Very British Revolution Martin Bell / Libro In brossura
common.buy 18.89 €
Popular Religion in Germany and Central Europe, 1400-1800 R Johnson T.R. Sc / Libro In brossura
common.buy 61.89 €
One Discipline, Four Ways Andre Gingrich / Libro In brossura
common.buy 39.59 €
Evolutionary Biology Max K. Hecht / Libro Rigido
common.buy 113.19 €
Actin-Binding Proteins and Disease Cris dos Remedios / Libro In brossura
common.buy 214.29 €
Remote Sensing Siamak Khorram / Libro In brossura
common.buy 53.79 €
In preparazione
Democracy and Communication in the New Europe Farrel Corcoran / Libro Rigido
common.buy 77.99 €
Great Opera Houses: Masterpieces of Architecture Andras Kaldor / Libro Rigido
common.buy 12.09 €
Family Policy and Disability Arie Rimmerman / Libro Rigido
common.buy 150.29 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?