Showing 1 - 20 results of 40 for search 'Dowek, Gilles', query time: 0.20s Refine Results
  1. 1
    Computation, proof, machine : mathematics enters a new age /

    Book
  2. 2
    Proofs and Algorithms : An Introduction to Logic and Computability /
    by Dowek, Gilles, Dowek, Gilles
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Introduction to the theory of programming languages /
    by Dowek, Gilles, Dowek, Gilles
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  4. 4
    Ce dont on ne peut parler, il faut l'écrire : langues et langages /
    by Dowek, Gilles, Dowek, Gilles
    Published 2019

    Book
  5. 5
    Principles of programming languages /
    by Dowek, Gilles, Dowek, Gilles
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  6. 6
    Proofs and algorithms : an introduction to logic and computability /
    by Dowek, Gilles, Dowek, Gilles
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  7. 7
    Principles of programming languages /
    by Dowek, Gilles
    Published 2009
    Other Authors: “...Dowek, Gilles...”

    Book
  8. 8
    Tactical conflict detection and resolution in a 3-D airspace /
    by Dowek, Gilles
    Published 2001

    Book
  9. 9
    Computation, proof, machine : mathematics enters a new age /
    by Dowek, Gilles
    Published 2015

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    Tactical conflict detection and resolution in a 3-D airspace
    by Dowek, Gilles
    Published 2001

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Government Document Book
  11. 11
    Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers /
    by Dowek, Gilles
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  12. 12
    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 /
    by Dowek, Gilles
    Published 2014

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  13. 13
    Proofs and algorithms : an introduction to logic and computability /
    by Dowek, Gilles
    Published 2011

    Book
  14. 14
    Vivre, aimer, voter en ligne : et autres chroniques numériques /
    by Dowek, Gilles
    Published 2017

    Book
  15. 15
    Introduction to the theory of programming languages /
    by Dowek, Gilles
    Published 2011

    Book
  16. 16
    La logique : un exposé pour comprendre, un essai pour réfléchir /
    by Dowek, Gilles
    Published 1995

    Book
  17. 17
    Les métamorphoses du calcul : une étonnante histoire des mathématiques /
    by Dowek, Gilles
    Published 2011

    Book
  18. 18
    Vivre, aimer, voter en ligne : et autres chroniques numériques /
    by Dowek, Gilles
    Published 2017

    Book
  19. 19
    Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers /
    by Dowek, Gilles
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Introduction to the Theory of Programming Languages /

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search