Symposium on automatic demonstration : held at Versailles-France, December 1968
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , , , |
| Formaat: | Livre numérique |
| Taal: | Anglais Français |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in mathematics
125 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
Textes en français ou en anglais Colloque international sur la démonstration automatique, organisé par l'Institut de recherche d'informatique et d'automatique. Autre contribution : M. Schützenberger (éditeur) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Symposium on automatic demonstration, held at Versailles-France, December 1968, edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.], 1970, Berlin, Springer-Verlag, 1 vol. (310 p.), Lecture notes in mathematics, 0-387-04914-2 • Symposium on Automatic Demonstration, Texte imprimé, 9783662170755 |
| LEADER | 03826nam a22005057a 4500 | ||
|---|---|---|---|
| 001 | 969995 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155182757 | ||
| 020 | |a 9783540362623 (PDF) | ||
| 041 | 0 | |a eng |a fre | |
| 082 | |a 003 | ||
| 082 | |a 510 | ||
| 084 | |a 68-00. 2010 | ||
| 084 | |a 02-00. 2010 | ||
| 111 | 2 | |a Symposium on automatic demonstration |d (1968 |c :Versailles). | |
| 245 | 1 | 0 | |a Symposium on automatic demonstration : |b held at Versailles-France, December 1968 |c edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in mathematics |v 125 |x 1617-9692 | |
| 500 | |a Textes en français ou en anglais | ||
| 500 | |a Colloque international sur la démonstration automatique, organisé par l'Institut de recherche d'informatique et d'automatique. Autre contribution : M. Schützenberger (éditeur) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Mathématiques |x Informatique | ||
| 650 | |a Commande automatique | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Mathématiques | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Schützenberger, Marcel Paul, |d 1920-1996. |4 pbd | |
| 700 | 1 | |a Lacombe, Daniel, |d 1925-2016, |c mathématicien. |4 pbd | |
| 700 | 1 | |a Nolin, Louis, |d ....-1997. |4 pbd | |
| 700 | 1 | |a Laudet, Michel, |d 1900-2003. |4 pbd | |
| 710 | 2 | |a Institut de recherche d'informatique et d'automatique. |4 orm | |
| 776 | 0 | |0 004671945 |t Symposium on automatic demonstration |o held at Versailles-France, December 1968 |f edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.] |d 1970 |c Berlin |n Springer-Verlag |p 1 vol. (310 p.) |s Lecture notes in mathematics |z 0-387-04914-2 | |
| 776 | 0 | |t Symposium on Automatic Demonstration |b Texte imprimé |z 9783662170755 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0060620 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8ZQ6JPDW-D |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750667923 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0060620 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754017044 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0060620 |z Accès INSA CVL | |
| 997 | |0 969995 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||