COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 16, 1988 : proceedings
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive syst...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
417 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer logic, International Conference COLOG-88, Tallinn, USSR, December 1988, proceedings, P. Martin-Löf, G. Mints, eds, Berlin, Springer-Verlag, 1990, 1 vol. (VI-338 p.), Lecture notes in computer science, 0-387-52335-9 • COLOG-88, Texte imprimé, 9783662171172 |
| LEADER | 04240nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945427 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155227181 | ||
| 020 | |a 9783540469636 | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on computer logic |d (1988 |c :Tallinn). | |
| 245 | 1 | 0 | |a COLOG-88 : |b International Conference on Computer Logic, Tallinn, USSR, December 12 16, 1988 : proceedings |c [edited by] P. Martin-Löf, G. Mints. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 417 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Algebraic specified processes and enumerable models -- On conditions of full coherence in biclosed categories: A new application of proof theory -- The use of justification systems for integrated semantics -- An equational deductive system for the differential and integral calculus -- Inductively defined types -- Algorithms for probabilistic inference -- Geometry of interaction 2: Deadlock-free algorithms -- On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions -- ?-Reductions and ?-developments of ?-terms with the least number of steps -- Group-theoretic approach to intractable problems -- On some applications of Heyting-valued analysis II -- Mathematics of infinity -- Gentzen-type systems and resolution rules part I propositional logic -- On the problem of reducing search in logic program execution -- Correctness of short proofs in theory with notions of feasibility -- A formulation of the simple theory of types (for Isabelle) -- On connections between classical and constructive semantics -- Flow-diagrams with sets -- The resolution program, able to decide some solvable classes -- A structural completeness theorem for a class of conditional rewrite rule systems -- A proof-search method for the first order logic. | |
| 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 several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Martin-Löf, Per, |d 1942- |4 pbd | |
| 700 | 1 | |a Mints, Grigori Efroimovich, |d 1939-2014. |4 pbd | |
| 776 | 0 | |0 021419566 |t Computer logic |o International Conference COLOG-88, Tallinn, USSR, December 1988 |o proceedings |f P. Martin-Löf, G. Mints, eds |c Berlin |n Springer-Verlag |d 1990 |p 1 vol. (VI-338 p.) |s Lecture notes in computer science |z 0-387-52335-9 | |
| 776 | 0 | |t COLOG-88 |b Texte imprimé |z 9783662171172 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-52335-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-0Q4SH985-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747910626 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-52335-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750923512 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-52335-9 |z Accès INSA CVL | |
| 997 | |0 945427 |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/ | ||