المؤلفون: Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan

المصدر: Zeitschrift für Hochschulentwicklung, Vol 18, Iss Sonderheft Hochschullehre (2023)

مصطلحات موضوعية: Education

وصف الملف: electronic resource

Relation: https://www.zfhe.at/index.php/zfhe/article/view/1755; https://doaj.org/toc/2219-6994

URL الوصول: https://doaj.org/article/a38c0259a7144b61826c0648cb829e40

المؤلفون: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/6261/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/ffe8292ac8a5439e899a18cfb428be54

المؤلفون: Filippo Bonchi, Alexandra Silva, Ana Sokolova

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/6158/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/91e3e79a9d2d4701af9d1ed789259819

المؤلفون: Sebastian Arming, Ezio Bartocci, Ana Sokolova

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 250, Iss Proc. QAPL 2017, Pp 25-38 (2017)

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

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1707.04122v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/09c6825044cc4cf0ad186acd0ea46b48

المؤلفون: Ana Sokolova, Harald Woracek

المصدر: 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

Relation: https://lmcs.episciences.org/4036/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/6e7ba19c015c48e292b9b72f7030facf

المؤلفون: Ichiro Hasuo, Bart Jacobs, Ana Sokolova

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

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

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/864/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/3f87bfa7ee57492eb7fb3b963a4768f8

المؤلفون: Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

المساهمون: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidad Nacional de Córdoba [Argentina], CONICET-UNC Córdoba Argentina, King‘s College London, University of Salzburg

المصدر: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩

مصطلحات موضوعية: Computational Theory and Mathematics, Logic, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO]Computer Science [cs], Software, Theoretical Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4123f2d901c084590b75859cb10c4e4b
https://inria.hal.science/hal-03970947

المؤلفون: Sandra Alves, Sandra Kiefer, Ana Sokolova

المصدر: ACM SIGLOG News. 9:31-33

مصطلحات موضوعية: Microbiology (medical), Immunology, Immunology and Allergy

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e74057256c1fb66762a2f4e100e5da70
https://doi.org/10.1145/3537668.3537672

المؤلفون: Ana Sokolova

المصدر: Electronic Proceedings in Theoretical Computer Science. 351

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2fa6eb9e27f3c1fd956a36537ca0b2fe
https://doi.org/10.4204/eptcs.351.0

المؤلفون: Filippo Bonchi, Ana Sokolova, Valeria Vignudelli

المصدر: Proc. CALCO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=r3c4b2081b22::265ae36296d793dca991056315ba2b37