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 University of Missouri 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 University of Missouri Libraries.
- Label
- Logique symbolique et mathématique -- Congrès
46 Items that share the Concept Logique symbolique et mathématique -- Congrès
Context
Context of Logique symbolique et mathématique -- CongrèsSubject of
No resources found
No enriched resources found
- 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
- Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
- Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
- Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 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 : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
- Conference in Mathematical Logic, London '70
- Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
- Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
- Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
- Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
- ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
- Logic Colloquium : symposium on logic held at Boston, 1972-73
- Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
- Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
- 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 at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
- Logic year 1979-80, the University of Connecticut, USA
- Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : 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 and applications : proceedings of the Logic Meeting held in Kyoto, 1987
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
- Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
- Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands
- Proceedings of the Second Scandinavian Logic Symposium
- Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : 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
Embed
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.library.missouri.edu/resource/OL66wukoI3U/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri 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.library.missouri.edu/resource/OL66wukoI3U/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.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.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
