Agent based mathematical reasoning (1999)

by Christoph Benzmüller , Mateja Jamnik , Manfred Kerber , Volker Sorge
Venue:IN PROCEEDINGS OF THE CALCULEMUS WORKSHOP: SYSTEMS FOR INTEGRATED COMPUTATION AND DEDUCTION
Citations:1 - 1 self