01318nam2-2200397li-450-9900002007702033163-540-57604-50020077USA010020077(ALEPH)000020077USA01002007720001109d1991994-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 sciencealtro genere00100199922001Lecture notes in artificial intelligencelogica matematicalogica simbolica005131Logica matematica (Logica simbolica)Wagner,GerdSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200770203316006.3 LNIA (764)0015929006.300106618BKSCI1999020120001110USA011713ALANDI9020010328USA01174320020403USA011628PATRY9020040406USA011614UNISA