المؤلفون: Häggblom, Matilda

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B60, 03B70, F.4.1, H.2.4

URL الوصول: http://arxiv.org/abs/2405.04998

المؤلفون: Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T01 68T27 68T30 03Axx 03B16 03B35 03B45 03B60 03B70, I.2.0, I.2.3, I.2.4, J.1

URL الوصول: http://arxiv.org/abs/2006.12789

المؤلفون: Lück, Martin, Vilander, Miikka

المصدر: Logical Methods in Computer Science, Volume 15, Issue 3 (August 20, 2019) lmcs:5263

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q17, 03B60, 03B70, F.4.1

URL الوصول: http://arxiv.org/abs/1903.02344

المؤلفون: Hannula, Miika

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B60, 03B70, F.4.1, H.2.4

URL الوصول: http://arxiv.org/abs/1507.00655

المؤلفون: Galliani, Pietro

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B60, 03B70, 03B80

URL الوصول: http://arxiv.org/abs/1203.0871

المؤلفون: Martin Lück, Miikka Vilander

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

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

وصف الملف: electronic resource

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

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