décidabilité
Resource Information
The concept décidabilité represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
décidabilité
Resource Information
The concept décidabilité represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- décidabilité
16 Items that share the Concept décidabilité
Context
Context of décidabilitéSubject of
No resources found
No enriched resources found
- A mathematical introduction to logic
- Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
- Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
- Computability and decidability; : an introduction for students of computer science
- Confluent string rewriting
- Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
- Developments in language theory II : at the crossroads of mathematics, computer science, and biology : Magdeburg, Germany, 17-21 July 1995
- Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983
- Introduction to computability
- Introduction to computer theory
- Proceedings of the third Scandinavian Logic Symposium
- Rational series and their languages
- Resolution methods for the decision problem
- The metamathematics of algebraic systems, collected papers: 1936-1967
- Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981
- Theory of finite automata : with an introduction to formal languages
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.bu.edu/resource/kWSjy7vUzt4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/kWSjy7vUzt4/">décidabilité</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University 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 décidabilité
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.bu.edu/resource/kWSjy7vUzt4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/kWSjy7vUzt4/">décidabilité</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
