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
369 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
509 kr
Del 1402
Nonlinear Hyperbolic Problems
Claude Carasso, Pierre Charrier, Bernard Hanouzet, Jean-Luc Joly
Häftad, 1989
509 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
719 kr
Del 2299
Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II
Yuichiro Hoshi, Shinichi Mochizuki
Häftad, 2022
799 kr
Del 2070
Probabilistic Group Theory, Combinatorics, and Computing
Alla Detinko, Dane Flannery, Eamonn O'Brien
Häftad, 2013
509 kr
Del 2191
Del 1965
Del 2229
Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
Sebastian Klein
Häftad, 2018
579 kr
Hoppa över listan
Du kanske också är intresserad av
Del 1429
Del 1429
Evolution in Signal Processing and Telecommunication Networks
Vikrant Bhateja, Anagha Bhattacharya, Sarika Shrivastava
Inbunden, 2026
4 009 kr
Del 1429
Information Technology in Biomedicine
Ewa Pietka, Pawel Badura, Jacek Kawa, Wojciech Wieclawek
Häftad, 2022
3 389 kr
Del 1429
Del 1429
Torsionsschwingungen im An- und Abtrieb von Viergelenkgetrieben
Walther Meyer zur Capellen
Häftad, 1965
1 079 kr
Del 1429
Innovation and Research – Smart Technologies and Systems
Marcelo Zambrano Vizuete, Miguel Botto Tobar, Sonia Casillas Martín, Gabriel Gomes de Oliveira, Benjamin Durakovic
Häftad, 2025
2 859 kr