@BOOK{ Book!D - 101384655,
AUTHOR = "Jacques Calmet...]et al.[",
TITLE = "Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving",
URL = "/book/101384655/Artificial-intelligence-automated-reasoning-and/"}