検索絞り込み条件絞り込み条件title 項目を閉じる絞り込み条件絞り込み条件検索結果 3 件20件ずつ表示50件ずつ表示100件ずつ表示リスト表示サムネイル表示テーブル表示適合度順出版年:古い順出版年:新しい順タイトル:昇順タイトル:降順著者:昇順著者:降順請求記号順タイトルでまとめる一括お気に入りCSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.). (Lecture notes in computer science)紙図書Springer-Verlagc1989.<M154-A106>国立国会図書館著者標目...Logic (2nd : 1988 : Duisburg, Germany) Börger, ...CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings : gw : usCSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings : gw : us紙図書E. Börger, H. Kleine Büning, M.M. Richter (eds.)Springer-Verlagc1989全国の図書館Joseph A. Goguen : What is Unification? -A Categorical View of Substitution, Equation and Solution-SRI-CSL-88-2, SRI INTERNATIONAL (January 1988).Joseph A. Goguen : What is Unification? -A Categorical View of Substitution, Equation and Solution-SRI-CSL-88-2, SRI INTERNATIONAL (January 1988).デジタル記事1989-05-20人工知能4 3p.363-364インターネットで読める全国の図書館掲載誌(ISSN)21882266検索結果は以上です。書誌情報を一括出力