Probalistic and truth-functional many-valued logic programming - Lukasiewicz, Thomas; Justus Liebig University Giessen (Universitätsbibliothek Gießen, 1998)
Keywords: ddc:004