Name: Armin Biere
Number of Papers: 1
Publications Years: 2020
Affiliation History: Institute of Formal Methods and Verification, Johannes Kepler University, Austria
Proceedings
Papers
Authors
Ontology
Science and Technology Publications, Lda Avenida de S. Francisco Xavier, Lote 7 Cv. C, 2900-616 Setúbal, Portugal.
Phone: +351 265 520 185 (National fixed network call) Fax: +351 265 520 186 Email: info@scitepress.org
PRIMORIS
INSTICC
SCITEVENTS
CROSSREF
dblp
Ei Compendex
SCOPUS
Semantic Scholar
Google Scholar
Microsoft Academic