@BOOK{ Book!D - 72139906,
AUTHOR = "",
TITLE = "Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses",
URL = "/book/72139906/Integrating-symbolic-mathematical-computation-and/"}