#
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 **Missouri University of Science & Technology Library**.

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**Missouri University of Science & Technology Library**.- Label
- Logic, Symbolic and mathematical -- Congresses

## Context

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

No resources found

No enriched resources found

- 11th Annual IEEE Symposium on Logic in Computer Science : proceedings, July 27-30, 1996, New Brunswick, New Jersey
- 14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy
- 15th Annual IEEE Symposium on Logic in Computer Science
- 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada : proceedings
- 2012 19th International Symposium on Temporal Representation and Reasoning : TIME 2012 : proceedings : 12-14 September 2012, Leicester, United Kingdom
- 2013 20th International Symposium on Temporal Representation and Reasoning
- 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland
- 21st Annual IEEE Symposium on Logic in Computer Science : LICS 2006 : proceedings : 12-15 August 2006, Seattle, Washington
- 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007
- 23rd International Symposium on Temporal Representation and Reasoning : TIME 2016 : proceedings : 17-19 October 2016, Kongens Lyngby, Denmark
- 24th Annual IEEE Symposium on Logic in Computer Science : proceedings, Los Angeles, California
- 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom
- 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
- 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
- 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
- Advances in Technological Applications of Logical and Intelligent Systems : Selected Papers from the Sixth Congress on Logic Applied to Technology
- Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
- Advances in logic, artificial intelligence, and robotics : LAPTEC 2002
- Algebra and computer science
- Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
- 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 computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
- Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings
- Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : 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-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
- 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 : 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 : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010 : revised selected papers
- Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
- Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
- Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
- Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
- Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
- Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
- Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
- Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
- Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : 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
- 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
- Cambridge Summer School in Mathematical Logic ; : [papers]
- Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
- Colloquium on "inference" : on Monday, 14 March 1988
- Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
- 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 7-11, 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
- Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
- Conference in Mathematical Logic, London '70
- Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : 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
- Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
- Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : 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
- Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings/
- Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : 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 : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
- Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : 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
- 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
- ISVD 2007 : proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales
- Importance and Legacy
- Infinity and truth
- 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
- Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London
- Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968
- LFMTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Logical Frameworks & Meta-Languages : Theory & Practice : September 23, 2013, Boston, Massachusetts, USA
- LFMTP 2014 : proceedings of the ninth International Workshop on Logical Frameworks and Meta-Languages : Theory and Practice : July 17, 2014, Vienna, Austria
- LFMTP'12 : proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark
- LICS 2004 : proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science : Turku, Finland, 13-17 July, 2004
- Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
- Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978
- Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
- Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
- Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
- Logic and Its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings
- 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 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 random structures : DIMACS workshop, November 5-7, 1995
- 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 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 in Computer Science (4th Conference)
- Logic in Computer Science : Proceedings of the 3rd Symposium, 1988
- Logic in Computer Science : Proceedings: Symposium on Logic in Computer Science (14th, 1999: Trento, Italy)
- Logic in Computer Science, 12th Symposium
- Logic in Computer Science, 7th Conference (LICS '92)
- Logic in Computer Science, 8th Conference (LICS '93)
- Logic in Computer Science, 9th Annual IEEE Symposium
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- Logic in computer science : proceedings : 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana
- Logic in computer science : proceedings : 16th Annual IEEE Symposium on Logic in Computer Science : 16-19 June, 2001, Boston, Massachusetts
- Logic in computer science : proceedings : 17th Annual IEEE Symposium on Logic in Computer Science : held in conjunction with the Third Federated Logic Conference : 22-25 July, 2002, Copenhagen, Denmark
- Logic in computer science : proceedings : 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 July, 2003, Ottawa, Canada
- Logic year 1979-80, the University of Connecticut, USA
- 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, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
- 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
- Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings
- Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, 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
- Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
- Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
- Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
- Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
- Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
- Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference
- Mathematical logic : proceedings of the first Brazilian Conference
- Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
- Methods and Applications of Mathematical Logic
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- 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, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá
- Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 1990
- 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
- New Perspectives on Games and Interaction
- New perspectives on games and interaction
- Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13-15, 1988 : proceedings
- Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings
- Proceedings
- Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
- Proceedings : 15th annual Symposium on Logic in Computer Science : June 26-28, 2000, Santa Barbara, California
- Proceedings : Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993
- Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA
- Proceedings : Fourth Annual Symposium on Logic in Computer Science
- Proceedings : Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994
- Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland
- Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands
- Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18, 1991, Amsterdam, the Netherlands
- 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
- Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications, August 28-30, 1991, Davis, California
- Proceedings of the 2013 28th annual ACM/IEEE Symposium on Logic in Computer Science
- Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA
- Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981
- Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992
- Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw, Poland
- Proceedings, 1987 Symposium on Logic Programming : August 31-September 4, 1987, San Francisco, California
- Proceedings, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : 25-28 June 2013, New Orleans, Louisiana
- Proceedings, 20th annual IEEE Symposium on Logic in Computer Science : LICS 2005, 26-29 June 2005, Chicago, Illinois
- Proceedings, 26th Annual IEEE Symposium on Logic in Computer Science
- SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China
- SNC'07 : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007
- Second IEEE International Conference on Fuzzy Systems : San Francisco, California, March 28-April 1, 1993
- Second IEEE International Conference on Fuzzy Systems : San Francisco, California, March 28-April 1, 1993
- Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
- Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
- Symbolic computation and education
- Symbolic-numeric computation
- TARK XIII : Theoretical Aspects of Rationality and Knowledge : proceedings of the thirteenth Conference (TARK 2011)
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California
- The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada
- The Logic of decision and action : essays
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- The proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971
- Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : 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 1986 conference, March 19-22, 1986, Monterey, California
- Toposes, algebraic geometry and logic
- 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
- Twenty-third Annual IEEE Symposium on Logic in Computer Science : proceedings, 24-27 June 2008, Pittsburgh, Pennsylvania
- Two one-day Colloquia on "Grammatical Inference--Theory, Applications and Alternatives" : on Thursday, 22 and Friday, 23 April 1993

## 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.mst.edu/resource/74xGSsxHwtQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.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.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</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.library.mst.edu/resource/74xGSsxHwtQ/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.mst.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.library.mst.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.mst.edu/">Missouri University of Science & Technology Library</a></span></span></span></span></div>`