Abstract Theorem Proving

From Tetherless World Wiki

DBLP:conf/ijcai/GiunchigliaW89 +  redirect page Abstract Theorem Proving +  Has identifier

Abstract Theorem Proving

Has publishing details  pp. 372-377, 1989 Has title  Abstract Theorem Proving Has url  http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#GiunchigliaW89 Has where published  IJCAI Has year  1989 Has author  Fausto Giunchiglia +, Toby Walsh + Has identifier  Abstract Theorem Proving + Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.