pereslavl

منطق در Botik ’89: سمپوزیوم در مبانی منطقی علوم کامپیوتر Perslavl-Zalessky، اتحاد جماهیر شوروی، 3-8 ژوئیه، 1989 مجموعه مقالات

دانلود کتاب Logic at Botik ’89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings (به فارسی: منطق در Botik ’89: سمپوزیوم در مبانی منطقی علوم کامپیوتر Perslavl-Zalessky، اتحاد جماهیر شوروی، 3-8 ژوئیه، 1989 مجموعه مقالات) نوشته شده توسط «Samson Abramsky (auth.) – Albert R. Meyer – Michael A. Taitslin (eds.)» اطلاعات کتاب منطق در Botik ’89: سمپوزیوم در مبانی منطقی علوم کامپیوتر Perslavl-Zalessky، اتحاد جماهیر شوروی، 3-8 ژوئیه، 1989 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Samson Abramsky (auth.) – Albert R. Meyer – Michael A. Taitslin (eds.) زبان:…