Carte 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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
139.45 lei
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2008
Pagini
170
EAN
9783540527343
ISBN
3540527346
Enbook ID
01565309
Greutate
275
Dimensiuni
157 x 237 x 10

Descriere completă

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.

S-ar putea să te intereseze

Aquaculture Science and Engineering

Balamuralikrishnan Balasubramanian
1 215.34 lei

Changing Minds

Guy Newland
178.38 lei
88.27 lei

Thirsty Crow

Jim Chansler
62.29 lei
183.43 lei

Survivors

Alex Schulman
89.89 lei

Rainbow Valley

Lucy Maud Montgomery
84.43 lei
159.17 lei
227.02 lei

God's Boundary

Sunday Okoh
81.70 lei
277.38 lei

Clienții care au cumpărat această carte au mai cumpărat și