Del 1429 i serien Lecture Notes in Mathematics
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
Häftad, Engelska, 1990
359 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum1990-07-17
- Mått155 x 235 x 10 mm
- Vikt277 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Mathematics
- Antal sidor170
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540527343
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 1250
Stochastic Processes - Mathematics and Physics II
Sergio Albeverio, Philippe Blanchard, Ludwig Streit
Häftad, 1987
499 kr
Del 1402
Nonlinear Hyperbolic Problems
Claude Carasso, Pierre Charrier, Bernard Hanouzet, Jean-Luc Joly
Häftad, 1989
499 kr
Del 1927
Calculus of Variations and Nonlinear Partial Differential Equations
Luigi Ambrosio, Luis A. Caffarelli, Michael G. Crandall, Lawrence C. Evans, Nicola Fusco, Bernard Dacorogna, Paolo Marcellini
Häftad, 2007
709 kr
Del 2299
Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II
Yuichiro Hoshi, Shinichi Mochizuki
Häftad, 2022
429 kr
Del 2070
Probabilistic Group Theory, Combinatorics, and Computing
Alla Detinko, Dane Flannery, Eamonn O'Brien
Häftad, 2013
499 kr
Del 2191
Del 1965
Del 2229
Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
Sebastian Klein
Häftad, 2018
569 kr
Hoppa över listan
Du kanske också är intresserad av
Del 15
Riflessi in uno zaffiro orientale: Diari minimi di viaggi effimeri
Piergiorgio Odifreddi
Häftad, 2018
309 kr
Del 14
Software Security -- Theories and Systems
Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
Häftad, 2003
729 kr
Del 13923
Logic, Language, Information, and Computation
Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
Häftad, 2023
1 049 kr