Symbolic computation

• 資料種別: 図書
• タイトル: Symbolic computation
• 出版事項: Springer-Verlag
• 出版地（国名コード）: gw
• 本文の言語コード: en
• 対象利用者: 一般
• 関連情報: The Knowledge frontier : essays in the representation of knowledge; https://cir.nii.ac.jp/crid/1130000794012519808; Principles of artificial intelligence; https://cir.nii.ac.jp/crid/1130000794532685824; A theory of heuristic information in game-tree search; https://cir.nii.ac.jp/crid/1130000794769301760; Catalogue of artificial intelligence techniques; https://cir.nii.ac.jp/crid/1130000794935202048; Foundations of logic programming; https://cir.nii.ac.jp/crid/1130000795532944128; Catalogue of artificial intelligence tools; https://cir.nii.ac.jp/crid/1130000795801246848; An introduction to default logic; https://cir.nii.ac.jp/crid/1130000795985794432; Abductive inference models for diagnostic problem-solving; https://cir.nii.ac.jp/crid/1130000796390877696; Product data interfaces in CAD/CAM applications : design, implementation and experiences; https://cir.nii.ac.jp/crid/1130000796667494528; Parallel algorithms for machine intelligence and vision; https://cir.nii.ac.jp/crid/1130000796708833792; CGM and CGI : metafile and interface standards for computer graphics; https://cir.nii.ac.jp/crid/1130000796814726912; Geometric modeling : methods and applications; https://cir.nii.ac.jp/crid/1130000796849439872; Engineering databases : connecting islands of automation through databases; https://cir.nii.ac.jp/crid/1130000796878916352; Natural language communication with pictorial information systems; https://cir.nii.ac.jp/crid/1130000796900157952; https://cir.nii.ac.jp/crid/1130000796907933440; Computer-aided design and manufacturing : methods and tools; https://cir.nii.ac.jp/crid/1130000796909228800; Three-dimensional computer vision; https://cir.nii.ac.jp/crid/1130000796956978944; Logic grammars; https://cir.nii.ac.jp/crid/1130000797372186112; Computers in chess : solving inexact search problems; https://cir.nii.ac.jp/crid/1130000797532263168; https://cir.nii.ac.jp/crid/1130000797592596480; User models in dialog systems; https://cir.nii.ac.jp/crid/1130000797709101824; Search in artificial intelligence; https://cir.nii.ac.jp/crid/1130000798041179520; Modeling design objects and processes; https://cir.nii.ac.jp/crid/1130000798232209920; Machine learning : an artificial intelligence approach; https://cir.nii.ac.jp/crid/1130000798286598912; Computer aided design : fundamentals and system architectures; https://cir.nii.ac.jp/crid/1130016637838197264; Natural language parsing systems; https://cir.nii.ac.jp/crid/1130282268850958976; https://cir.nii.ac.jp/crid/1130282268929822080; Programming languages for industrial robots; https://cir.nii.ac.jp/crid/1130282269194191360; Natural language generation systems; https://cir.nii.ac.jp/crid/1130282269414460672; Expert system applications; https://cir.nii.ac.jp/crid/1130282269426843136; Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication; https://cir.nii.ac.jp/crid/1130282269782574336; Computational models of learning; https://cir.nii.ac.jp/crid/1130282269881292544; Computer graphics programming : GKS, the graphics standard; https://cir.nii.ac.jp/crid/1130282269939508608; REDUCE : software for algebraic computation; https://cir.nii.ac.jp/crid/1130282270061817216; Qualitative process theory using linguistic variables; https://cir.nii.ac.jp/crid/1130282270770600192; Classical papers on computational logic; https://cir.nii.ac.jp/crid/1130282270784537984; The Design of interpreters, compilers, and editors for augmented transition networks; https://cir.nii.ac.jp/crid/1130282271492549504; Object-oriented graphics : from GKS and PHIGS to object-oriented systems; https://cir.nii.ac.jp/crid/1130282271932381568; Prolog by example : how to learn, teach and use it; https://cir.nii.ac.jp/crid/1130282272563689984; https://cir.nii.ac.jp/crid/1130282273047850368; Exploration and innovation in design : towards a computational model; https://cir.nii.ac.jp/crid/1130282273082829696
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00327525#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00327525 : BA00327525

目次

The Knowledge frontier : essays in the representation of knowledge

Principles of artificial intelligence

A theory of heuristic information in game-tree search

Catalogue of artificial intelligence techniques

Foundations of logic programming