著者
書誌事項
Symbolic computation
Springer-Verlag
この図書・雑誌をさがす
-
1
- Modeling design objects and processes
-
Takaaki Yagiu
Springer-Verlag c1991 Symbolic computation Computer graphics--systems and applications
: gw , : us
所蔵館20館
-
2
- Geometric modeling : methods and applications
-
H. Hagen, D. Roller, (eds.)
Springer-Verlag c1991 Symbolic computation Computer graphics--systems and applications
: Berlin , : New York
所蔵館23館
-
3
- Exploration and innovation in design : towards a computational model
-
D. Navinchandra ; foreword by John S. Gero
Springer-Verlag 1991 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館13館
-
4
- Computer aided design : fundamentals and system architectures
-
José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl
Springer-Verlag c1990 2nd, rev. and extended ed Symbolic computation . Computer graphics : systems and applications
: softcover
所蔵館1館
-
5
- Catalogue of artificial intelligence techniques
-
Alan Bundy, ed.
Springer-Verlag 1990 3rd, rev. ed Symbolic computation Artificial intelligence
: gw , : us
所蔵館14館
-
6
- Computer aided design : fundamentals and system architectures
-
José L. Encarnação, Rolf Lindner, Ernst G. Schlechtendahl
Springer-Verlag c1990 2nd., rev. and extended ed Symbolic computation Computer graphics--systems and applications
: us , : gw
所蔵館26館
-
7
- Object-oriented graphics : from GKS and PHIGS to object-oriented systems
-
Peter Wisskirchen
Springer-Verlag c1990 Symbolic computation . Computer graphics--systems and applications
: gw , : us
所蔵館26館
-
8
- Abductive inference models for diagnostic problem-solving
-
Yun Peng, James A. Reggia
Springer-Verlag c1990 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館15館
-
9
- Engineering databases : connecting islands of automation through databases
-
José L. Encarnação, Peter Lockemann, (eds.) ; with contributions by K.R. Dittrich ... [et al.]
Springer-Verlag c1990 Symbolic computation . Computer graphics : systems and applications
: New York , : Berlin
所蔵館22館
-
10
- Parallel algorithms for machine intelligence and vision
-
Vipin Kumar, P.S. Gopalakrishnan, Laveen N. Kanal, editors
Springer-Verlag c1990 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館29館
-
11
- User models in dialog systems
-
Alfred Kobsa, Wolfgang Wahlster (eds.) ; with contributions by S. Carberry ... [et al.]
Springer-Verlag c1989 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館19館
-
12
- Qualitative process theory using linguistic variables
-
Bruce D'Ambrosio
Springer-Verlag c1989 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館12館
-
13
- An introduction to default logic
-
Philippe Besnard
Springer-Verlag c1989 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館36館
-
14
- Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication
-
Roland Hausser ; foreword by Dana Scott
Springer-Verlag c1989 Symbolic computation . Artificial intelligence
: New York , : Berlin
所蔵館18館
-
15
- Logic grammars
-
Harvey Abramson, Veronica Dahl
Springer-Verlag c1989 Symbolic computation . Artificial intelligence
: New York , : Berlin
所蔵館26館
-
16
- Natural language generation systems
-
David D. McDonald, Leonard Bolc, editors
Springer-Verlag c1988 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館25館
-
17
- Search in artificial intelligence
-
Laveen Kanal, Vipin Kumar, editors
Springer-Verlag c1988 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館29館
-
18
- A theory of heuristic information in game-tree search
-
Chun-Hung Tzeng
Springer-Verlag c1988 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館22館
-
19
- Prolog by example : how to learn, teach and use it
-
Helder Coelho, José C. Cotta
Springer-Verlag c1988 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館43館
-
20
- Expert system applications
-
L. Bolc, M.J. Coombs, eds. ; with contributions by C. Bock [et al.]
Springer-Verlag c1988 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館23館