یک زبان و منطق برای برنامه‌نویسی و استدلال با مشاهده‌پذیری جزئی

توسط