المؤلفون: Eugenio Orlandelli, Matteo Tesi

المصدر: Bulletin of the Section of Logic, Vol 53, Iss 2, Pp 223-244 (2024)

مصطلحات موضوعية: proof theory, classical logic, decidability, herbrand theorem, Logic, BC1-199

وصف الملف: electronic resource

العلاقة: https://czasopisma.uni.lodz.pl/bulletin/article/view/18448Test; https://doaj.org/toc/0138-0680Test; https://doaj.org/toc/2449-836XTest

الوصول الحر: https://doaj.org/article/a55590ecf63242a8816224b92b4bf394Test

المؤلفون: Mario Piazza, Gabriele Pulcini, Matteo Tesi

المصدر: Bulletin of the Section of Logic, Vol 52, Iss 3, Pp 275-299 (2023)

مصطلحات موضوعية: modal logic, general proof theory (including proof-theoretic semantics), many-valued logics, Logic, BC1-199

وصف الملف: electronic resource

العلاقة: https://czasopisma.uni.lodz.pl/bulletin/article/view/14211Test; https://doaj.org/toc/0138-0680Test; https://doaj.org/toc/2449-836XTest

الوصول الحر: https://doaj.org/article/014fdb3cc4bb417a97b46b214aae1360Test

المؤلفون: Matteo Tesi, Francesca Millanta, Alessandro Poli, Gaia Mazzetti, Anna Pasquini, Duccio Panzani, Alessandra Rota, Iacopo Vannozzi

المصدر: Veterinary Medicine and Science, Vol 6, Iss 3, Pp 265-271 (2020)

مصطلحات موضوعية: adiponectin, body condition score, canine mammary tumour, cancer-specific survival, immunohistochemistry, obesity, Veterinary medicine, SF600-1100

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/2053-1095Test

الوصول الحر: https://doaj.org/article/66740cf458a34b4eb5f7cbf314d1c46cTest

المؤلفون: Petra Lascialfari, Matteo Tesi, Cristiana Manetti, Diana Fanelli, Alessandra Rota

المصدر: Theriogenology. 206:71-77

مصطلحات موضوعية: Food Animals, Equine, Animal Science and Zoology, Small Animals

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6dea0a8e93b494a8ee9d469f1ff020e4Test
https://doi.org/10.1016/j.theriogenology.2023.05.009Test

المؤلفون: Petra Lascialfari, Cristiana Manetti, Matteo Tesi, Diana Fanelli, Alessandra Rota

المساهمون: Società Italiana delle Scienze Veterinarie, Lascialfari, Petra, Manetti, Cristiana, Tesi, Matteo, Fanelli, Diana, Rota, Alessandra

مصطلحات موضوعية: Dog, Pregnancy, Ultrasound, Parturition

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-88-909092-5-2; ispartofbook:ATTI DEL 76° CONVEGNO SISVET; 76° CONVEGNO SISVET (Società Italiana delle scienze veterinarie); firstpage:333; lastpage:333; numberofpages:1; alleditors:Società Italiana delle Scienze Veterinarie; https://hdl.handle.net/11568/1203807Test; https://www.sisvet.it/new/wp-content/uploads/2023/09/Book_Integrale_def_SISVET_76.pdfTest

الإتاحة: https://hdl.handle.net/11568/1203807Test
https://www.sisvet.it/new/wp-content/uploads/2023/09/Book_Integrale_def_SISVET_76.pdfTest

المؤلفون: Matteo Tesi

المساهمون: Tesi, Matteo

المصدر: Studia Logica. 110:1349-1380

مصطلحات موضوعية: History and Philosophy of Science, Logic, Modal logic, Proof theory, Common knowledge, Infinitary logic, Settore M-FIL/02 - Logica e Filosofia della Scienza

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::beb35526d2f01a27306148b6cc7252feTest
https://doi.org/10.1007/s11225-022-09998-xTest

المؤلفون: Matteo Tesi, Sara Negri

المساهمون: Tesi, Matteo, Negri, Sara

المصدر: Annals of Pure and Applied Logic. 174:103285

مصطلحات موضوعية: Intuitionistic logic, Logic, Proof theory, Modal embedding, Cut elimination, Infinitary logic, Settore M-FIL/02 - Logica e Filosofia della Scienza

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c316c59393570a12e8eea5fc56f33742Test
https://doi.org/10.1016/j.apal.2023.103285Test

المؤلفون: eugenio orlandelli, matteo tesi

المساهمون: D. Fernández-Duque, A. Palmigiano, S. Pinchinat, eugenio orlandelli, matteo tesi

مصطلحات موضوعية: Strict implication, non-normal modalities, S1, sequent calculi, cut elimination

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-84890-413-2; ispartofbook:Advances in Modal Logic, volume 14; Advances in Modal Logic 2022; firstpage:625; lastpage:642; numberofpages:18; serie:ADVANCES IN MODAL LOGIC; alleditors:D. Fernández-Duque, A. Palmigiano, S. Pinchinat; http://hdl.handle.net/11585/897910Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85160909825; http://www.aiml.netTest

الإتاحة: http://hdl.handle.net/11585/897910Test
http://www.aiml.netTest

المؤلفون: Rota Alessandra, Giulia Lazzarini, Petra Lascialfari, Sara Bianchi, Emma Brunicardi, Matteo Tesi, Vincenzo Miragliotta

المساهمون: Rota, Alessandra, Lazzarini, Giulia, Lascialfari, Petra, Bianchi, Sara, Brunicardi, Emma, Tesi, Matteo, Miragliotta, Vincenzo

مصطلحات موضوعية: Macrophages, canine, placenta, parturition, c-sections

وصف الملف: ELETTRONICO

العلاقة: volume:58; issue:S2; firstpage:255; lastpage:255; numberofpages:1; journal:REPRODUCTION IN DOMESTIC ANIMALS; https://hdl.handle.net/11568/1206627Test

الإتاحة: https://doi.org/10.1111/rda.14442Test
https://hdl.handle.net/11568/1206627Test

المؤلفون: Diana Fanelli, Matteo Tesi, Martina Ingallinesi, Francesco Camillo, Duccio Panzani

المصدر: Reproduction in Domestic Animals. 57:343-348

مصطلحات موضوعية: Pregnancy Rate, Temperature, Humidity, Abortion, Veterinary, Endocrinology, Pregnancy, Animals, Female, Horse Diseases, Animal Science and Zoology, Horses, Seasons, Retrospective Studies, Biotechnology

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed7acf4f2825222a264c0ef252d28870Test
https://doi.org/10.1111/rda.14070Test