Książka Logic and Computer Science Steven Homer

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
106.60
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2008
strony
170
EAN
9783540527343
ISBN
3540527346
Enbook ID
01565309
Waga
275
Wymiary
157 x 237 x 10

Pełny opis

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.

Możesz być zainteresowany

Aquaculture Science and Engineering

Balamuralikrishnan Balasubramanian
929.42

Changing Minds

Guy Newland
135.98
67.89

Thirsty Crow

Jim Chansler
47.56
138.70

Survivors

Alex Schulman
72.46

Rainbow Valley

Lucy Maud Montgomery
64.68
122.45
171.48

God's Boundary

Sunday Okoh
62.83
212.24

Klienci, którzy kupili tę książkę, kupili również