Lehekülje "Automated reasoning homework 2015" muudatuste ajalugu

Vaata logisissekandeid selle lehekülje kohta

Mine navigeerimisribale Mine otsikasti

Märgi versioonid, mida tahad võrrelda ja vajuta võrdlemisnupule. Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisimuudatus

viimeel 17. november 2015, kell 17:16‎ Tanel arutelu kaastöö‎ 5031 baiti +205‎ →‎Examples to use as a starting point
viimeel 17. november 2015, kell 16:34‎ Tanel arutelu kaastöö‎ 4826 baiti +16‎ →‎Example code
viimeel 17. november 2015, kell 16:33‎ Tanel arutelu kaastöö‎ 4810 baiti +110‎
viimeel 17. november 2015, kell 16:31‎ Tanel arutelu kaastöö‎ 4700 baiti +41‎ →‎Examples to use as a starting point
viimeel 17. november 2015, kell 16:28‎ Tanel arutelu kaastöö‎ 4659 baiti +130‎ →‎Examples to use as a starting point
viimeel 17. november 2015, kell 15:47‎ Tanel arutelu kaastöö‎ 4529 baiti +160‎
viimeel 10. november 2015, kell 08:58‎ Tanel arutelu kaastöö‎ 4369 baiti +2‎ →‎What you have to do
viimeel 9. november 2015, kell 17:11‎ Tanel arutelu kaastöö‎ 4367 baiti -8‎
viimeel 9. november 2015, kell 16:38‎ Tanel arutelu kaastöö‎ 4375 baiti +114‎ →‎How to create the Otter file and use the output
viimeel 9. november 2015, kell 16:36‎ Tanel arutelu kaastöö‎ 4261 baiti +879‎
viimeel 9. november 2015, kell 16:30‎ Tanel arutelu kaastöö‎ 3382 baiti +670‎
viimeel 9. november 2015, kell 16:04‎ Tanel arutelu kaastöö‎ 2712 baiti -485‎
viimeel 3. november 2015, kell 15:43‎ Tanel arutelu kaastöö‎ 3197 baiti +3197‎ Uus lehekülg: ' == Automated reasoning homework as a second part of a two-phase project == The goal of this homework is * to learn about representing knowledge and rules in logic * experiment...'

Pärit leheküljelt "http://courses.cs.taltech.ee/pages/Automated_reasoning_homework_2015"

Navigeerimismenüü