#
Logique symbolique et mathématique -- Congrès
Resource Information
The concept ** Logique symbolique et mathématique -- Congrès** represents the subject, aboutness, idea or notion of resources found in **Boston University Libraries**.

The Resource
Logique symbolique et mathématique -- Congrès
Resource Information

The concept

**Logique symbolique et mathématique -- Congrès**represents the subject, aboutness, idea or notion of resources found in**Boston University Libraries**.- Label
- Logique symbolique et mathématique -- Congrès

## Context

Context of Logique symbolique et mathématique -- Congrès#### Subject of

- 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
- 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
- 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
- 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
- Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
- Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
- Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings
- Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
- Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
- COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
- Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
- Cambridge Summer School in Mathematical Logic; : [papers]
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
- Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
- Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
- Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Conference in Mathematical Logic, London '70.
- Contributions to non-standard analysis.
- Current issues in quantum logic
- Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
- Grammatical inference : algorithms and applications : 5th international colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
- Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, the Netherlands, September 23-25, 2002 : proceedings
- Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
- Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings
- Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
- ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
- Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968.
- Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
- Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
- 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
- Logic and data bases
- Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
- Logic from computer science : proceedings of a workshop held November 13-17, 1989
- Logic year 1979-80, the University of Connecticut, USA
- Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
- Logic, methodology, and philosophy of science; : proceedings.
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
- Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings
- Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
- Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings
- Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings
- Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
- Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
- Mathematical logic : proceedings of the first Brazilian Conference
- Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
- Mathematical logic and foundations of set theory. : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
- Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
- Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
- Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
- Proceedings
- Proceedings
- Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
- Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California
- Proceedings of the Second Scandinavian Logic Symposium.
- Proceedings of the third Scandinavian Logic Symposium
- Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
- Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- The acquisition of symbolic skills
- The theory of models; : proceedings.
- Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
- Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
- Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California
- Toposes, algebraic geometry and logic
- Truth, syntax and modality; : proceedings of the Temple University Conference on Alternative Semantics.

## Embed (Experimental)

### Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options:

Include data citation:

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/OL66wukoI3U/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/OL66wukoI3U/">Logique symbolique et mathématique -- Congrès</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

### Preview

## Cite Data - Experimental

### Data Citation of the Concept Logique symbolique et mathématique -- Congrès

Copy and paste the following RDF/HTML data fragment to cite this resource

`<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/OL66wukoI3U/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/OL66wukoI3U/">Logique symbolique et mathématique -- Congrès</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>`