#
Logic, Symbolic and mathematical
Resource Information
The concept ** Logic, Symbolic and mathematical** represents the subject, aboutness, idea or notion of resources found in **University of Missouri Libraries**.

The Resource
Logic, Symbolic and mathematical
Resource Information

The concept

**Logic, Symbolic and mathematical**represents the subject, aboutness, idea or notion of resources found in**University of Missouri Libraries**.- Label
- Logic, Symbolic and mathematical

- Source
- fast

## Context

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

No resources found

No enriched resources found

- 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 2326, 1988 : proceedings
- A concise introduction to mathematical logic
- A concise introduction to mathematical logic
- A course in mathematical logic for mathematicians
- A course on mathematical logic
- A course on mathematical logic
- A logical introduction to proof
- A resolution principle for a logic with restricted quantifiers
- A science of operations : machines, logic and the invention of programming
- Adapting proofs-as-programs : the Curry-Howard protocol
- Alfred Tarski : early work in Poland : geometry and teaching
- Algebra and logic
- Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
- An invitation to abstract mathematics
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989 Proceedings
- Analysis and synthesis of logics : how to cut and paste reasoning systems
- Annals of mathematical logic
- Archive for mathematical logic
- Around and beyond the square of opposition
- Artificial Intelligence and Symbolic Computation
- 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 2000, Madrid, Spain, July 17-19, 2000 : revised papers
- 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
- Automata logics, and infinite games : a guide to current research
- Automated Deduction - Cade-13 : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 - August 3, 1996 Proceedings
- Automated Deduction -- CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 Proceedings
- Automated Deduction in Equational Logic and Cubic Curves
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings
- Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
- Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
- Automated deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings
- Automated deduction in classical and non-classical logics : selected papers
- 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 : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 : revised 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 1-3, 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
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 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 '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 : held in Cambridge, England, August 1-21, 1971
- Cognitive reasoning : a formal approach
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25 29, 1997 Proceedings
- Computational aspects of an order-sorted logic with term declarations
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
- Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers
- Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
- Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : 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
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
- Conference in Mathematical Logic, London '70
- Constraints in Computational Logics : Proceedings of the First International Conference, CCL '94, Munich, Germany, September 7-9, 1994
- Das verhältnis der logik zur mengenlehre
- Decision procedures : an algorithmic point of view
- Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
- Eine Termlogik mit Auswahloperator
- Essays on the foundations of mathematics
- First-order dynamic logic
- Formal concept analysis : 12th international conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014, 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 : 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009 : proceedings
- Formal concept analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings
- Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings
- Formal concept analysis : foundations and applications
- Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
- Formal logic : a philosophical approach
- Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
- Foundations of software science and computational structures : 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings
- Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. 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 : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
- Frontiers of combining systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
- Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
- Games, actions and social software : multidisciplinary aspects
- Giuseppe Peano between mathematics and logic : proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2-3, 2008
- 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 : 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 : theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010 : proceedings
- Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
- Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; proceedings
- Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
- Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers
- Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
- How to prove it : a structured approach
- Hybrid logic and its proof-theory
- ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
- Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
- Institution-independent model theory
- 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 theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings
- Introduction to mathematical structures and proofs
- Journal of logic and computation
- Journal of the IGPL
- Learning language in logic
- Lectures on non-standard analysis
- Leśniewski's systems of logic and foundations of mathematics
- Logic : a brief course
- Logic Colloquium : symposium on logic held at Boston, 1972-73
- Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings
- Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings
- 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 and games on automatic structures : playing with quantifiers and decompositions
- 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 its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings
- Logic and structure
- 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 and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
- Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
- Logic for computer scientists
- Logic journal of the IGPL
- Logic of programs : workshop, ETH Zürich, May-July 1979
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
- Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
- Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
- Logic year 1979-80, the University of Connecticut, USA
- Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
- 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 : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings
- Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
- Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
- Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings
- Logic, language, information, and computation : 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014, proceedings
- Logica : Metodo Breve
- Logica universalis
- Logica universalis : towards a general theory of logic
- Logica universalis : towards a general theory of logic
- Logica, Volume 1, Dimostrazioni e modelli al primo ordine
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 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 : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
- Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
- Logical foundations of mathematics and computational complexity : a gentle introduction
- Logical tools for handling change in agent-based systems
- 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 : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. 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
- Logics of specification languages
- Louis Couturat, Traité de Logique algorithmique
- Mathematical logic : foundations for information science
- Mathematical logic : foundations for information science
- Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
- Mathematical logic and model theory : a brief introduction
- Mathematical logic for computer science
- Mathematical problems from applied logic I : logics for the XXIst century
- Mathematical problems from applied logic II : logics for the XXIst century
- Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings
- Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
- Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
- Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
- Minds and machines
- Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
- Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989
- Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
- Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
- Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings
- Paradoxes in probability theory
- Perspectives in computational complexity : the Somenath Biswas anniversary volume
- Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983
- Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
- Proof theory : the first step into impredicativity
- Proofs and algorithms : an introduction to logic and computability
- Proofs of the Cantor-Bernstein Theorem : a Mathematical Excursion
- Reactive Kripke semantics
- Set theory : Centre de recerca matemàtica Barcelona, 2003-2004
- Set theory : exploring independence and truth
- Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 Proceedings
- Specifying message passing and time-critical systems with temporal logic
- Stochastic calculus with infinitesimals
- Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
- Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
- Symbolic-numeric computation
- Taking Frege at his word
- Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
- Temporal logic and state systems
- Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
- Term logic with choice operator
- The Arché papers on the mathematics of abstraction
- The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
- The life and work of Leon Henkin : essays on his contributions
- The logic of information structures
- The mathematics of coordinated inference : a study of generalized hat problems
- The real numbers : an introduction to set theory and analysis
- 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 : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings
- Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
- Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
- Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
- Towards a general theory of classifications
- 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
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings
- Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings
- Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6-10, 1994 Selected Papers
- Visual Reasoning with Diagrams
- Visualization, explanation and reasoning styles in mathematics
- Vivid logic : knowledge-based reasoning with two kinds of negation
- Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7-9, 1991 Proceedings

## 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/bjb9bDIQvGw/" 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/bjb9bDIQvGw/">Logic, Symbolic and mathematical</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 Logic, Symbolic and mathematical

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/bjb9bDIQvGw/" 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/bjb9bDIQvGw/">Logic, Symbolic and mathematical</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>`