Computación y sistemas (1342 documentos)


1301.-
1302.-
Sensei: Transferencia de estado en grupos de objetos distribuidos
Peña Cabañas, L.M1; Pavón Mestras, J
1Universidad Complutense de Madrid, Departamento de Sistemas Informáticos y Programación, Madrid. España
[Computación y sistemas, México, 1999 Vol. 2 Núm. 4 Abr-Jun, Pág. 191-201]

1303.-
Una metodología de distribución de procesos en problemas de simulación
Iribarne, L.F1; Flores, I; Bienvenido, J.F
1Universidad de Almería, Departamento de Lenguajes y Computación, Almería. España
[Computación y sistemas, México, 1999 Vol. 2 Núm. 4 Abr-Jun, Pág. 202-212]

1304.-
1305.-
Chysalis: agentes de usuario en la construcción de bibliotecas digitales botánicas
Sánchez, J. Alfredo1; López, Cristina A; Schnase, John L
1Universidad de las Américas, Laboratorio de Tecnologías Interactivas y Cooperativas, Cholula, Puebla. México; 2Missouri Botanical Garden, Center for Botanical Informatics, Saint Louis, Misuri. Estados Unidos de América
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 95-103]

1306.-
Confluent rewriting systems in non-monotonic reasoning
Arrazola, José1; Dix, Jürgen; Osorio, Mauricio
1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias Físico Matemáticas, Puebla. México; 2University of Koblenz, Department of Computer Science, Koblenz. Alemania
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 104-113]

1307.-
Eels: electric snakes
Marín Hernández, Antonio1; Ríos Figueroa, Homero V2
1Universidad Veracruzana, Facultad de Física e Inteligencia Artificial, Jalapa, Veracruz. México; 2Laboratorio Naconal de Informática Avanzada, Jalapa, Veracruz. México
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 87-94]

1308.-
1309.-
1310.-
Poole, David; Mackworth, Alan; Goebel, Randy. Computational intelligence: a logical approach. Oxford University Press, 1998
Alvarado, Matías1
1Instituto Politécnico Nacional, Centro de Investigación en Computación, México, Distrito Federal. México
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 146-149]

1311.-
Propuestas algorítmicas para la resolución de los problemas de satisfactibilidad
De Ita Luna, Guillermo1
1Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 140-145]

1312.-
Using difference reduction for generic proof search
Negrete, Santiago1
1Instituto Tecnológico y de Estudios Superiores de Monterrey, Departamento de Computación, Cuernavaca, Morelos. México
[Computación y sistemas, México, 1998-1999 Vol. 2 Núm. 2-3 Oct-Mar, Pág. 126-139]

1313.-
1314.-
Computing abduction in semantic tableaux
Aliseda, Atocha1
1Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas, México, Distrito Federal. México
[Computación y sistemas, México, 1998 Vol. 2 Núm. 1 Jul-Sep, Pág. 5-13]

1315.-
JavaA: Inclusión de aserciones en Java
Katrib, Miguel1; Fernández, Damián
1Universidad de La Habana, Departamento de Ciencia de la Computación, La Habana. Cuba
[Computación y sistemas, México, 1998 Vol. 2 Núm. 1 Jul-Sep, Pág. 35-48]

1316.-
Linearizability of n-linear sirups
Hernández, Héctor J1; Dongxing Tang2
1Universidad Autónoma de Ciudad Juárez, Instituto de Ingeniería y Tecnología, Ciudad Juárez, Chihuahua. México; 2New Mexico State University, Department of Computer Science, Las Cruces, Nuevo México. Estados Unidos de América
[Computación y sistemas, México, 1998 Vol. 2 Núm. 1 Jul-Sep, Pág. 24-34]

1317.-
1318.-
A fast algorithm for scheduling equal-length jobs on identical machines
Vakhania, Nodari1
1Universidad Autónoma del Estado de Morelos, Facultad de Ciencias, Cuernavaca, Morelos. México
[Computación y sistemas, México, 1998 Vol. 1 Núm. 4 Abr-Jun, Pág. 239-250]

1319.-
1320.-