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!
|
| LEADER | 01051nam a22001935a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb005380 | ||
| 008 | 090617s2009####yu#a#####b####000#0#eng#d | ||
| 005 | 20160526125343.0 | ||
| 245 | 1 | 0 | |a Logic in computer science / |c editor: Zoran Ognjanovic. |
| 260 | |a [Beograd] : |b Matematicki institut SANU, |c 2009. | ||
| 300 | |a 215 p. : |b il. ; |c 21 cm. | ||
| 490 | 1 | |a Zbornik radova ; |v 12(20) | |
| 504 | |a Incluye referencias bibliográficas e índices. | ||
| 505 | 0 | 0 | |t Bicartesian coherence revisited / |r Kosta Dosen and Zoran Petric -- |t Probability logics / |r Zoran Ognjanovic, Miodrag Raskovic and Zoran Markovic -- |t Reasoning in basic description logics and description logics with modal operators / |r Milenko Mosurovic, Tatjana Stojanovic, and Ana Kaplarevic-Malisic -- |t Computational interpretations of logics / |r Silvia Ghilezan and Silvia Likavec. |
| 020 | |a 9788680593401 | ||
| 700 | 1 | |a Ognjanovic, Zoran. |4 edt | |
| 830 | 0 | |a Zbornik radova (Matematicki institut SANU) ; |v 12(20) | |
| 084 | |a 00B15 (03-06 68-06) |2 msc2000 | ||
| 859 | |h 00B15 |i L832 |p A-8573 |b BIB. MATEMATICA | ||