1. Kyoto University Research Information Repository

ブラウズ : 著者 Gabbay, Murdoch J.

移動: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
あるいは、最初の数文字を入力してください（日本語はこちらのみ可）:  
検索結果表示: 1 - 1 / 1
書誌情報ファイル
Nominal Sets, Equivariance Reasoning, and Variable Binding (Algebra, Logic and Geometry in Informatics)
  Gabbay, Murdoch J. (2003-05)
  数理解析研究所講究録, 1318: 46-47
file type icon
検索結果表示: 1 - 1 / 1