TY - BOOK ED - European Workshop JELIA'90. ED - Eijck, J. van TI - Logics in AI: European Workshop JELIA'90, Amsterdam, September 10-14, 1990 proceedings SN - 3540536868 PY - 1991/// CY - Berlin PB - Springer-Verlag KW - Artificial intelligence KW - Congresses KW - Logic programming KW - Semantics KW - Data processing KW - Logic, Symbolic and mathematical KW - Nonclassical mathematical logic ER -