Theoretical Computer Science
Tipo de material:
TextoIdioma: Inglés Detalles de publicación: World Scientific Publishing Co. Pte. Ltd., 1998Edición: 1a. edDescripción: 384 p. ; 22 x 15.5 cmTema(s): Clasificación CDD: - 004 - Procesamiento de datos Ciencia de los computadores
Contenidos:
Bohm's Theorem for Bohm's Trees.-- Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic.-- A type Assignment System for the Game Semantics.-- Tight Bounds on Broadcasting with Dynamic Faults.
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro
|
Facultad Ingeniería Química / Ing. Dr. Ildefonso Bohórquez de la Torre | Libros | 004 DegT (Navegar estantería(Abre debajo)) | Disponible | norma.carvajal | BINGQ 1.223 |
Navegando Facultad Ingeniería Química / Ing. Dr. Ildefonso Bohórquez de la Torre estanterías, Colección: Libros Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Bohm's Theorem for Bohm's Trees.-- Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic.-- A type Assignment System for the Game Semantics.-- Tight Bounds on Broadcasting with Dynamic Faults.
1998
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.