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

From VoWi
Jump to navigation Jump to search

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