T, a simple reduction language based on combinatory term rewriting:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Ida, Tetsuo (VerfasserIn), Toyama, Yoshihito (VerfasserIn), Aiba, Akira (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Tokyo, Japan 1987
Schriftenreihe:Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 298
Schlagwörter:
Umfang:19 S.
Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik &amp; Informatik, Berichte
Signatur: 0111 2001 B 6123-298
Lageplan
Exemplar 1 Ausleihbar Am Standort