Cantitate/Preț
Produs
Total produse
Vezi coșul
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 de M. Laudet

Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968: Lecture Notes in Mathematics, cartea 125

Editat de M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger
en Limba Engleză Paperback –

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ț: 40635 lei

Puncte Express: 610
Preț estimativ în valută:
7187€ • 8341$ • 6204£

Carte tipărită la comandă

Livrare economică 24 aprilie-08 mai

 Adaugă în coș

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

Specificații

ISBN-13: 9783540049142
ISBN-10: 3540049142
Pagini: 320
Ilustrații: VI, 310 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.45 kg
Ediția:1970
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme de completude selon Herbrand.- Decision procedure for theories categorical in Alefo.- On the long-range prospects of automatic theorem-proving.- The case for using equality axioms in automatic demonstration.- Hilbert's programme and the search for automatic proof procedures.- A linear format for resolution.- Refinement theorems in resolution theory.- Definitional approach to automatic demonstration.- Heuristic interest of using metatheorems.- A proof procedure with matrix reduction.- Axiom systems in automatic theorem proving.- Constructive validity.- Paramodulation and set of support.