Von dem Buch Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m ) Held at Montecatini Terme, Italy, June 20-28, 1988 (Springer Series in Surface Sciences) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Steven Homer, Collaboratore: Anil Nerode, Collaboratore: Richard A. Platek, Collaboratore: Gerald E. Sacks, Collaboratore: Andre Scedrov: Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m ) Held at Montecatini Terme, Italy, June 20-28, 1988 (Springer Series in Surface Sciences) (ISBN: 9783540527343) in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
59%: Steven Homer; Piergiorgio Odifreddi; Anil Nerode; Richard A. Platek; Gerald E. Sacks; Andre Scedrov: Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M ) held at Montecatini Terme, Italy, June 20-28, 1988 (ISBN: 9783540471356) 1988, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Logic and Computer Science: Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.i.m ) Held at Montecatini Terme, Italy, June 20-28, 1988 (Springer Series in Surface Sciences)
9 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2017 | 2021 |
|---|---|---|---|---|---|
| Schnitt | € 18,66 | € 28,93 | € 30,24 | € 26,49 | € 26,70 |
| Nachfrage |
1
Logic and Computer Science 1988: 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 (Paperback) (1990)
DE PB NW RPISBN: 9783540527343 bzw. 3540527346, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.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.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.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.
2
Logic and Computer Science (1990)
DE PB NW RPISBN: 9783540527343 bzw. 3540527346, in Deutsch, Springer Jul 1990, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 170 pp. Englisch.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 170 pp. Englisch.
3
Logic and Computer Science (1988)
~EN PB NWISBN: 9783540527343 bzw. 3540527346, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
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. Soft cover.
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. Soft cover.
4
Logic and Computer Science (1988)
~EN NW EB DLISBN: 9783540471356 bzw. 3540471359, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
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. eBook.
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. eBook.
5
Logic and Computer Science
DE NWISBN: 9783540527343 bzw. 3540527346, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
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 C. I. M. E. Foundation Subseries. 1990. Auflage, 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 C. I. M. E. Foundation Subseries. 1990. Auflage.
7
Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi (Editor)
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M ) held at Montecatini Terme, . Mathematics / C.I.M Foundation Subseries) (1990)
DE PB NWISBN: 9783540527343 bzw. 3540527346, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, ExtremelyReliable [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
8
Logic and Computer Science
DE NW EBISBN: 9783540471356 bzw. 3540471359, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
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 (1988)
EN NW EB DLISBN: 9783540471356 bzw. 3540471359, in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
Lade…