Showing 1 - 7 results of 7 for search 'Dowek, Gilles', query time: 0.03s Narrow Search
  1. 1
    Proofs and Algorithms An Introduction to Logic and Computability
    by Dowek, Gilles
    Published 2011
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Principles of Programming Languages
    by Dowek, Gilles
    Published 2009
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Introduction to the Theory of Programming Languages
    by Dowek, Gilles, Lévy, Jean-Jacques
    Published 2011
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Published 2014
    Other Authors: “…Dowek, Gilles…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    Published 2008
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    Published 1996
    Other Authors: “…Dowek, Gilles…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  7. 7
    Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Published 1999
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: