01363nam2-2200409li-450 99000020077020331620180312154724.03-540-57604-50020077USA010020077(ALEPH)000020077USA01002007720001109d1994----km-y0itay0103----baengGWVivid logicknowledge-based reasoning with twokinds of negationGerd WagnerBerlin [etc.]Springer-Verlagcopyr. 1994XII, 148 p.ill.24 cmLecture notes in artificial intelligence764serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencelogica matematicalogica simbolica005131Logica matematica (Logica simbolica)Wagner,Gerd714614Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200770203316006.3 LNIA (764)0015929006.300106618BKSCI1999020120001110USA011713ALANDI9020010328USA01174320020403USA011628PATRY9020040406USA011614Vivid logic1381946UNISA