Logic, language, and computation : festschrift in honor of Satoru Takasu
This volume contains 15 papers from research areas where Japanese theoretical computer science is particularly strong. Many are about logic, and its realization and applications to computer science; others concern synthesis, transformation and implementation of programming languages, and complexity...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
792 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic, language, and computation, festschrift in honor of Satoru Takasu, Neil D. Jones, Masami Hagiya, Masahiko Sato, eds, Berlin, Springer-Verlag, 1994, 1 vol. (XII-269 p.), Lecture notes in computer science, 3-540-57935-4 • Logic, Language and Computation, Texte imprimé, 9783662192399 |