SpringerLink (Online service), Voronkov, A., & Sutcliffe, G. Logic for programming, artificial intelligence, and reasoning (vol. # 3835): 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), Andrei Voronkov, और Geoff Sutcliffe. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835): 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
एमएलए (8वां संस्करण) प्रशस्ति पत्रSpringerLink (Online service), et al. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835): 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.