Artificial intelligence Logic, Symbolic and mathematical formális logika konferencia konferenciakötet matematikai logika mesterséges intelligencia tanulmányok Artificial intelligence -- Congresses Congresses Electronic data processing Electronic data processing -- Congresses Logic Logic, Symbolic and mathematical -- Congresses Mathematical logic adatfeldolgozás adatfeldolgozás -- elektronikus elektronikus elektronikus adatfeldolgozás elektronikus könyv formális logika -- konferencia logika matematikai logika -- konferencia mesterséges intelligencia -- konferencia tagadás tagadás -- logika -- konferencia