Treffer 1 – 7 von 7 für Suche 'Ida, Tetsuo', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    An Introduction to Computational Origami

    An Introduction to Computational Origami von Ida, Tetsuo

    Veröffentlicht 2020

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


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

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert 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

    Veröffentlicht 2013
    Weitere Verfasser: “… Ida, Tetsuo …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2013
    Weitere Verfasser: “… Ida, Tetsuo …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2014
    Weitere Verfasser: “… Ida, Tetsuo …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: