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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Lingua IngleseInglese
Libro In brossura
Libro Logic and Computer Science Steven Homer
Codice Libristo: 01565309
Casa editrice Springer, Berlin, novembre 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Descrizione completa
? points 66 b
26.99 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Libro In brossura
common.buy 8.59 €
VOYAGE Daniele Steel / Libro In brossura
common.buy 12.99 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Libro Rigido
common.buy 34.49 €
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / Libro elettronico Adobe ePub DRM
common.buy 3.99 €
Saint Grégoire de Nazianze Alain Durel / Libro In brossura
common.buy 14.09 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Libro In brossura
common.buy 37.29 €

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

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 Logic and Computer Science
Autore Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 170
EAN 9783540527343
ISBN 3540527346
Codice Libristo 01565309
Casa editrice Springer, Berlin
Peso 275
Dimensioni 157 x 237 x 10

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
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

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Libro In brossura
common.buy 235.79 €
Changing Minds Guy Newland / Libro In brossura
common.buy 34.59 €
Punch, or the London Charivari Owen Seaman / Libro In brossura
common.buy 17.09 €
Thirsty Crow Jim Chansler / Libro In brossura
common.buy 12.09 €
New Hemi Engine Swaps: Joe Hinds / Libro In brossura
common.buy 35.59 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Libro In brossura
common.buy 14.69 €
Survivors Alex Schulman / Libro In brossura
common.buy 18.29 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Libro In brossura
common.buy 16.09 €
The Progress of Marine Engineering Thomas Main / Libro In brossura
common.buy 21.49 €
Rainbow Valley Lucy Maud Montgomery / Libro In brossura
common.buy 16.39 €
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Libro In brossura
common.buy 30.89 €
Those Who Call Themselves Jews Philip L Mayo / Libro Rigido
common.buy 49.49 €
God's Boundary Sunday Okoh / Libro In brossura
common.buy 15.29 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Libro In brossura
common.buy 31.79 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Libro Rigido
common.buy 96.99 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Pubblicazioni cartacee Mappa
common.buy 14.69 €
Phonons: Theory and Experiments II Peter Brüesch / Libro In brossura
common.buy 53.79 €
Introduction to Quantitative Finance Stephen Blyth / Libro In brossura
common.buy 65.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?