Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por número de registro: 005380
 
 
Libro

Logic in computer science

editor: Zoran Ognjanovic.

[Beograd] : Matematicki institut SANU, 2009.

215 págs. : ilustraciones ; 21 cm.

Serie: Zbornik radova ; 12(20)

ISBN: 9788680593401

Incluye referencias bibliográficas e índices.

Contenido

  • 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.
 
Registro 005380 · Modificado: 26/05/2016

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos