Formalized Mathematics Cover

Volume 23 (2015): Issue 1 (Mar 2015)

Formalized Mathematics

Open Access

Journal detailsTable of contents

Previous issue Formalized Mathematics Next issue

All volumes and issues in this journal

Issue 4 (December 2015)

Issue 3 (September 2015)

Issue 2 (June 2015)

Issue 1 (March 2015)

6 articles

Open Access

|Mar 2015

Open Access

|Mar 2015

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki and Yasunari Shidama

Open Access

|Mar 2015

Yuichi Futa, Hiroyuki Okazaki and Yasunari Shidama

Open Access

|Mar 2015

Noboru Endou, Kazuhisa Nakasho and Yasunari Shidama

Open Access

|Mar 2015

Kazuhisa Nakasho and Noboru Endou

Open Access

|Mar 2015

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki and Yasunari Shidama

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: Mathematics, General mathematics, Computer sciences, Computer sciences, other

Journal RSS Feed