( en | de | ru )

 

Disambiguierung von "Kahn, Gilles"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proof by Pointing.

, , und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 141-160. Springer, (1994)

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.

Alfred Kahn

Eugen Kahn

Erich Kahn

Bruno Kahn

Josef Kahn

 

Weitere Publikationen von Autoren mit dem selben Namen

Outline of a Tool for Document Manipulation., , , , und . IFIP Congress, Seite 615-620. North-Holland/IFIP, (1983)Extracting Text from Proofs., , und . TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 109-123. Springer, (1995)On the formal definition of ADA., , und . Semantics-Directed Compiler Generation, Volume 94 von Lecture Notes in Computer Science, Seite 475-489. Springer, (1980)Ariane 5 Flight 501 Failure Report by the Inquiry Board, , , , , , , , und . Paris, France, (Juli 1996)CENTAUR: The System., , , , , , und . Software Development Environments (SDE), Seite 14-24. ACM, (1988)Proof by Pointing., , und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 141-160. Springer, (1994)CENTAUR: Towards a "Software Tool Box" for Programming Environments., , und . SEE, Volume 467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (1989)Documents Structure and Modularity in Mentor., , , und . Software Development Environments (SDE), Seite 141-148. ACM, (1984)SIGPLAN Notices 19 (5), May 1984.Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples., , und . ICALP, Volume 14 von Lecture Notes in Computer Science, Seite 200-213. Springer, (1974)A Simple Applicative Language: Mini-ML., , , und . LISP and Functional Programming, Seite 13-27. ACM, (1986)