Suchergebnisse - Ida, Tetsuo

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An Introduction to Computational Origami
    von Ida, Tetsuo

    Veröffentlicht 2020
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2013
    Weitere beteiligte Personen: “… Ida, Tetsuo …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2013
    Weitere beteiligte Personen: “… Ida, Tetsuo …”
    Inhaltsverzeichnis
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Ida, Tetsuo …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Ida, Tetsuo …”
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: