proof

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Année de parution (66)
Effacer ce filtre
État de parution (6)
Effacer ce filtre
Plus de filtres
Langue (7)
Effacer ce filtre
Plus de filtres
Thème (245)
Effacer ce filtre
Plus de filtres

Support (4)
Effacer ce filtre
Plus de filtres
Auteur
Effacer ce filtre
Trier par...
Pertinence
Date de parution
Auteur
Titre
Prix

Recherche sur proof :

Nous trouvons 7705 ouvrages correspondant à proof
Afficher uniquement les ouvrages parus ces 3 dernières années.

en 1.4064691 s.
 1  2  3  4  5  ...  386  Suivant > 
Résultats par page : 
 
  1. Couverture de l'ouvrage Reductive logic and proof-search proof theory, semantics, and control
    Langue : Anglais
    04-2004226 p.16.2x24.2 cm
    This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic...
    Sous réserve de disponibilité chez l'éditeur.
    Relié 169,76 € Ajouter au panier
  2. Couverture de l'ouvrage The proof is in the pudding: the changing nature of mathematical proof (hardback)
    Auteur : Krantz Steven G.
    Langue : Anglais
    08-2016Imprimé à la demande264 p.17.8x25.4 cm
    Krantz takes the reader on a journey around the globe and through centuries of history , exploring the many transformations that mathematical proof has undergone from its inception at the...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 36,91 € Ajouter au panier
  3. Couverture de l'ouvrage The proof is in the pudding: the changing nature of mathematical proof (hardback)
    Auteur : Krantz Steven G.
    Langue : Anglais
    05-2011256 p.17.8x25.4 cm
    Krantz takes the reader on a journey around the globe and through centuries of history , exploring the many transformations that mathematical proof has undergone from its inception at the...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Relié Prix indicatif 36,91 € Ajouter au panier
  4. Couverture de l'ouvrage Proof Theory
    Langue : Anglais
    01-2008320 p.15.1x22.8 cm
    The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged...
    Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
    Broché Prix indicatif 39,94 € Ajouter au panier
  5. Couverture de l'ouvrage The kepler conjecture: the hales-ferguson proof (paperback)
    Langue : Anglais
    11-201115.5x23.5 cm
    The Kepler conjecture, one of geometry's oldest unsolved problems, was formulated in 1611 by Johannes Kepler and mentioned by Hilbert in his famous 1900 problem list. The Kepler conjecture states...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 89,66 € Ajouter au panier
  6. Couverture de l'ouvrage Proof theory - bound
    Langue : Anglais
    02-1993316 p.15.2x22.9 cm
    The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged...
    Sous réserve de disponibilité chez l'éditeur.
    Relié Prix indicatif 130,70 € Ajouter au panier
  7. Couverture de l'ouvrage Proof Patterns
    Auteur : Joshi Mark
    Langue : Anglais
    03-2015190 p.15.5x23.5 cm
    This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 42,19 € Ajouter au panier
  8. Couverture de l'ouvrage Proof theory
    Auteur : Pohlers Wolfram
    Langue : Anglais
    10-2008374 p.15.5x23.5 cm
    This book verifies with compelling evidence the author's inclination to "write a book on proof theory which needs no previous knowledge of proof theory". Avoiding the cryptic...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Couverture souple Prix indicatif 59,99 € Ajouter au panier
  9. Couverture de l'ouvrage Tracking reason: proof, consequence, and truth
    Auteur : Azzouni Jody
    Langue : Anglais
    07-2008256 p.15.4x23.8 cm
    Ordinary people grasp when they take something to follow (deductively) from something else. This is the backbone of our self-ascribed ability to reason. This book investigates the connection...
    Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
    Broché Prix indicatif 35,82 € Ajouter au panier
  10. Couverture de l'ouvrage Tracking reason: proof, consequence, and truth
    Auteur : Azzouni Jody
    Langue : Anglais
    01-200616.5x24.2 cm
    Ordinary people grasp when they take something to follow (deductively) from something else. This is the backbone of our self-ascribed ability to reason. This book investigates the connection...
    Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
    Broché Prix indicatif 44,63 € Ajouter au panier
  11. Couverture de l'ouvrage Advances in Proof-Theoretic Semantics
    Langue : Anglais
    08-2016Imprimé à la demande283 p.15.5x23.5 cm
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 52,74 € Ajouter au panier
  12. Couverture de l'ouvrage Advances in Proof-Theoretic Semantics
    Langue : Anglais
    11-2015Imprimé à la demande283 p.15.5x23.5 cm
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Relié 52,74 € Ajouter au panier
  13. Couverture de l'ouvrage Factors and factorizations of graphs: proof techniques in factor theory (paperback) (series: lecture notes in mathematics)
    Auteurs : Akiyama Jin , Kano Mikio
    Langue : Anglais
    06-201115.5x23.5 cm
    This book chronicles the development of graph factors and factorizations. It pursues a comprehensive approach, addressing most of the important results from hundreds of findings over the last...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 68,56 € Ajouter au panier
  14. Couverture de l'ouvrage Advances in Proof Theory
    Langue : Anglais
    05-2018Imprimé à la demande425 p.15.5x23.5 cm
    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 116,04 € Ajouter au panier
  15. Couverture de l'ouvrage Advances in Proof Theory
    Langue : Anglais
    05-2016425 p.15.5x23.5 cm
    The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Relié Prix indicatif 116,04 € Ajouter au panier
  16. Couverture de l'ouvrage Proof Complexity
    Auteur : Krajíček Jan
    Langue : Anglais
    03-2019542 p.16.1x24.1 cm
    Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results...
    Disponible chez l'éditeur (délai d'approvisionnement : 14 jours).
    Relié Prix indicatif 151,59 € Ajouter au panier
  17. Couverture de l'ouvrage Proof and Proving in Mathematics Education
    Langue : Anglais
    04-2014476 p.15.5x23.5 cm
    One of the most significant tasks facing mathematics educators is to understand the role of mathematical reasoning and proving in mathematics teaching, so that its presence in instruction can be...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 210,99 € Ajouter au panier
  18. Couverture de l'ouvrage Proof and Proving in Mathematics Education
    Langue : Anglais
    02-201215.5x23.5 cm
    One of the most significant tasks facing mathematics educators is to understand the role of mathematical reasoning and proving in mathematics teaching, so that its presence in instruction can be...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Relié 210,99 € Ajouter au panier
  19. Couverture de l'ouvrage A Logical Introduction to Proof
    Auteur : Cunningham Daniel W.
    Langue : Anglais
    10-2014356 p.15.5x23.5 cm
    The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 58,00 € Ajouter au panier
  20. Couverture de l'ouvrage A Logical Introduction to Proof
    Auteur : Cunningham Daniel W.
    Langue : Anglais
    09-201215.5x23.5 cm
    The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is...
    Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
    Broché Prix indicatif 63,29 € Ajouter au panier
∧ Haut de page ∧  1  2  3  4  5  ...  386  Suivant > 
En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER