Computación y sistemas (1435 documentos)


1401.-
1402.-
1403.-
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]

1404.-
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]

1405.-
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]

1406.-
1407.-
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]

1408.-
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]

1409.-
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]

1410.-
1411.-
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]

1412.-
1413.-
1414.-
Control systems in optical fibre industry
Kostka, Frantisek1
1Academy of Sciences of the Czech Republic, Institute of Radio Engineering, Praga. República Checa
[Computación y sistemas, México, 1998 Vol. 1 Núm. 4 Abr-Jun, Pág. 195-200]

1415.-
1416.-
Software process modeled with objects: Static view
Oktaba, Hanna1; Ibargüengoitia González, Guadalupe2
1Universidad Nacional Autónoma de México, Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, México, Distrito Federal. México; 2Universidad Nacional Autónoma de México, Facultad de Ciencias, México, Distrito Federal. México
[Computación y sistemas, México, 1998 Vol. 1 Núm. 4 Abr-Jun, Pág. 228-238]

1417.-
1418.-
Eckel, Bruce. Thinking in Java, Ed. Prentice-Hall, 1998
Ferro Castro, Bárbaro1
1Instituto Politécnico Nacional, Centro de Investigación en Computación, México, Distrito Federal. México
[Computación y sistemas, México, 1998 Vol. 1 Núm. 3 Ene-Mar, Pág. 179-182]

1419.-
Experiments with domain knowledge in unsupervised learning: using and revising theories
Béjar, J1; Cortés, U
1Universidad Politécnica de Cataluña, Departamento de Lenguajes y Sistemas Informáticos, Barcelona. España
[Computación y sistemas, México, 1998 Vol. 1 Núm. 3 Ene-Mar, Pág. 136-144]

1420.-
Head tracking by glasses detection
Voss, Klaus1; Ríos Figueroa, Homero2; Peña Acevedo, Joaquín3
1Friedrich Schiller University, Department of Mathematics and Informatics, Jena, Gera. Alemania; 2Laboratorio Nacional de Informática Avanzada, Jalapa, Veracruz. México; 3Universidad Veracruzana, Facultad de Matemáticas, Jalapa, Veracruz. México
[Computación y sistemas, México, 1998 Vol. 1 Núm. 3 Ene-Mar, Pág. 170-178]