Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
576
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2008
Stránek
170
EAN
9783540527343
ISBN
3540527346
Enbook ID
01565309
Vydavatel
Hmotnost
275
Rozměry
157 x 237 x 10

Kompletní popis

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.

Mohlo by vás zajímat

Aquaculture Science and Engineering

Balamuralikrishnan Balasubramanian
5 023

Changing Minds

Guy Newland
732

Thirsty Crow

Jim Chansler
256
739

Survivors

Alex Schulman
414

Rainbow Valley

Lucy Maud Montgomery
351
665
980

God's Boundary

Sunday Okoh
342
1 147

Zákaznicí kteří koupili tuto knihu koupili také