Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de 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: Lecture Notes in Mathematics, cartea 1429

Autor Steven Homer Editat de Piergiorgio Odifreddi Autor Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
en Limba Engleză Paperback – 17 iul 1990
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.
Citește tot Restrânge

Din seria Lecture Notes in Mathematics

  • 17% Model Order Reduction and Applications: Cetraro, Italy 2021
    Preț: 38973 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 34060 lei
  • CAT(0) Cube Complexes: An Introduction
    Preț: 42999 lei
  • Representations of SU(2,1) in Fourier Term Modules
    Preț: 43015 lei
  • Compactifying Moduli Spaces for Abelian Varieties
    Preț: 37484 lei
  • A Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
    Preț: 31387 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 34675 lei
  • The p-adic Simpson Correspondence and Hodge-Tate Local Systems
    Preț: 48006 lei
  • Probability and Analysis: Held at Varenna (Como); Italy, May, 31 - June 8, 1985
    Preț: 40487 lei
  • Bifurcation Theory and Applications: Lectures Given at the 2nd 1983 Session of the Centro Internationale Mathematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 24-July 2, 1983
    Preț: 31349 lei
  • Hydrodynamic Limits of the Boltzmann Equation
    Preț: 43341 lei
  • 15% Commutative Algebra and its Interactions to Algebraic Geometry
    Preț: 42492 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 33706 lei
  • Zeta Integrals, Schwartz Spaces and Local Functional Equations
    Preț: 33437 lei
  • Harmonic Mappings and Minimal Immersion: Lectures given at the 1st 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Montecatini, Italy, June 24-July 3, 1984
    Preț: 40524 lei
  • Generalized B*-Algebras and Applications
    Preț: 29915 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41174 lei
  • Kinetic Theories and the Boltzmann Equation: Lectures given at the 1st 1981 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini, Italy, June 10-18, 1981
    Preț: 31364 lei
  • Mathematical Economics: Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 25 - July 3, 1986
    Preț: 26414 lei
  • Seminaire de Probabilites XXI
    Preț: 38930 lei
  • Multiscale Problems in the Life Sciences
    Preț: 37768 lei
  • Unbounded Weighted Composition Operators in L²-Spaces
    Preț: 33698 lei
  • Mathematical Theory of Feynman Path Integrals
    Preț: 30483 lei
  • Partial Differential Equations: Proceedings of a Symposium held in Tianjin, June 23 - July 5, 1986
    Preț: 31678 lei
  • Séminaire de Probabilités IV: Université de Strasbourg. 1970
    Preț: 31567 lei
  • Series of Bessel and Kummer-Type Functions
    Preț: 37054 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 40787 lei
  • Buildings and the Geometry of Diagrams: Lectures given at the 3rd 1984 Session of the Centro Inter- nazionale Matematico Estivo (C.I.M.E.) held at Como, Italy, August 26 - September 4, 1984
    Preț: 46894 lei
  • Büchi’s Monadic Second Order Successor Arithmetic
    Preț: 33543 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 31349 lei
  • Numerical Methods in Fluid Dynamics: Lectures given at the 3rd 1983 Session of the Centro Internationale Matematico Estivo (CIME) held at Como, Italy, July 7-15, 1983
    Preț: 31881 lei
  • Schrödinger Operators, Como 1984: Lectures given at the 2nd 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Como, Italy, Aug.26- Sept.4, 1984
    Preț: 31587 lei
  • Random Obstacle Problems
    Preț: 33580 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39284 lei
  • Complete Intersections: Lectures Given at the 1st 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) Held at Acireale (Catania), Italy, June 13-21, 1983
    Preț: 40597 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32253 lei
  • Spear Operators Between Banach Spaces
    Preț: 33629 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 40619 lei
  • Mixed Finite Elements, Compatibility Conditions, and Applications
    Preț: 40436 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41084 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 33589 lei
  • Semi-Classical Analysis for the Schrödinger Operator and Applications
    Preț: 26210 lei
  • Numerical Analysis and Parallel Processing
    Preț: 37393 lei
  • Singularities in Linear Wave Propagation
    Preț: 26284 lei
  • Problems in Nonlinear Diffusion: Lectures given at the 2nd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10 - June 18, 1985
    Preț: 26656 lei
  • Inverse Problems: Lectures Given at the 1st 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, May 28-June 5, 1986
    Preț: 46487 lei
  • Relational Topology
    Preț: 36961 lei
  • An Index and Other Useful Information
    Preț: 36044 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 48567 lei
  • Theory of Moduli: Lectures given at the 3rd 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 21-29, 1985
    Preț: 46654 lei

Preț: 26525 lei

Puncte Express: 398
Preț estimativ în valută:
4691€ • 5433$ • 4073£

Carte tipărită la comandă

Livrare economică 21 aprilie-05 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540527343
ISBN-10: 3540527346
Pagini: 176
Ilustrații: VI, 170 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.25 kg
Ediția:1990
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Mathematics, C.I.M.E. Foundation Subseries

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.