@BOOK{ Book!D - 90229453,
AUTHOR = " edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.",
TITLE = "Descriptional complexity of formal systems :",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.",
URL = "/book/90229453/Descriptional-complexity-of-formal-systems/"}