マリン ミルチア  MARIN Mircea

Frontiers of Computer Science in China Springer

巻: 4(2) ページ: 173-184

Proceedings of SYNASC 2010. IEEE Computer Society Order Number P3964

ページ: 307-314

Advances in Databases and Information Systems. Associated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968

ページ: 104-112

Procs.of SYNASC' 2010, Timisoara, Romania(T.Ida, V.Negru, T.Jebelean, D.Petcu, S.Watt, D.Zaharie, editors)(IEEE Computer Society)

ページ: 366-276

Advances in Databases and Information Systems. As sociated Workshops and Doctoral Consortium of ADBIS 2009. Proceedings. LNCS 5968

ページ: 104-112

PNTCS 15

ページ: 32-43

9^<th> Intl Workshop on Reduction Strategies in Rewriting and Programming(WRS'09). Electronic Proceedings in Theoretical Computer Science EPTCS 15

ページ: 32-43

Procs.of SYN-ASC' 2009. Timisoara, Romania(S.Watt, V.Negru, T.Ida, T.Jebelean, D.Petcu, D.Zaharie, editors)(IEEE Computer Society.)

Lecture Notes in Computer Science

巻: 6226 ページ: 329-339

Proceedlngs of the 14^<th> Intl.Conference on Developments in Language Theory (DLT 2010).(Sheng Yu, editor)(London, Ontario, Canada.LNCS 6224) Springer

ページ: 328-339

Frontiers of Computer Science in China. 4(2)

ページ: 173-184

IEEE Computer Society Proceedings of 12^th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

ページ: 366-376

Leibniz International Proceedings in Informatics(LIPIcs)

巻: 6 ページ: 193-208

ADBIS 2009.(J.Grundspenkis, M.Kirikova, Y.Manoloupoulos, L.Novickis, editors)(Revised Selected Papers. Riga, Latvia. LNCS 5968)

ページ: 104-112

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Electronic Notes in Theoretical Computer Science 216

ページ: 31-44

Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WFLP 2007)

ページ: 139-152

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

International Conference on Computational Science and Its Applications 2007(ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

International Conference on Computational Science and Its Applications 2007(ICCSA 2007)Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

Proceedings of the 16th International Works hopon Functional and(Constraint) Logic Programming(WFLP 2007)

ページ: 139-152

International Conference on Computational Science and Its Applications 2007 (ICCSA 2007), Lecture Notes in Computer Science, Springer 4706

ページ: 653-665

Proceedings of 22 nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Prooceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 22nd ACM Symposium on Applied Computing

ページ: 767-772

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)

ページ: 139-152

Proceedings of the 16th International Workshop on Functional and(Constraint)Logic Programming(WELP 2007)

ページ: 139-152

The 4th International Conference on Mathematical Knowledge Management LNAI 3863

ページ: 267-282

Mathematica in Education and Research 11 (1)

ページ: 50-66

Proceedings of the 22th Intl. Workshop on Unification (UNIF 2006)

ページ: 89-107

Proceedings of Second Internhational Congress on Mathematical Software LNCS4151

ページ: 361-372

Proceedings of Second International Congres s on Mathematical Software LNCS4151

ページ: 361-372

The 4th International Conference on Mathematical Knowledge Management LNAI 3863

ページ: 267-282

Journal of Applied Non-Classical Logic 16(1-2)

ページ: 151-168

Mathematica in Education and Research 11(1)

ページ: 50-66

Mathematica in Education and Research. 11

ページ: 50-66

Journal of Applied Non-Classical Logic 16 (1-2)

ページ: 151-168

Journal of Applied Non-Classical Logic 16(1-2)

ページ: 151-168

Journal of Applied Non-Classical Logic 16(1-2)

ページ: 151-168

Mathematica in Education and Research 11(1)

ページ: 50-66

Proceedings of 4th International Conference on Origami, Science, Mathematics and Education

ページ: 69-69

Proceedings of Second International Congress on Mathematical Software LNCS 4151

ページ: 361-372

The 4th International Conference on Mathematical Knowledge Management LNAI3863

ページ: 267-282

Proceedings of Second International Congress on Mathematical Software LNCS 4151

ページ: 361-372

Proceedings of MKM 2005. Lecture Notes in Artificial Intelligence. LNAT3863

ページ: 267-282

Mathematica in Education and Research 11(1)

ページ: 50-66

Proceedings Second International Congress on Mathematical Software, LNCS 4151

ページ: 361-372

Proceedings of International Mathematica Symposium IMS 2005

ページ: 55-55

Proceedings of SYNASC 2005, Timisoara, Romania. IEEE Computer Society Press.

ページ: 8-8

eProceedings of International Mathematica Symposium IMS 2005

ページ: 55-55

eProceedings of International Mathematica Symposium IMS 2005.

ページ: 55-55

Proceedings of the 19^<th> International Workshop on Unification (UNIF'05), Nara, Japan.

ページ: 77-92

eProceedings of International Mathematica Symposium IMS 2005

ページ: 55-55

Proceedings of LPAR 2005.Lecture Notes in Artificial Intelligence. 3835

ページ: 215-229

Proceedings of International MathematicaSymposium IMS 2005

ページ: 55-55

Proceedings of the 21^<st> Internatlonal Conference on Rewri ting Techniques and Applications (RTA 2010), July 11-13, 2010, Edinburgh UK.Vol.6 of the Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, Germany(Ch.Lynch, editor)

ページ: 193-208