Jump to main content
図書

Symbolic computation

Icons representing 図書

Symbolic computation

Material type
図書
Author
-
Publisher
Springer-Verlag
Publication date
-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Related materials as well as pre- and post-revision versions

The Knowledge frontier : essays in the representation of knowledgeLeave the NDL website. Principles of artificial intelligenceLeave the NDL website. A theory of heuristic information in game-tree searchLeave the NDL website. Catalogue of artificial intelligence techniquesLeave the NDL website. Foundations of logic programmingLeave the NDL website. Catalogue of artificial intelligence toolsLeave the NDL website. An introduction to default logicLeave the NDL website. Abductive inference models for diagnostic problem-solvingLeave the NDL website. Product data interfaces in CAD/CAM applications : design, implementation and experiencesLeave the NDL website. Parallel algorithms for machine intelligence and visionLeave the NDL website. CGM and CGI : metafile and interface standards for computer graphicsLeave the NDL website. Geometric modeling : methods and applicationsLeave the NDL website. Engineering databases : connecting islands of automation through databasesLeave the NDL website. Natural language communication with pictorial information systemsLeave the NDL website. Foundations of logic programmingLeave the NDL website. Computer-aided design and manufacturing : methods and toolsLeave the NDL website. Three-dimensional computer visionLeave the NDL website. Logic grammarsLeave the NDL website. Computers in chess : solving inexact search problemsLeave the NDL website. Catalogue of artificial intelligence toolsLeave the NDL website. User models in dialog systemsLeave the NDL website. Search in artificial intelligenceLeave the NDL website. Modeling design objects and processesLeave the NDL website. Machine learning : an artificial intelligence approachLeave the NDL website. Computer aided design : fundamentals and system architecturesLeave the NDL website. Natural language parsing systemsLeave the NDL website. Computer aided design : fundamentals and system architecturesLeave the NDL website. Programming languages for industrial robotsLeave the NDL website. Natural language generation systemsLeave the NDL website. Expert system applicationsLeave the NDL website. Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communicationLeave the NDL website. Computational models of learningLeave the NDL website. Computer graphics programming : GKS, the graphics standardLeave the NDL website. REDUCE : software for algebraic computationLeave the NDL website. Qualitative process theory using linguistic variablesLeave the NDL website. Classical papers on computational logicLeave the NDL website. The Design of interpreters, compilers, and editors for augmented transition networksLeave the NDL website. Object-oriented graphics : from GKS and PHIGS to object-oriented systemsLeave the NDL website. Prolog by example : how to learn, teach and use itLeave the NDL website. Computer aided design : fundamentals and system architecturesLeave the NDL website. Exploration and innovation in design : towards a computational modelLeave the NDL website.

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Publication, Distribution, etc.
Place of Publication (Country Code)
gw
Text Language Code
en
Target Audience
一般
Related Material
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
Catalogue of artificial intelligence tools
An introduction to default logic
Abductive inference models for diagnostic problem-solving
Product data interfaces in CAD/CAM applications : design, implementation and experiences
Parallel algorithms for machine intelligence and vision
CGM and CGI : metafile and interface standards for computer graphics
Geometric modeling : methods and applications
Engineering databases : connecting islands of automation through databases
Natural language communication with pictorial information systems
Foundations of logic programming
Computer-aided design and manufacturing : methods and tools
Three-dimensional computer vision
Logic grammars
Computers in chess : solving inexact search problems
Catalogue of artificial intelligence tools
User models in dialog systems
Search in artificial intelligence
Modeling design objects and processes
Machine learning : an artificial intelligence approach
Computer aided design : fundamentals and system architectures
Natural language parsing systems
Computer aided design : fundamentals and system architectures
Programming languages for industrial robots
Natural language generation systems
Expert system applications
Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication
Computational models of learning
Computer graphics programming : GKS, the graphics standard
REDUCE : software for algebraic computation
Qualitative process theory using linguistic variables
Classical papers on computational logic
The Design of interpreters, compilers, and editors for augmented transition networks
Object-oriented graphics : from GKS and PHIGS to object-oriented systems
Prolog by example : how to learn, teach and use it
Computer aided design : fundamentals and system architectures
Exploration and innovation in design : towards a computational model
Data Provider (Database)
国立情報学研究所 : CiNii Research
Original Data Provider (Database)
CiNii Books