01697nam a2200241Ia 450000500170000000800410001702000100005808200160006810000210008424501210010525000120022626000360023830000140027450502910028894200080057999900170058795201430060495201430074795201430089095201430103395201430117695201360131920250107234214.0250106s2010    xx            000 0 und d  a12837  a005.131/D35  aDe Ledesma, Luis 0aLógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG  a1a. ed.  aMéxico, D.F.bAlfaomegac2010  a177eSí  aCapítulo I, teorías de primer orden. Resolución. Elementos de programación lógica y prolog. Definiciones y demostraciones inductivas. Adecuación de las tablas analíticas. Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden.  cLIB  c70082d70082  00104070aUBCBLLbUBCBLLcPPS2d2011-08-24eDonacionfBuenog45.00l0o005.131/D35p45229r2025-01-08 00:11:34w2025-01-08yLIBzExterno  00104070aUBCBLLbUBCBLLcPPS2d2011-08-22eDonacionfBuenog41.00l0o005.131/D35p45228r2025-01-08 00:11:34w2025-01-08yLIBzExterno  00104070aUBCBLLbUBCBLLcPPS2d2011-06-10eDonacionfBuenog41.00l0o005.131/D35p45227r2025-01-08 00:11:34w2025-01-08yLIBzExterno  00104070aUBCBLLbUBCBLLcPPS2d2011-08-12eDonacionfBuenog41.00l0o005.131/D35p45226r2025-01-08 00:11:34w2025-01-08yLIBzExterno  00104070aUBCBLLbUBCBLLcPPS2d2011-06-07eDonacionfBuenog41.00l0o005.131/D35p45225r2025-01-08 00:11:34w2025-01-08yLIBzExterno  00134070aUBCBLLbUBCBLLcPPS2d2011-02-11eDonacionfBuenog41.00l0o005.131/D35r2025-01-08 00:15:07w2025-01-08yLIBzInterno