Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Guardado en:
Detalles Bibliográficos
Autor Corporativo: All-Berlin Workshop on Nonclassical Logics and Information Processing Berlin, Germany
Otros Autores: Pearce, D., Wansing, H.
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Berlin : Springer-Verlag, 1992.
Colección:Lecture notes in computer science. Lecture notes in artificial intelligence ; 619.
Materias:
Logic programming > Congresses.
Artificial intelligence > Congresses.
Nonclassical mathematical logic > Congresses.
Proof theory > Congresses.
Descripción
Descripción Física:171 p. ; 25 cm.
Bibliografía:Includes bibliographical references.
ISBN:0387557458

Ejemplares similares