Formalized Mathematics Cover

Volume 17 (2009): Issue 1 (Jan 2009)

Formalized Mathematics

Open Access

Journal detailsTable of contents

Previous issue Formalized Mathematics Next issue

All volumes and issues in this journal

Issue 4 (December 2009)

Issue 3 (September 2009)

Issue 2 (June 2009)

Issue 1 (March 2009)

5 articles

Open Access

|Mar 2009

Artur Korniłowicz

Open Access

|Mar 2009

Yatsuka Nakamura, Artur Korniłowicz, Nagato Oya and Yasunari Shidama

Open Access

|Mar 2009

Bo Li, Yanping Zhuang, Yanhong Men and Xiquan Liang

Open Access

|Mar 2009

Mitsuru Jitsukawa, Pauline Kawamoto, Yasunari Shidama and Yatsuka Nakamura

Open Access

|Mar 2009

Bo Li, Yanping Zhuang, Bing Xie and Pan Wang

eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year

Published by: University of Bialystok

In partnership with: Paradigm Publishing Services

Related subjects:

General mathematics,

Computer sciences,

Computer sciences, other

Journal RSS Feed