( en | de | ru )

 

Disambiguierung von "Enjalbert, Patrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Program Equivalence and Provability.

, und . MFCS, Volume 74 von Lecture Notes in Computer Science, Seite 237-245. Springer, (1979)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Patrice Mbaya

Patrice Urayeneza

Patrice Mandeng

Patrice Malonga

Patrice Millet

 

Weitere Publikationen von Autoren mit dem selben Namen

Geographic reference analysis for geographic document querying, , , und . Workshop on the Analysis of Geographic References - NAACL-HLT 2003, Seite s/p. Edmontonand Albertaand Canada, (Mai 2003)Algebraic semantics and program logics: Algorithmic logic for program trees.. Logic of Programs, Volume 148 von Lecture Notes in Computer Science, Seite 132-147. Springer, (1980)Indexation discursive pour la navigation intradocumentaire : cadres temporels et spatiaux dans l'information géographique., , , , , , , , , und . TALN (Posters), Seite 315-320. ATALA, (2003)Opinion mining in an informative corpus: Building lexicons., , und . KONVENS, Volume 5 von Scientific series of the ÖGAI, Seite 314-318. ÖGAI, Wien, Österreich, (2012)ANNODIS: une approche outillée de l'annotation de structures discursives., , , , , , , , , und 7 andere Autor(en). TALN (Articles courts), Seite 41-46. ATALA, (2009)Modal Theorem Proving: An Equational Viewpoint., und . IJCAI, Seite 441-445. Morgan Kaufmann, (1989)Opinion analysis: The effect of negation on polarity and intensity., , und . KONVENS, Volume 5 von Scientific series of the ÖGAI, Seite 282-290. ÖGAI, Wien, Österreich, (2012)A Case of Termination for Associative Unification., und . IWWERT, Volume 677 von Lecture Notes in Computer Science, Seite 79-89. Springer, (1991)Program Equivalence and Provability., und . MFCS, Volume 74 von Lecture Notes in Computer Science, Seite 237-245. Springer, (1979)Transitions thématiques : Annotation d'un corpus journalistique et premières analyses (Manual thematic annotation of a journalistic corpus : first observations and evaluation) in French., , und . JEP-TALN-RECITAL, Seite 503-510. ATALA/AFCP, (2012)