著者典拠情報

著者標目形：
Laboratoire Informatique Théorique et Programmation (France). Spring School
属性：
Meeting
場所：
Val d'Ajol, France;Argelès, France;Saint-Pierre d'Oléron, France
日付：
1985;1986;1987
から見よ参照形：
Spring School of the LITP
注記：
Its (15th : May 25-29, 1987 : Saint-Pierre d'Oléron) Electronic dictionaries and automata in computational linguistics, c1989
Its (14th : May 12-16, 1986 : Argelès, France) Automata networks, c1988
Its (13th : May 6-10, 1985 : Val d'Ajol, France) Combinators and functional programming languages, c1986
著者典拠ID：
DA00866377


1.

図書
図書
1. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings (: gw ; : us)
I. Guessarian (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 469
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
2.

図書
図書
2. Electronic dictionaries and automata in computational linguistics : LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987 : proceedings (: gw ; : us)
M. Gross, D. Perrin, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 377
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
3.

図書
図書
3. Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings (: gw ; : us)
C. Choffrut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 316
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館
4.

図書
図書
4. Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (: gw ; : us)
edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 242
オンライン: 電子版はこちら　※岐阜大学構成員専用(Gifu University members only)
所蔵情報: 図書館