Treffer 1 - 14 von 14 für Suche 'Groote, Philippe <<de>>', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    The curry-howard isomorphism
    Veröffentlicht 1995
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal grammar : 15th and 16th international conferences ; revised selected papers
    Veröffentlicht 2012
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Logical aspects of computational linguistics : 4th international conference, LACL 2001, LeCroisic, France, June 27 - 29, 2001 ; proceedings
    Veröffentlicht 2001
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Multityped Abstract Categorial Grammars and Their Composition
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Logical aspects of computational linguistics : 4th international conference ; proceedings
    Veröffentlicht 2001
    Kapitel
    Inhaltsverzeichnis
    Buchumschlag
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Logical aspects of computational linguistics : 4th international conference, Le Croisic, France, June 27 - 29, 2001 ; proceedings
    Veröffentlicht 2001
    Cover
    Kapitel 1
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Formal grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25 - 26, 2009; revised selected papers
    Veröffentlicht 2011
    Cover
    Inhaltstext
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal grammar : 14th international conference ; revised selected papers
    Veröffentlicht 2011
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Typed lambda calculi and applications : third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997 ; proceedings
    Veröffentlicht 1997
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Typed lambda calculi and applications : proceedings
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Logical aspects of computational linguistics : 9th international conference, LACL 2016, Nancy, France, December 5-7, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Inhaltstext
    Inhaltstext
    Volltext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings
    Veröffentlicht 1997
    Inhaltstext
    Cover
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Formal grammar : 15th and 16th international conferences, FG 2010 Copenhagen, Denmark, August 2010, FG 2011 Ljubljana, Slovenia, August 2011 ; revised selected papers
    Veröffentlicht 2012
    Verlagsangaben
    Inhaltstext
    Inhaltsverzeichnis
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: