عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1775
QA
76
.
L28
Vol
.
1775
کتابخانه
محل استقرار
Challenges for action theories
Berlin
Springer-Verlag
c2000
xiv, 138 p.: ill
Lecture notes in computer science; 5771. Lecture notes in artificial intelligence
Bibliography: p. ]127[-134
ISBN 3540674551
Michael Thielscher
1
، Computer logic
، System design
، Formal methods )Computer science(
QA
76
.
L28
Vol
.
1775
Thielscher, Michael
AU
TI
SE Lecture notes in computer science 1775
