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

  • Convex Geometry: Cetraro, Italy 2021
    Preț: 45992 lei
  • The Essence of Numbers
    Preț: 12141 lei
  • 17% Model Order Reduction and Applications: Cetraro, Italy 2021
    Preț: 36042 lei
  • Computational Synthetic Geometry
    Preț: 17568 lei
  • Introduction to Grothendieck Duality Theory
    Preț: 19700 lei
  • Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University
    Preț: 27976 lei
  • Open Quantum Systems I: The Hamiltonian Approach
    Preț: 47765 lei
  • 17% The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type
    Preț: 36188 lei
  • The Dynamics of Nonlinear Reaction-Diffusion Equations with Small Lévy Noise
    Preț: 25237 lei
  • Conformal Symmetry Breaking Operators for Differential Forms on Spheres
    Preț: 35399 lei
  • Metrical and Dynamical Aspects in Complex Analysis
    Preț: 13888 lei
  • Geometrical Themes Inspired by the N-body Problem
    Preț: 15261 lei
  • Open Conformal Systems and Perturbations of Transfer Operators
    Preț: 11667 lei
  • Generic Coarse Geometry of Leaves
    Preț: 10277 lei
  • Symmetry Breaking for Representations of Rank One Orthogonal Groups II
    Preț: 11902 lei
  • 17% Arakelov Geometry and Diophantine Applications
    Preț: 36552 lei
  • Equivariant Cohomology of Configuration Spaces Mod 2: The State of the Art
    Preț: 39675 lei
  • 17% Generalized B*-Algebras and Applications
    Preț: 36212 lei
  • Topics Surrounding the Combinatorial Anabelian Geometry of Hyperbolic Curves II: Tripods and Combinatorial Cuspidalization
    Preț: 39611 lei
  • The Cohomology of Commutative Semigroups: An Overview
    Preț: 35778 lei
  • 17% Decomposition of Jacobians by Prym Varieties
    Preț: 36231 lei
  • Mathematics Going Forward: Collected Mathematical Brushstrokes
    Preț: 40380 lei
  • 17% p-adic Banach Space Representations: With Applications to Principal Series
    Preț: 36170 lei
  • Geometric Aspects of Functional Analysis: Israel Seminar (GAFA) 2020-2022
    Preț: 49987 lei
  • An Invitation to Coarse Groups
    Preț: 45703 lei
  • Tulane University Ring and Operator Theory Year, 1970-1971: Vol. 2: Lectures on Operator Algebras
    Preț: 39590 lei
  • Critical Point Theory and Submanifold Geometry
    Preț: 48757 lei
  • Ecole d'Ete de Probabilites de Saint Flour XIV, 1984
    Preț: 42401 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ț: 48757 lei
  • Combinatorial Optimization: Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Como, Italy, August 25 - September 2, 1986
    Preț: 33055 lei
  • Complex Analysis and Algebraic Geometry: Proceedings of a Conference, Held in Göttingen, June 25 - July 2, 1985
    Preț: 32575 lei
  • Algebraic Topology. Göttingen 1984: Proceedings of a Conference held in Göttingen, November 9-15, 1984
    Preț: 35030 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ț: 33131 lei
  • Séminaire de Probabilités XX 1984/85: Proceedings
    Preț: 40837 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ț: 32825 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ț: 42128 lei
  • Transformation Groups and Algebraic K-Theory
    Preț: 42460 lei
  • Algebraic Topology and Transformation Groups: Proceedings of a Conference held in Göttingen, FRG, August 23-29, 1987
    Preț: 42205 lei
  • Topology and Geometry - Rohlin Seminar
    Preț: 50501 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ț: 42205 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ț: 27493 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XII, 1982
    Preț: 33516 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XIII, 1983
    Preț: 42227 lei
  • Ecole d'Ete de Probabilites de Saint-Flour XV-XVII, 1985-87
    Preț: 49749 lei
  • Semi-Classical Analysis for the Schrödinger Operator and Applications
    Preț: 27281 lei
  • Séminaire de Probabilités XVIII 1982/83: Proceedings
    Preț: 42804 lei
  • An Index and Other Useful Information
    Preț: 37622 lei
  • Seminaire de Probabilites XIX 1983/84: Proceedings
    Preț: 42710 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ț: 32592 lei

Preț: 27608 lei

Nou

Puncte Express: 414
Preț estimativ în valută:
5284€ • 5446$ • 4461£

Carte tipărită la comandă

Livrare economică 04-18 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

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.