دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

The recognizability of sets of graphs is a robust property

56 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Bisimulation relations for dynamical, control, and hybrid systems

33 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Precedence-inclusion patterns and relational learning

54 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Probabilistic temporal logics via the modal mu-calculus

35 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Any-world assumptions in logic programming

31 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه

Temporal stratification tests for linear and branching-time deductive databases

34 صفحه فرمت PDF سال انتشار : 2005 دانلود متن کامل مقاله ISI سفارش ترجمه