Zum Inhalt springen

  1. Miyamoto, Kenji [VerfasserIn] ; Schwichtenberg, Helmut [AkademischeR BetreuerIn]

    Program extraction from coinductive proofs and its application to exact real arithmetic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013

  5. Ishikawa, Masumi [Sonstige Person, Familie und Körperschaft]; Doya, Kenji [Sonstige Person, Familie und Körperschaft]; Miyamoto, Hiroyuki [Sonstige Person, Familie und Körperschaft]; Yamakawa, Takeshi [Sonstige Person, Familie und Körperschaft]

    Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4984

  6. Ishikawa, Masumi [Sonstige Person, Familie und Körperschaft]; Doya, Kenji [Sonstige Person, Familie und Körperschaft]; Miyamoto, Hiroyuki [Sonstige Person, Familie und Körperschaft]; Yamakawa, Takeshi [Sonstige Person, Familie und Körperschaft]

    Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4985

  7. Berg, Andrew [VerfasserIn]; Bounader, Lahcen [VerfasserIn]; Gueorguiev, Nikolay [VerfasserIn]; Miyamoto, Hiroaki [VerfasserIn]; Moriyama, Kenji [VerfasserIn]; Nakatani, Ryota [VerfasserIn]; Zanna, Luis-Felipe [VerfasserIn]

    For the Benefit of All : Fiscal Policies and Equity-Efficiency Trade-Offs in the Age of Automation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, [2022]

    Erschienen in: IMF Working Paper ; No. 2021/187

  8. Nakatani, Ryota [VerfasserIn]; Berg, Andrew [VerfasserIn]; Gueorguiev, Nikolay [VerfasserIn]; Moriyama, Kenji [VerfasserIn]; Zanna, Luis-Felipe [VerfasserIn]; Miyamoto, Hiroaki [VerfasserIn]; Bounader, Lahcen [VerfasserIn]

    For the Benefit of All : Fiscal Policies and Equity-Efficiency Trade-Offs in the Age of Automation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, 2022

  9. Berg, Andrew [VerfasserIn]; Bounader, Lahcen [VerfasserIn]; Georgiev, Nikolaj [VerfasserIn]; Miyamoto, Hiroaki [VerfasserIn]; Moriyama, Kenji [VerfasserIn]; Nakatani, Ryota [VerfasserIn]; Zanna, Luis-Felipe [VerfasserIn]

    For the benefit of all : fiscal policies and equity-efficiency trade-offs in the age of automation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Washington, D.C.]: International Monetary Fund, July 2021

    Erschienen in: Internationaler Währungsfonds: IMF working papers ; 2021,187

  20. MIYAMOTO, Kenji

    Pulmonary Rehabilitation

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Japanese Association of Rehabilitation Medicine, 2002

    Erschienen in: The Japanese Journal of Rehabilitation Medicine