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:10 - 5 self