10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligen...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awdur Corfforaethol: | |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science. Lecture notes in artificial intelligence
449 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, proceedings, M.E. Stickel (Ed.), Berlin, Springer-Verlag, 1990, 1 vol. (XVI-688 p.), Lecture notes in computer science, 0-387-52885-7 • 10th International Conference on Automated Deduction, Texte imprimé, 9783662171035 |
| LEADER | 04423nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 971080 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155201204 | ||
| 020 | |a 9783540471714 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Stickel, Mark E. | |
| 245 | 1 | 0 | |a 10th International Conference on Automated Deduction : |b Kaiserslautern, FRG, July 24-27, 1990 : proceedings |c [edited by] M. E. Stickel. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 449 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve | |
| 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 | ||
| 520 | |a This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Actes de congrès | ||
| 711 | 2 | |a International conference on automated deduction |n (10 |d :1990 |c :Kaiserslautern, Allemagne). |4 aut | |
| 776 | 0 | |0 021674256 |t 10th International Conference on Automated Deduction |o Kaiserslautern, FRG, July 24-27, 1990 |o proceedings |f M.E. Stickel (Ed.) |c Berlin |n Springer-Verlag |d 1990 |p 1 vol. (XVI-688 p.) |s Lecture notes in computer science |z 0-387-52885-7 | |
| 776 | 0 | |t 10th International Conference on Automated Deduction |b Texte imprimé |z 9783662171035 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52885-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-M8JSV7H8-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750656492 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52885-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754006387 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52885-7 |z Accès INSA CVL | |
| 997 | |0 971080 |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/ | ||