Normal view
MARC view
Programming Languages (Topical Term)
Machine generated authority record
Work cat.: (OSt)12237: Meyer, J. J. Author English 1846, Epistemic Logic for AI and Computer Science, 1995