-
1دورية أكاديمية
المؤلفون: Arno Pauly
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 277, Iss Proc. GandALF 2018, Pp 30-42 (2018)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Hugo Nobrega, Arno Pauly
المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)
مصطلحات موضوعية: mathematics - logic, computer science - logic in computer science, 03e15, 54h05, 03d60, 03f15, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Vasco Brattka, Arno Pauly
المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 4, Iss Computability and logic (2018)
مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Stéphane Le Roux, Arno Pauly
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 242-256 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Stéphane Le Roux, Arno Pauly
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 218, Iss Proc. SR 2016, Pp 27-40 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: Arno Pauly, Willem Fouché, George Davie
المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
7دورية أكاديمية
المؤلفون: Xiang Jiang, Arno Pauly
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 146, Iss Proc. SR 2014, Pp 75-81 (2014)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
8دورية أكاديمية
المؤلفون: Arno Pauly, Matthew de Brecht
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 143, Iss Proc. DCM 2012, Pp 87-96 (2014)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
9دورية أكاديمية
المؤلفون: Stéphane Le Roux, Arno Pauly
المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 4 (2015)
مصطلحات موضوعية: mathematics - logic, computer science - computational geometry, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
10دورية أكاديمية
المؤلفون: Vasco Brattka, Arno Pauly
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 24, Iss Proc. CCA 2010, Pp 41-55 (2010)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource