Articoli correlati a Logic and Computer Science: Lectures given at the 1st...

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 - Brossura

Homer, Steven; Nerode, Anil

 
9783662180662: 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
Brossura
ISBN 10: 3662180669 ISBN 13: 9783662180662
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662180669
ISBN 13 
9783662180662
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540527343: 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: 1429

Edizione in evidenza

ISBN 10:  3540527346 ISBN 13:  9783540527343
Casa editrice: Springer, 2009
Brossura