Handbook of logic in computer science /
Guardado en:
| Otros Autores: | , , |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1992-<2000
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- . 1. Background, mathematical structure
- v. 2. Background, computational structure
- v. 3. Semantic structures
- v. 4. Semantic modelling