Journal List - Journal of Formalized Reasoning

Journal of Formalized Reasoning

Open Access
Journal Homepage
ISSN (Online) 1972-5787

Published By University of Bologna

View TOC

SUBJECTS : Formalization | Verification | Checking | Reasonin

LATEST MANUSCRIPTS IN Journal of Formalized Reasoning

Anthony Narkawicz, Cesar Munoz, Aaron Dutle. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision. Journal of formalized reasoning. 2018, 11 (1): 19-41
Cited : 0
Read More

Links

eJPort.com
BiblioMed.org
Refer & Earn Money

Content Links

Home
Journals
Publishers
Add Journal
Contact Us

About Us

Terms and Conditions
Privacy Policy/Notice

0