Kordamisküsimused.

Allikas: Lambda
  1. Resolutsioon lausearvutuses.
  2. Davis-Putnami algoritm.
  3. Unifitseerimine.
  4. Resolutsioon predikaatarvutuses.
  5. Võrdusega predikaatarvutus.
  6. Resolutsioonistrateegiad.
  7. Temporaalloogika modaalne lähenemine.
  8. Temporaalloogika predikaatarvutuslik lähenemine.
  9. Kirjeldusloogikad.