logique mathématique
Resource Information
The concept logique mathématique represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
The Resource
logique mathématique
Resource Information
The concept logique mathématique represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- logique mathématique
68 Items that share the Concept logique mathématique
Context
Context of logique mathématiqueSubject of
No resources found
No enriched resources found
- A mathematical introduction to logic
- A theory of heuristic information in game-tree search
- An introduction to mathematical logic and type theory : to truth through proof
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
- Axiomatising the logic of computer programming
- CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
- Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
- Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings
- Complexity and structure
- Computability, complexity, and languages : fundamentals of theoretical computer science
- Computational logic : symposium proceedings, Brussels, November 13/14, 1990
- Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
- Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
- Descriptive set theory
- Dictionary of symbols of mathematical logic.
- Elements of intuitionism
- Elements of the theory of computation
- Equational logic as a programming language
- Formal methods in artificial intelligence
- Foundations of set theory.
- From logic design to logic programming : theorem proving techniques and P-functions
- Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
- Fundamentals of artificial intelligence : an advanced course
- 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
- Gödel, Escher, Bach : an eternal golden braid
- Handbook of logic and language
- Handbook of mathematical logic
- Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
- Harvey Friedman's research on the foundations of mathematics
- Introduction to higher order categorical logic
- Introduction to mathematical logic
- Introduction to mathematical logic : set theory, computable functions, model theory
- Introduction to mathematical structures and proofs
- Introduction to metamathematics
- Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
- Logic for computer science : foundations of automatic theorem proving
- Logic programming and its applications
- Logic, algebra, and databases
- Logic, automata, and algorithms
- Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
- Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
- Mathematical logic
- Mathematical logic and programming languages
- Mathematical logic and theoretical computer science
- Mathematical logic in computer science
- Mathematical theory of domains
- Mathematics unlimited : 2001 and beyond
- Mathematics; : concrete behavioral foundations
- Model theory
- Model-theoretic logics
- Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
- Non-standard analysis
- Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
- Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986
- Systems of logic
- The computer modelling of mathematical reasoning
- Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
- Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
- Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990), March 4-7, 1990, Pacific Grove, California
- Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings
- Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings
- Theory of deductive systems and its applications
- Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings
- Truth, deduction, and computation : logic and semantics for computer science
- Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : 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.bu.edu/resource/2AgdOD1WeP4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/2AgdOD1WeP4/">logique mathématique</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 logique mathématique
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/2AgdOD1WeP4/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/2AgdOD1WeP4/">logique mathématique</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>
