Showing 1 - 7 results of 7 for search 'Ida, Tetsuo', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    An Introduction to Computational Origami

    An Introduction to Computational Origami by Ida, Tetsuo

    Published 2020

    Get full text Get full text
    Electronic eBook


    Saved in:
  2. 2
    Comparison of closure reduction and combinatory reduction schemes

    Comparison of closure reduction and combinatory reduction schemes by Ida, Tetsuo, Konagaya, Akihiko

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    T, a simple reduction language based on combinatory term rewriting

    T, a simple reduction language based on combinatory term rewriting by Ida, Tetsuo, Toyama, Yoshihito, Aiba, Akira

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Symbolic computation in software science 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, proceedings

    Symbolic computation in software science 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, proceedings

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers

    Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers

    Published 2013
    Other Authors: “…Ida, Tetsuo…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers

    Automated deduction in geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17 - 19, 2012 ; revised selected papers

    Published 2013
    Other Authors: “…Ida, Tetsuo…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  7. 7
    Second Fuji International Workshop on Functional and Logic Programming, Shonan Village Center, Japan, Nov 1-4, 1996

    Second Fuji International Workshop on Functional and Logic Programming, Shonan Village Center, Japan, Nov 1-4, 1996

    Published 2014
    Other Authors: “…Ida, Tetsuo…”
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: