Term-modal logic and quantifier-free dynamic assignment logic
Edición de la obra Term-modal logic and quantifier-free dynamic assignment logic
| Autor | Lars Thalmann |
|---|---|
| Editorial | Computing Science Dept., Uppsala University |
| Fecha de publicación | 2000 |
| Lugar | Uppsala, Sweden |
| Idioma | inglés |
| Páginas | 130 |
| Formato | [microform] / |
| ISBN-10 | 9150614436 |
| OCLC | 46896572 |
| LCCN | 2001372934 |
| Serie | Uppsala theses in computing science -- 34 |