Könyv 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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
9 697 Ft
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2008
oldal
170
EAN
9783540527343
ISBN
3540527346
Enbook ID
01565309
Súly
275
Méretek
157 x 237 x 10

Teljes leírás

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.

Érdekelheti

Aquaculture Science and Engineering

Balamuralikrishnan Balasubramanian
84 576 Ft

Changing Minds

Guy Newland
12 441 Ft

Thirsty Crow

Jim Chansler
4 349 Ft
12 383 Ft

Survivors

Alex Schulman
6 070 Ft

Rainbow Valley

Lucy Maud Montgomery
5 855 Ft
11 047 Ft
16 279 Ft

God's Boundary

Sunday Okoh
5 658 Ft
19 305 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták