Fail:Geoffreasoningnotes.pdf
Allikas: Lambda
Geoffreasoningnotes.pdf (faili suurus: 1,55 MB, MIME tüüp: application/pdf)
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
Kuupäev/kellaaeg | Mõõtmed | Kasutaja | Kommentaar | |
---|---|---|---|---|
viimane | 17. september 2008, kell 19:06 | (1,55 MB) | Tammet (arutelu | kaastöö) |
- Sa ei saa seda faili üle kirjutada.
Failikasutus
Sellele failile viitavad järgmised 11 leheküljed:
- Automaatne teoreemitõestamine I
- ITV0081 arhiiv 2014
- Itv0060 20010 arhiiv
- Itv0060 2009 arhiiv
- Itv0060 2011 arhiiv
- Itv0060 2012 arhiiv
- Itv0060 2013 arhiiv
- Itv0060 2014 arhiiv
- Lausearvutuse ja lihtsamate predikaatarvutuse ülesannete lahendamine
- Rakendusliku loogika süvakursus
- Teadmiste otsing, formaliseerimine ja hoidmine