Jump to main content

yr 〜
yr

Search results 11

Transactions on computational systems biology VI

Transactions on computational systems biology VI
Paper図書
Corrado Priami, Gordon Plotkin (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingPriami, Corrado Plotkin, G. (Gordon)

Transactions on computational systems biology 6. : 4th international conference on computational methods in systems biology : CMSB 2005 : workshop on computational methods in systems biology : ETAPS 2005 : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 4220. Lecture Notes in Bioinformatics. Journal Subline)

Transactions on computational systems biology 6. : 4th international conference on computational methods in systems biology : CMSB 2005 : workshop on computational methods in systems biology : ETAPS 2005 : Apr 2005, Edinburgh, UK. (Lecture Notes in Computer Science ; 4220. Lecture Notes in Bioinformatics. Journal Subline)
Paper図書
Springerc2006.<M17-09-1284>
National Diet Library
  • Author HeadingPriami, Corrado. Plotkin, G. (Gordon) , 1946- CMSB 2005 (2005 : Edi...

Proof, language, and interaction : essays in honour of Robin Milner : hc

Proof, language, and interaction : essays in honour of Robin Milner : hc
Paper図書
edited by Gordon Plotkin, Colin Stirling, and Mads TofteMIT Pressc2000
Other Libraries in Japan
  • Author HeadingPlotkin, G. (Gordon) Stirling, Colin P. Tofte, Mad...

Logical environments

Logical environments
Paper図書
edited by Gérard Huet, Gordon PlotkinCambridge University Press1993
Other Libraries in Japan
  • Author HeadingHuet, Gérard Plotkin, G. (Gordon)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings : gw

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings : gw
Paper図書
Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Author Heading...i, Mariangiola Plotkin, G. (Gordon)

Logical frameworks

Logical frameworks
Paper図書
edited by Gérard Huet, G. PlotkinCambridge Univ. Press1991
Other Libraries in Japan
  • Author HeadingHuet, Gérard Plotkin, G. (Gordon)

Computational logic : essays in honor of Alan Robinson

Computational logic : essays in honor of Alan Robinson
Paper図書
edited by Jean-Louis Lassez and Gordon PlotkinMIT Pressc1991
Other Libraries in Japan
  • Author HeadingRobinson, J. A. (John Alan) Lassez, Jean-Louis Plotkin, G. (Gordon)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9583>
National Diet Library
  • Author Heading... (Mariangiola) Plotkin, G. (Gordon) , 1946-

Situation theory and its applications v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk

Situation theory and its applications v. 1 v. 1 : pbk v. 2 v. 2 : pbk v. 3 v. 3 : pbk
Paper図書
edited by Robin Cooper, Kuniaki Mukai, and John PerryCenter for the Study of Language and Informationc1990-
Other Libraries in Japan
  • Author Heading...ron, Jean Mark Plotkin, G. (Gordon) 土屋, 俊 Aczel, Peter Israel, Da...

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings : gw : us

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings : gw : us
Paper図書
edited by G. Kahn, D.B. MacQueen, and G. PlotkinSpringer-Verlag1984
Other Libraries in Japan
  • Author Heading... B. (David B.) Plotkin, G. (Gordon) International Symposium on th...

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A3565>
National Diet Library
  • Author Heading...id B.) , 1946- Plotkin, G. (Gordon) , 1946- International Federat...

Reached to the end of result.

RSS