年 〜
年

検索結果 8 件

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet. (Lecture notes in computer science)

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet. (Lecture notes in computer science)
紙図書
Springer-Verlagc1986.<M15-A3130>
国立国会図書館
  • 件名Functional programming languages -- Congresses. Combinatory logic -- Congresses.

Coding, cryptography and combinatorics : sz : us

Coding, cryptography and combinatorics : sz : us
紙図書
Keqin Feng, Harald Niederreiter, Chaoping Xing, editorsBirkhäuserc2004
全国の図書館
  • 件名... -- Congresses Combinatory logic -- Congresses
  • 件名（識別子）... -- Congresses Combinatory logic -- Congresses

Words, Languages & Combinatorics III : proceedings of the International Conference, Kyoto, Japan, 14-18 March 2000

Words, Languages & Combinatorics III : proceedings of the International Conference, Kyoto, Japan, 14-18 March 2000
紙図書
editors, Masami Ito, Teruo ImaokaWorld Scientificc2003
全国の図書館
  • 件名... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...
  • 件名（識別子）... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm. (Lecture notes in computer science ; 37)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. Böhm. (Lecture notes in computer science ; 37)
紙図書
Springer-Verlag1975.<MA41-102>
国立国会図書館
  • 件名Combinatory logic -- Congresses. Programming languages (Elect...

Words, languages and combinatorics, II : proceedings of the international conference, Kyoto, Japan, 25-28 August 1992

Words, languages and combinatorics, II : proceedings of the international conference, Kyoto, Japan, 25-28 August 1992
紙図書
editors, Masami Ito, Helmut JürgensenWorld Scientificc1994
全国の図書館
  • 件名... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...
  • 件名（識別子）... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...

Words, languages and combinatorics : Kyoto, Japan, 28-31 August 1990

Words, languages and combinatorics : Kyoto, Japan, 28-31 August 1990
紙図書
editor, Masami ItoWorld Scientificc1992
全国の図書館
  • 件名... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...
  • 件名（識別子）... -- Congresses Combinatory logic -- Congresses Formal languages -- Congresse...

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings : gw : us

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 RobinetSpringer-Verlagc1986
全国の図書館
  • 件名Functional programming languages -- Congresses Combinatory logic -- Congresses プログラミング用言語(電子計算機)
  • 件名（識別子）Functional programming languages -- Congresses Combinatory logic -- Congresses プログラミング用言語(電子計算機)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 : gw : us

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 : gw : us
紙図書
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. BöhmSpringer-Verlag1975
全国の図書館
  • 件名Combinatory logic -- Congresses Programming languages (Electr...
  • 件名（識別子）Combinatory logic -- Congresses Programming languages (Electr...

検索結果は以上です。