المؤلفون: Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/8436/pdfTest; https://doaj.org/toc/1860-5974Test

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

المؤلفون: Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 18-26 (2019)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1908.09478v1Test; https://doaj.org/toc/2075-2180Test

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

المؤلفون: Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 257, Iss Proc. FVAV 2017, Pp 19-26 (2017)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: http://arxiv.org/pdf/1709.02802v1Test; https://doaj.org/toc/2075-2180Test

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

المؤلفون: Kshitij Bansal, Clark Barrett, Andrew Reynolds, Cesare Tinelli

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 4 (2018)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/3155/pdfTest; https://doaj.org/toc/1860-5974Test

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

المؤلفون: Clark Barrett, H., Armstrong, Josh

المصدر: Philosophical Transactions of the Royal Society B: Biological Sciences ; volume 378, issue 1889 ; ISSN 0962-8436 1471-2970

الإتاحة: https://doi.org/10.1098/rstb.2022.0406Test

المؤلفون: Aniva, Leni, Barbosa, Haniel, Clark, Barrett, Lachnitt, Hanna, Larraz, Daniel, Mohamed, Abdalrhman, Mohamed, Mudathir, Niemetz, Aina, Ozdemir, Alex, Preiner, Mathias, Reynolds, Andrew, Schurr, Hans-Jörg, Tinelli, Cesare, Wilson, Amalee, Zohar, Yoni

العلاقة: https://dx.doi.org/10.5281/zenodo.11581519Test

الإتاحة: https://doi.org/10.5281/zenodo.1158152010.5281/zenodo.11581519Test

المؤلفون: Fessler, Daniel MT, Holbrook, Colin, Kanovsky, Martin, Clark Barrett, H, Bolyanatz, Alexander H, Gervais, Matthew M, Gurven, Michael, Henrich, Joseph, Kushnick, Geoff, Pisor, Anne C, Stich, Stephen, von Rueden, Christopher, Laurence, Stephen

المصدر: Proceedings. Biological sciences. 283(1823)

مصطلحات موضوعية: Humans, Morals, Judgment, Female, Male, Biological Sciences, Medical and Health Sciences, Agricultural and Veterinary Sciences

وصف الملف: application/pdf

الوصول الحر: https://escholarship.org/uc/item/01v803f0Test

المؤلفون: Kalhan Koul, Jackson Melchert, Kavya Sreedhar, Leonard Truong, Gedeon Nyengele, Keyi Zhang, Qiaoyi Liu, Jeff Setter, Po-Han Chen, Yuchen Mei, Maxwell Strange, Ross Daly, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina

المصدر: ACM Transactions on Embedded Computing Systems. 22:1-34

مصطلحات موضوعية: Hardware and Architecture, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::7194f7928e6fa9e2244c543b9580dbbfTest
https://doi.org/10.1145/3534933Test

المؤلفون: Alessandro Abate, Haniel Barbosa, Clark Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli

المصدر: Abate, A, Barbosa, H, Barrett, C, David, C, Kesseli, P, Kroening, D, Polgreen, E, Reynolds, A & Tinelli, C 2023, ' Synthesising programs with non-trivial constants ', Journal of Automated Reasoning, vol. 67, no. 2, 19, pp. 1-25 . https://doi.org/10.1007/s10817-023-09664-4Test

مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Software

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30b39fda6c7b58909962d5d926f0100dTest
https://www.pure.ed.ac.uk/ws/files/347664382/Synthesising_ABATE_DOA02032023_VOR_CC_BY.pdfTest

المؤلفون: Bailey R. House, Patricia Kanngiesser, H. Clark Barrett, Süheyla Yilmaz, Andrew Marcus Smith, Carla Sebastian-Enesco, Alejandro Erut, Joan B. Silk

مصطلحات موضوعية: Cognitive Science not elsewhere classified, Animal Behaviour, third-party punishment, prosocial behaviour, social norm, cross-cultural, altruistic punishment, antisocial punishment

العلاقة: https://figshare.com/articles/journal_contribution/Additional_Methods_and_Analysis_from_Social_norms_and_cultural_diversity_in_the_development_of_third-party_punishment/12153720Test

الإتاحة: https://doi.org/10.6084/m9.figshare.12153720.v1Test
https://figshare.com/articles/journal_contribution/Additional_Methods_and_Analysis_from_Social_norms_and_cultural_diversity_in_the_development_of_third-party_punishment/12153720Test