Logic in computer science /
Guardado en:
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
[Beograd] :
Matematicki institut SANU,
2009.
|
| Series: | Zbornik radova (Matematicki institut SANU) ;
12(20) |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- Bicartesian coherence revisited /
- Kosta Dosen and Zoran Petric
- Probability logics /
- Zoran Ognjanovic, Miodrag Raskovic and Zoran Markovic
- Reasoning in basic description logics and description logics with modal operators /
- Milenko Mosurovic, Tatjana Stojanovic, and Ana Kaplarevic-Malisic
- Computational interpretations of logics /
- Silvia Ghilezan and Silvia Likavec.