TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)/Flashcards (Karteikarten): basics of first order logic

Aus VoWi

< TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)

Zur Navigation springen Zur Suche springen

→ https://web.archive.org/web/20180817160800/https://www.brainyoo.com/Brainyoo2Web/login

Things like: What's a signature, What's a term, ect.

Abgerufen von „https://vowi.fsinf.at/index.php?title=TU_Wien:Knowledge-based_Systems_VU_(Egly,_Eiter,_Tompits)/Flashcards_(Karteikarten):_basics_of_first_order_logic&oldid=123196“