عنوان
پدید آورنده
موضوع
رده
QA 267 .P87 2010
QA
267
.
P87
2010
کتابخانه
محل استقرار
English
Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
New York
Springer
c2010
x, 206 p.: ill.; 24 cm
Lecture notes in artificial intelligence; 5595
Includes bibliographical references )p. ]191[-197( and index
Gabriele Puppis
1
، Machine theory
، Computer science
، Software engineering
، Computer software
، Logic design
، Artificial intelligence
QA
267
.
P87
2010
Puppis, Gabriele
AU
TI
SE
