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

  • 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
  • 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
    Preț: 27608 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ț: 42244 lei

Nou

Puncte Express: 634
Preț estimativ în valută:
8087€ • 8322$ • 6817£

Carte tipărită la comandă

Livrare economică 28 februarie-14 martie

 Adaugă în coș

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

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.