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ț: 37627 lei
  • A Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation
    Preț: 31508 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 34810 lei
  • The p-adic Simpson Correspondence and Hodge-Tate Local Systems
    Preț: 48495 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 41174 lei
  • Hydrodynamic Limits of the Boltzmann Equation
    Preț: 43508 lei
  • 15% Séminaire de Probabilités LII
    Preț: 48781 lei
  • 15% Commutative Algebra and its Interactions to Algebraic Geometry
    Preț: 42492 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 40787 lei
  • Zeta Integrals, Schwartz Spaces and Local Functional Equations
    Preț: 33564 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 33706 lei
  • Generalized B*-Algebras and Applications
    Preț: 29915 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
  • 15% Stochastic Geometry: Percolation, Tesselations, Gaussian Fields and Point Processes
    Preț: 47790 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
  • Unbounded Weighted Composition Operators in L²-Spaces
    Preț: 33827 lei
  • 15% Statistical Optimal Transport
    Preț: 45204 lei
  • 15% Analytic Methods of Spectral Representations of Non-Selfadjoint (Non-Unitary) Operators
    Preț: 57368 lei
  • 15% Ideal Theory of Commutative Rings and Monoids
    Preț: 47994 lei
  • Fluid Dynamics: Lectures given at the 3rd 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.). Held at Varenna, Italy, August 22 - September 1, 1982
    Preț: 17734 lei
  • Series of Bessel and Kummer-Type Functions
    Preț: 37197 lei
  • Theory of Traces and the Divergence Theorem
    Preț: 46255 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
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 31349 lei
  • Büchi’s Monadic Second Order Successor Arithmetic
    Preț: 33543 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 39284 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
  • 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
  • Random Obstacle Problems
    Preț: 33707 lei
  • Probability and Analysis: Held at Varenna (Como); Italy, May, 31 - June 8, 1985
    Preț: 40487 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 32253 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 40619 lei
  • Spear Operators Between Banach Spaces
    Preț: 33757 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 41084 lei
  • Mixed Finite Elements, Compatibility Conditions, and Applications
    Preț: 40436 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
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 33589 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
  • Numerical Analysis and Parallel Processing
    Preț: 37393 lei
  • Mathematical Theory of Feynman Path Integrals
    Preț: 30599 lei
  • 15% Fast Computation of Volume Potentials by Approximate Approximations
    Preț: 47914 lei
  • Relational Topology
    Preț: 37103 lei
  • 20% Variational and PDE Methods in Nonlinear Science
    Preț: 45568 lei
  • 15% Ergodic Theory and Dynamical Systems in their Interactions with Arithmetics and Combinatorics
    Preț: 46367 lei
  • Séminaire de Probabilités IV: Université de Strasbourg. 1970
    Preț: 31567 lei
  • The Spectral Theorem
    Preț: 26216 lei

Preț: 26525 lei

Puncte Express: 398

Carte tipărită la comandă

Livrare economică 31 iulie-14 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 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.