-
1دورية أكاديمية
المؤلفون: Aaron Stump, Garrin Kimmell, Hans Zantema, Ruba El Haj Omar
المصدر: Logical Methods in Computer Science, Vol Volume 9, Issue 1 (2013)
مصطلحات موضوعية: computer science - programming languages, d.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource