#
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

## Context

Context of Computer logic#### Subject of

No resources found

No enriched resources found

- A general framework for reasoning on inconsistency
- A lexical analogy to feature matching and pose estimation
- Advanced methods for inconsistent knowledge management
- All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic
- 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
- CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
- Calculus of computation : decision procedures with applications to verification
- Calculus of computation : decision procedures with applications to verification
- Challenges for action theories
- Challenges for action theories
- Compiled labelled deductive systems : a uniform presentation of non-classical logics
- Computation engineering : applied automata theory and logic
- 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
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. 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
- Handbook of practical logic and automated reasoning
- Inconsistency tolerance
- Isabelle/HOL : a proof assistant for higher-order logic
- Isabelle/HOL : a proof assistant for higher-order logic
- Learning language in logic
- Learning language in logic
- Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday
- Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
- Logic for computer science and artificial intelligence
- Logic for learning : learning comprehensible theories from structured data
- Logic functions and equations : examples and exercises
- Logic in computer science : modelling and reasoning about systems
- Logical foundations for cognitive agents : contributions in honor of Ray Reiter
- Logics for databases and information systems
- Logics in computer science : a study on extensions of temporal and strategic logics
- Modal and temporal properties of processes
- Program development in computational logic : a decade of research advances in logic-based program development
- Programming logics : essays in memory of Harald Ganzinger
- Propositional logic : deduction and algorithms
- Real-world reasoning : toward scalable, uncertain spatiotemporal, contextual and causal inference
- Refinement calculus : a systematic introduction
- Solving higher-order equations : from logic to programming
- Specification and verification of declarative open interaction models : a logic-based approach
- The logician and the engineer : how George Boole and Claude Shannon created the information age
- Trust-based collective view prediction
- Validations of Stochastic Systems: A Guide to Current Research

## 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/aklflzkrQE4/" 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/aklflzkrQE4/">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/aklflzkrQE4/" 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/aklflzkrQE4/">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>`