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

Puncte Express: 610

Carte tipărită la comandă

Livrare economică 11-25 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs 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: 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.