| Document Date: 2012-02-03 06:11:00 Open Document File Size: 175,20 KBShare Result on Facebook
City Warsaw / / Country Poland / Sweden / / Currency pence / / / Facility Warsaw University / / IndustryTerm elimination algorithm / deductive systems / proof systems / / Organization Warsaw University / Swedish Council for Engineering Sciences / Department of Computer and Information Science / / Person Ai / Semi-Horn Formulas Patrick Doherty Witold / Horn Clause / / Technology DLS algorithm / elimination algorithm / 3.1 DLS Algorithm / nd algorithms / /
SocialTag |