Formalized mathematics : a computer assisted approach

Author(s)

Bibliographic Information

Formalized mathematics : a computer assisted approach

University of Bialystok

Available at  / 1 libraries

Search this Book/Journal

Note

Description based on: Vol. 11, no. 1/2 (2003)

"Established in 1990"

"In the years 1990-1993 published by the Universite Catholique de Louvain"

Details

  • NCID
    AA11993553
  • ISSN
    14262630
  • Country Code
    pl
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Bialystok, Poland
  • Publication Status
    Currently Published Status
  • Frequency
    Quarterly
  • Regularity
    Regular
  • Type of Continuing Resource
    Periodical
Page Top