Mechanising Partiality without Re-Implementation (1997)

by Manfred Kerber , Michael Kohlhase
Venue:IN 21ST ANNUAL GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME 1303 OF LNAI
Citations:9 - 4 self