Journal of Formalized Reasoning

Journal of Formalized Reasoning

Bibliographic Details
Format:	journal
Language:	English
Published:	University of Bologna 2009
Subjects:	formalization verification checking reasoning Electronic computers. Computer science QA75.5-76.95 Analytic mechanics QA801-939
Online Access:	https://doaj.org/toc/1972-5787

Similar Items

Нелинейная динамика
Published: (2018)

Al-Rafidain Journal of Computer Sciences and Mathematics
Published: (2020)

Electronic Proceedings in Theoretical Computer Science
Published: (2010)

Journal of Applied Computer Science & Mathematics
Published: (2009)

International Journal of Mathematical Modelling & Computations
Published: (2015)

Neutrosophic Sets and Systems
Published: (2016)

Journal of Information Systems and Informatics
Published: (2019)

Sukkur IBA Journal of Computing and Mathematical Sciences
Published: (2018)

CLEI Electronic Journal
Published: (2008)

The Journal of Artificial Intelligence Research
Published: (2003)

International Journal of Applied Mathematics and Computer Science
Published: (2015)

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
Published: (2015)

International Journal of Computational Intelligence Systems
Published: (2017)

Iraqi Journal for Computer Science and Mathematics
Published: (2022)

Journal of Internet Services and Information Security
Published: (2012)

Revista Brasileira de Computação Aplicada
Published: (2012)

Inteligencia Artificial
Published: (2017)

Scientific and Practical Cyber Security Journal
Published: (2018)

Journal of Applied Computer Science and Technology
Published: (2021)

International Journal of Open Information Technologies
Published: (2013)

Journal of Applied Computing and Information Technology
Published: (2011)

Wasit Journal of Computer and Mathematics Science
Published: (2024)

Image Processing On Line
Published: (2012)

Jurnal informatika UPGRIS
Published: (2017)

Jurnal Komputer Terapan
Published: (2017)

Sistemas de Informação
Published: (2013)

Mathematical and Software Engineering
Published: (2018)

智能科学与技术学报
Published: (2022)

大数据
Published: (2022)

Journal of Cybersecurity
Published: (2016)

Isecure
Published: (2017)

Computational Science and Techniques
Published: (2014)

PeerJ Computer Science
Published: (2016)

Harvard Data Science Review
Published: (2021)

EAI Endorsed Transactions on Energy Web
Published: (2015)

International Journal of Distributed Sensor Networks
Published: (2011)

Malaysian Journal of Computing
Published: (2023)

Scientific Annals of Computer Science
Published: (2019)

Khazanah Informatika
Published: (2016)

Advances in Human-Computer Interaction
Published: (2008)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών