Logic, language and computation : festschrift in honor of Satoru Takasu / Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | XII, 269 p. ; 24 cm |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Takasu, Satoru <1931- >
Informatica |
ISBN |
0387579354
3540579354 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10006365 |
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Theoretical aspects of computer software : International symposium TACS '94 : Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell (eds.) |
Autore | International symposium TACS : <2. : ; 1994 |
Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
Descrizione fisica | XI, 885 p. ; 24 cm. |
Disciplina | 005.1015113 |
Collana | Lecture notes in computer science |
Soggetto topico |
Elaboratori elettronici - Programmazione - Congressi - 1994
Logica simbolica - Congressi - 1994 Logica matematica - Congressi - 1994 |
ISBN |
0387578870
3540578870 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10005875 |
International symposium TACS : <2. : ; 1994
![]() |
||
Berlin [etc.], : Springer, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|