@BOOK{ Book!D - 72104663,
AUTHOR = "",
TITLE = "Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings",
LIBRARY= "كتابخانه مركزی دانشگاه صنعتی شریف",
SUBJECT = "، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses",
URL = "/book/72104663/Sorts-and-types-in-artificial-intelligence-works/"}