#
Logic, Symbolic and mathematical -- Congresses
Resource Information
The concept ** Logic, Symbolic and mathematical -- Congresses** represents the subject, aboutness, idea or notion of resources found in **Bates College**.

The Resource
Logic, Symbolic and mathematical -- Congresses
Resource Information

The concept

**Logic, Symbolic and mathematical -- Congresses**represents the subject, aboutness, idea or notion of resources found in**Bates College**.- Label
- Logic, Symbolic and mathematical -- Congresses

## Context

Context of Logic, Symbolic and mathematical -- Congresses#### Subject of

No resources found

No enriched resources found

- Advances in logic, artificial intelligence, and robotics : LAPTEC 2002
- Advances in technological applications of logical and intelligent systems : selected papers from the Sixth Congress on Logic Applied to Technology
- Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
- Aspects of mathematical logic : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
- Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
- Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
- Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : revised selected papers
- Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings
- DMTCS proceedings
- Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
- Formal concept analysis : 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings
- Formal concept analysis : 8th international conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010 : proceedings
- Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
- Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
- Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings
- Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings
- Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
- Grammatical inference : algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
- Grammatical inference : algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings
- Grammatical inference: theoretical results and applications : 10th international colloquium ; proceedings
- Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
- Infinity and truth
- Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
- Intelligent computer mathematics : 10th international conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
- Intelligent computer mathematics : 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 : proceedings
- Intensionality
- Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
- Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
- Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002
- Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
- Logic Colloquium '90 : ASL Summer Meeting in Helsinki
- Logic Colloquium '96
- Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998
- Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
- Logic Colloquium 2000 : Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000
- Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
- Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
- Logic Colloquium 2006
- Logic Colloquium 2007
- Logic and Its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings
- Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, proceedings
- Logic and its applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings
- Logic and the foundations of game and decision theory : (LOFT 7)
- Logic and the foundations of game and decision theory, LOFT 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers
- Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003
- Logic, computation, hierarchies
- Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings
- Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
- Logic, language, information and computation : 18th international workshop, WoLLIC 2010, Brasilia, Philadelphia, PA, USA, May 18-20, 2011 ; proceedings
- Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
- Logic, rationality, and interaction : third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings
- Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
- Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
- Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings
- Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings
- Logics in artificial intelligence : 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings
- Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings
- Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
- Model theory and applications : lectures given at the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
- Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
- Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
- Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009
- Proceedings of the 12th Asian Logic Conference : Wellington, New Zealand, 15-20 December 2011
- Recent progress in the Boolean domain
- Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
- Symbolic computation and education
- Symbolic-numeric computation
- Towards mathematical philosophy : papers from the Studia Logica Conference Trends in Logic IV
- Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
- Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995

## 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.bates.edu/resource/74xGSsxHwtQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bates.edu/resource/74xGSsxHwtQ/">Logic, Symbolic and mathematical -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bates.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bates.edu/">Bates College</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 Logic, Symbolic and mathematical -- Congresses

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.bates.edu/resource/74xGSsxHwtQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bates.edu/resource/74xGSsxHwtQ/">Logic, Symbolic and mathematical -- Congresses</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bates.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bates.edu/">Bates College</a></span></span></span></span></div>`