It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by LC Bot
February 1, 2012 | History
Edit

Philippe De Groote

We need a photo of Philippe De Groote

3 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The Curry-Howard isomorphism

    First published in 1995 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal grammar: 14th International conference, FG 2009, Bordeaux, France, July 25-26, 2009, revised selected papers

    First published in 2011 — 2 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Grammar Lecture Notes in Computer Science Theoretical Computer Sci

    First published in 2012 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Philippe De Groote

Subjects

Computational linguistics, Congresses, Mathematical linguistics, Algebra, Artificial Intelligence (incl. Robotics), Artificial intelligence, Comparative and general Grammar, Computation by Abstract Devices, Computer science, Curry-Howard isomorphism, Data processing, Formal languages, Formalization (Linguistics), Grammars, Lambda calculus, Language and languages, Mathematical Logic and Formal Languages, Natural language processing (computer science), Proof theory, Symbolic and Algebraic Manipulation, System design, Type theory

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7073873A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
February 1, 2012 Created by LC Bot import new book