Computer logic
Resource Information
The concept Computer logic represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Computer logic
Resource Information
The concept Computer logic represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Computer logic
- Authority link
- http://id.worldcat.org/fast/00872265
- Source
- fast
99 Items that share the Concept Computer logic
Context
Context of Computer logicSubject of
No resources found
No enriched resources found
- 18th Annual IEEE Symposium on Logic in Computer Science : 22-25 June 2003, Ottawa, Canada : proceedings
- 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 20-23 June 2017, Reykjavík, Iceland
- A general framework for reasoning on inconsistency
- Advanced methods for inconsistent knowledge management
- All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic
- Argumentation in multi-agent systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers
- Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers
- Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
- Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
- Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
- Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
- Automated reasoning and mathematics : essays in memory of William W. McCune
- Belief revision in non-classical logics
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings
- Calculus of computation : decision procedures with applications to verification
- Challenges for action theories
- Computation engineering : applied automata theory and logic
- Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday
- Computation, physics and beyond : International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised selected and invited papers
- Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings
- Computational logic in multi-agent systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings
- Computational logic in multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers
- Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers
- Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
- Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers
- Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and Invited papers
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. 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 : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
- Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
- Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
- Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
- Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
- Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
- Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 ; proceedings
- Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
- Computer science logic : 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
- Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings
- Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings
- Control, computation and information systems : First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, proceedings
- Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings
- Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings
- Deontic logic in computer science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
- Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures
- Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
- Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
- Inconsistency tolerance
- Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised papers
- Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
- Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers
- Isabelle/HOL : a proof assistant for higher-order logic
- LICS '19 : proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science
- Learning language in logic
- Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes
- Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Logic for computer science and artificial intelligence
- Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
- Logic functions and equations : examples and exercises
- Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
- Logic, language and meaning : 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised selected papers
- Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers
- Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007 : revised selected papers
- Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers
- Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers
- Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings
- Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
- Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers
- Logical aspects of computational linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
- Logical aspects of computational linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
- Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
- Logics in computer science : a study on extensions of temporal and strategic logics
- Machine translation : 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020, revised selected papers
- Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings
- Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
- Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings
- New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 Student sessions. Selected papers
- Organized adaption in multi-agent systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers
- Pristine perspectives on logic, language, and computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions. selected papers
- Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA
- Program development in computational logic : a decade of research advances in logic-based program development
- Programming logics : essays in memory of Harald Ganzinger
- Real-world reasoning : toward scalable, uncertain spatiotemporal, contextual and causal inference
- Reversible computation : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers
- Reversible computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013, proceedings
- Reversible computation : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
- Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers
- Rewriting and typed Lambda Calculi : joint international conference, RTA-TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
- Rewriting logic and its applications : 10th International Workshop, WRLA 2014, held as a satellite Event of ETAPS, Grenoble, France, April 5-6, 2014 : revised selected papers
- Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
- Rewriting logic and its applications : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers
- Specification and verification of declarative open interaction models : a logic-based approach
- Theory and applications of formal argumentation : first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers
- Theory and applications of formal argumentation : second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised selected papers
- Trust-based collective view prediction
- Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
- Vagueness in communication : international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers
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/yAhYhTq5tjc/" 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/yAhYhTq5tjc/">Computer logic</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 Computer logic
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/yAhYhTq5tjc/" 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/yAhYhTq5tjc/">Computer logic</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>