01725nam0 22003973i 450 AQ1000570720251003044041.00387576045New York3540576045Berlin20120123d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierVivid logicKnowledge-based reasoning with two kinds of negationGerd WagnerBerlin [etc.]Springerc1994XII, 148 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence764001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence764Sistema espertoFIRCFIC011823ILogica simbolicaFIRSBLC002225ILogica matematicaFIRCFIC000378E006.3INTELLIGENZA ARTIFICIALE14006.33Sistemi fondati sulla rappresentazione della conoscenza22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Wagner, Gerd <1957- >AQ1V003001070714614ITIT-00000020120123IT-BN0095 AQ10005707Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000018645 VMA A4(0764 v. 764Y 1995031320120123 01Vivid logic1381946UNISANNIO