9783642118814
IR
E-4807
انگلیسی
IR
Automata for branching and layered temporal structures
[Book]
:an investigation into regularities of infinite transition systems
/ Gabriele Puppis
Berlin ;New York
: Springer
, 2010.
x, 206 p., ill.
(Lecture notes in computer science,0302-9743
(LNCS sublibrary
: SL 7 - Artificial intelligence.)
; 5955.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information.)
Print
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.Lecture notes in artificial intelligence
Lecture notes in computer science.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
LNCS sublibrary.SL 7,Artificial intelligence
5955
Machine theory
QA267
.
P87
2010
Puppis, Gabriele.
ایران
old catalog
p
BL
1
a
Y
