1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence

رده :
QA
267
.
P87
2010