Logic, language, and computation festschrift in honor of Satoru Takasu

Bibliographische Detailangaben
Weitere Verfasser: Takasu, Satoru 1931-, Jones, Neil D., Hagiya, Masami 1957-, Sato, Masahiko 1947-
Format: Buch
Sprache:English
Veröffentlicht: Berlin Springer-Verlag c1994.
Schriftenreihe:Lecture notes in computer science 792
Schlagworte: