Computación y sistemas (1536 documentos)


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

1502.-
1503.-
1504.-
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]

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

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

1507.-
1508.-
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]

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

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

1511.-
1512.-
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]

1513.-
1514.-
1515.-
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]

1516.-
1517.-
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]

1518.-
1519.-
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]

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