%PDF-1.4
5 0 obj <<
/Type /Metadata /Subtype /XML
/Length 979
>>
stream
True
http://creativecommons.org/licenses/by-nc-sa/2.5/es/
Copyright 2006 Jose A. Alonso Jimenez. This Text is licensed to the public under the Creative Commons Reconocimiento-NoComercial-CompartirIgual 2.5 Spain License.
endstream
endobj
6 0 obj
<< /S /GoTo /D (chapter.1) >>
endobj
9 0 obj
(Introducci\363n a la programaci\363n en Lisp)
endobj
10 0 obj
<< /S /GoTo /D (chapter.2) >>
endobj
13 0 obj
(Sintaxis y sem\341ntica de la l\363gica proposicional)
endobj
14 0 obj
<< /S /GoTo /D (chapter.3) >>
endobj
17 0 obj
(Representaci\363n de problemas)
endobj
18 0 obj
<< /S /GoTo /D (chapter.4) >>
endobj
21 0 obj
(Formas normales)
endobj
22 0 obj
<< /S /GoTo /D (chapter.5) >>
endobj
25 0 obj
(Tableros sem\341nticos)
endobj
26 0 obj
<< /S /GoTo /D (chapter.6) >>
endobj
29 0 obj
(Diagramas de decisi\363n binarios)
endobj
30 0 obj
<< /S /GoTo /D (chapter.7) >>
endobj
33 0 obj
(Cl\341usulas y formas clausales)
endobj
34 0 obj
<< /S /GoTo /D (chapter.8) >>
endobj
37 0 obj
(El procedimiento de Davis y Putnam)
endobj
38 0 obj
<< /S /GoTo /D (chapter.9) >>
endobj
41 0 obj
(Resoluci\363n proposicional)
endobj
42 0 obj
<< /S /GoTo /D (chapter.10) >>
endobj
45 0 obj
(Refinamientos de resoluci\363n)
endobj
46 0 obj
<< /S /GoTo /D (chapter.11) >>
endobj
49 0 obj
(Programaci\363n l\363gica proposicional)
endobj
50 0 obj
<< /S /GoTo /D (chapter.12) >>
endobj
53 0 obj
(Programaci\363n l\363gica y Prolog)
endobj
54 0 obj
<< /S /GoTo /D (chapter.13) >>
endobj
57 0 obj
(Implementaci\363n de Prolog)
endobj
58 0 obj
<< /S /GoTo /D [59 0 R /Fit ] >>
endobj
61 0 obj <<
/Length 498
/Filter /FlateDecode
>>
stream
xڍSn0+x]c6AF=9b(Ww)IP@.9;Y11b81RPi%&r㻄-R9\/\d[$cPm %Z<¯㭰Kjax&Y+"u|S5ef\f_sqZ~˱Kݴlʝ`>9aQg#הp (
#sw@5v,ghjtls
L*_
]
}Qz5BFi
itەa)Bb×W-T8CTT)kUW_XuU>1?\9H
<>٣yT8/"&c!nNtrI*d4.MjRuv7ms
e= XRљ8tMq+T|siR%USbj7- ǃRuߗuuy)g0gପEg?6$Eendstream
endobj
59 0 obj <<
/Type /Page
/Contents 61 0 R
/Resources 60 0 R
/MediaBox [0 0 595.2756 841.8898]
/Parent 73 0 R
/Annots [ 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R ]
>> endobj
67 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [167.263 526.2419 435.737 548.8325]
/Subtype/Link/A<>
>> endobj
68 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [161.529 506.274 441.471 528.2344]
/Subtype/Link/A<>
>> endobj
69 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [207.0792 486.3062 395.9208 508.2666]
/Subtype/Link/A<>
>> endobj
70 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 174.449 287.1348 195.2709]
/Subtype/Link/A<>
>> endobj
71 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 155.6196 463.1171 176.4415]
/Subtype/Link/A<>
>> endobj
72 0 obj <<
/Type /Annot
/Border[0 0 1]/H/I/C[0 1 1]
/Rect [76.9813 136.7901 216.1074 157.6121]
/Subtype/Link/A<>
>> endobj
62 0 obj <<
/D [59 0 R /XYZ 72 743.4888 null]
>> endobj
63 0 obj <<
/D [59 0 R /XYZ 72 723.6892 null]
>> endobj
60 0 obj <<
/Font << /F38 66 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
79 0 obj <<
/Length 1465
/Filter /FlateDecode
>>
stream
xWKo6QXZ>y1ڠ]6IHZίCZG6BP͓4"(gQ.x*vE[`~9djV%i.,AyZ0&ǘ2y|ak.:ay~lL7 2ޮ5%qz
/֜/UNdm~~tuzs5)$%V/H}/V$e!?aBRZ,jWTfum\xQRLs.\oZ'$R*(Ngԡ덮gTm:SVn4e+*@aWcYWw,H\+Y@ʔfu?S $+'KUӶ`t,g&Y@6
V<#ȱ0˜)&GXd;.{շzT/8c"%M)w%EzLdY1f%D*pi&f?h^C\"A86uk-_Ղyd
G!2etf7?Nfѹj?*5xTLAɧ N
'^iv;]k)*}GpQ"ڼki@D(@\B$P.SYʩD Yw62~Q,,8xa1uo3NwJ[u*aʒ3>1{}Mޡjpqq.Cʾ1234聞Lzؚh8N*è5r%ih\7n=3j8(S~if2BS?/|ef0zhk iV_jfDoڠglWķ9pϑ.唘pz7ׂaF^|;