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
275 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Logic and Computer Science
Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi
E-bok
2006364 kr
Hoppa över listan
Mer från samma serie
Del 1144
Del 2166
Ricci Flow and Geometric Applications
Michel Boileau, Gerard Besson, Carlo Sinestrari, Gang Tian, Riccardo Benedetti, Carlo Mantegazza
Häftad, 2016
382 kr
Del 1370
Algebraic Topology
Gunnar Carlsson, Ralph Cohen, Haynes R. Miller, Douglas C. Ravenel
Häftad, 1989
543 kr
Del 1578
Forward-Backward Stochastic Differential Equations and their Applications
Jin Ma, Jiongmin Yong
Häftad, 1999
651 kr
Del 1730
Foundations of Quantization for Probability Distributions
Siegfried Graf, Harald Luschgy
Häftad, 2000
651 kr
Del 542
Cech and Steenrod Homotopy Theories with Applications to Geometric Topology
D. A. Edwards, H. M. Hastings
Häftad, 1976
436 kr
Del 1659
Del 1241
Hoppa över listan
Du kanske också är intresserad av
Del 1429
Logic and Computer Science
Andre Scedrov, Gerald E. Sacks, Richard A. Platek, Anil Nerode, Steven Homer, Piergiorgio Odifreddi
E-bok
2006364 kr
Del 61