検索結果 3 件
紙図書
国立国会図書館
- 件名...ログラミング用言語. Machine theory. Compu......plexity. LISP (Computer program language)
- 著者標目Chaitin, Gregory J.
デジタル記事
インターネットで読める全国の図書館
- 出版者(掲載誌)The Japanese Society for Artificial Intelligence
紙図書
全国の図書館
- 目次・記事Nominal sets : names and symmetry in computer science A unifying framework for...... an approach using initial algebra s......ategory theory Introduction to c......thematics, machines, and Gödel's......athematics for computer graphics Nonmonotonic reasoning : logical fou......-calculus, combinators, and functional programming Rippling : meta-level ......ematical reasoning Term rewriting systems Hybri...... theory of domains Topology via ......ms, and constraint resolution Ep......gic for AI and computer science Extensions of ......rative programming Higher order ......e verification Information flow ......mputation : taking the Curry-Howard corresponde...
- 関連情報Nominal sets : names and symmetry in computer science A unifying framework for...... an approach using initial algebra s......ategory theory Introduction to c......thematics, machines, and Gödel's......athematics for computer graphics Nonmonotonic reasoning : logical fou......-calculus, combinators, and functional programming Rippling : meta-level ......ematical reasoning Term rewriting systems Hybri...... theory of domains Topology via ......ms, and constraint resolution Ep......gic for AI and computer science Extensions of ......rative programming Higher order ......e verification Information flow ......mputation : taking the Curry-Howard corresponde...
検索結果は以上です。