Formalization of Abstract State Transition Systems for SAT by Filip Maric, Predrag Janicic

Get full text

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture by Predrag Janičić, Filip Marić, Marko Maliković

Get full text

A proof system for graph (non)-isomorphism verification by Milan Banković, Ivan Drecun, Filip Marić

Get full text

Challenges in nature-based health and therapy research and critical considerations for application in musculoskeletal health by Richard Doran-Sherlock, Payal Sood, Nicole Anne Struthers, Filip Maric

Get full text

Blended Intensive Programs no Ensino Superior: inovação e colaboração para desafios globais de saúde by António Alves Lopes, Daphne Wittkämper, Adnan Hoxha, Alesander Zabala, Barbara Brottrager, Kaisa Jokinen, Filip Maric, Mariusz Kozakiewicz

Get full text

Development and validation of a Knowledge, Attitudes and Practices (KAP) questionnaire for healthcare professionals on environmental sustainability in healthcare in Southern Africa... by Karien Mostert, Filip Maric, Megan Rohde, Stefani Odendaal, Natasha Mubi, Danté Knock, Emma Field, Tanita Botha, Helga Lister

Get full text