Journal of Formalized Reasoning

Journal of Formalized Reasoning

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	journal
Γλώσσα:	English
Έκδοση:	University of Bologna 2009
Θέματα:	formalization verification checking reasoning Electronic computers. Computer science QA75.5-76.95 Analytic mechanics QA801-939
Διαθέσιμο Online:	https://doaj.org/toc/1972-5787

Παρόμοια τεκμήρια

Нелинейная динамика
Έκδοση: (2018)

Al-Rafidain Journal of Computer Sciences and Mathematics
Έκδοση: (2020)

Electronic Proceedings in Theoretical Computer Science
Έκδοση: (2010)

Journal of Applied Computer Science & Mathematics
Έκδοση: (2009)

CLEI Electronic Journal
Έκδοση: (2008)

Neutrosophic Sets and Systems
Έκδοση: (2016)

International Journal of Mathematical Modelling & Computations
Έκδοση: (2015)

The Journal of Artificial Intelligence Research
Έκδοση: (2003)

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering
Έκδοση: (2015)

Journal of Information Systems and Informatics
Έκδοση: (2019)

Sukkur IBA Journal of Computing and Mathematical Sciences
Έκδοση: (2018)

International Journal of Computational Intelligence Systems
Έκδοση: (2017)

Iraqi Journal for Computer Science and Mathematics
Έκδοση: (2022)

Revista Brasileira de Computação Aplicada
Έκδοση: (2012)

International Journal of Applied Mathematics and Computer Science
Έκδοση: (2015)

Journal of Internet Services and Information Security
Έκδοση: (2012)

Inteligencia Artificial
Έκδοση: (2017)

Scientific and Practical Cyber Security Journal
Έκδοση: (2018)

Image Processing On Line
Έκδοση: (2012)

Journal of Applied Computer Science and Technology
Έκδοση: (2021)

International Journal of Open Information Technologies
Έκδοση: (2013)

Journal of Applied Computing and Information Technology
Έκδοση: (2011)

Wasit Journal of Computer and Mathematics Science
Έκδοση: (2024)

Jurnal informatika UPGRIS
Έκδοση: (2017)

Jurnal Komputer Terapan
Έκδοση: (2017)

Sistemas de Informação
Έκδοση: (2013)

Mathematical and Software Engineering
Έκδοση: (2018)

智能科学与技术学报
Έκδοση: (2022)

大数据
Έκδοση: (2022)

Isecure
Έκδοση: (2017)

Computational Science and Techniques
Έκδοση: (2014)

PeerJ Computer Science
Έκδοση: (2016)

Journal of Cybersecurity
Έκδοση: (2016)

Harvard Data Science Review
Έκδοση: (2021)

Scientific Annals of Computer Science
Έκδοση: (2019)

Khazanah Informatika
Έκδοση: (2016)

Advances in Human-Computer Interaction
Έκδοση: (2008)

International Journal of Distributed Sensor Networks
Έκδοση: (2011)

网络与信息安全学报
Έκδοση: (2022)

IET Blockchain
Έκδοση: (2022)

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

Cannot write session to /tmp/vufind_sessions/sess_vcaj9iekkdtmvaoai9h2gfjgqq