TY - DATA AU - Jan van Eijck TI - Logics in AI SN - 9783540469827 PY - 1991/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/BFb0018429 ER -