Programmation logique
Resource Information
The concept Programmation logique represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
Programmation logique
Resource Information
The concept Programmation logique represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Programmation logique
- Source
- ram
39 Items that share the Concept Programmation logique
Context
Context of Programmation logiqueSubject of
- A grammatical view of logic programming
- A tight, practical integration of relations and functions
- Algebraic semantics of imperative programs
- An introduction to default logic
- Computational logic : essays in honor of Alan Robinson
- Computing in Horn clause theories
- Conclog : a methodological approach to concurrent logic programming
- Constraint logic programming : selected research
- Constraint satisfaction in logic programming
- Eco-logic : logic-based approaches to ecological modelling
- Essentials of logic programming
- Foundations of disjunctive logic programming
- Foundations of inductive logic programming
- From logic design to logic programming : theorem proving techniques and P-functions
- From logic to logic programming
- Handbook of logic in artificial intelligence and logic programming
- Inductive logic programming : techniques and applications
- Intelligence through simulated evolution : forty years of evolutionary programming
- Intensional logics for programming
- Introduction to logic programming
- Logic for applications
- Logic for computer scientists
- Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings
- Logic programming : formal methods and practical applications
- Logic programming : operational semantics and proof theory
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
- Logic programming and its applications
- Logical methods : in honor of Anil Nerode's sixtieth birthday
- Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
- Parallel logic programming
- Reasoning with logic programming
- Sequential logic synthesis
- Termination proofs for logic programs
- The Gödel programming language
- The Logic programming paradigm : a 25-year perspective
- The Practice of Prolog
- The craft of Prolog
- The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
- Warren's abstract machine : a tutorial reconstruction
Embed (Experimental)
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/lDisM8cMGOE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/lDisM8cMGOE/">Programmation logique</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 Programmation logique
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/lDisM8cMGOE/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/lDisM8cMGOE/">Programmation logique</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>
