著者
書誌事項
Symbolic computation
Springer-Verlag
この図書・雑誌をさがす
-
21
- CGM and CGI : metafile and interface standards for computer graphics
-
David B. Arnold, Peter R. Bono
Springer-Verlag c1988 Symbolic computation . Computer graphics--systems and applications
: us , : gw
所蔵館17館
-
22
- REDUCE : software for algebraic computation
-
Gerhard Rayna ; with a preface by Anthony C. Hearn
Springer-Verlag c1987 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館54館
-
23
- The Knowledge frontier : essays in the representation of knowledge
-
Nick Cercone, Gordon McCalla, editors
Springer-Verlag c1987 Symbolic computation . Artificial intelligence
所蔵館26館
-
24
- Foundations of logic programming
-
J.W. Lloyd
Springer-Verlag c1987 2nd, extended ed Symbolic computation . Artificial intelligence
: us , : gw
所蔵館51館
-
25
- Computational models of learning
-
edited by Leonard Bolc ; with contributions by G.L. Bradshaw ... [et al.]
Springer-Verlag c1987 Symbolic computation Artificial intelligence
: U.S. , : Germany
所蔵館47館
-
26
- Natural language parsing systems
-
edited by Leonard Bolc ; with contributions by J.G. Carbonell ... [et al.]
Springer-Verlag c1987 Symbolic computation . Artificial intelligence
: u.s , : gw
所蔵館34館
-
27
- Three-dimensional computer vision
-
Yoshiaki Shirai
Springer-Verlag c1987 Symbolic computation Computer graphics
: us , : gw
所蔵館43館
-
28
- Programming languages for industrial robots
-
Christian Blume, Wilfried Jakob ; [translator, Klaus Selke]
Springer-Verlag 1986 Symbolic computation Artificial intelligence
: us , : gw
所蔵館18館
-
29
- Product data interfaces in CAD/CAM applications : design, implementation and experiences
-
edited by J. Encarnação, R. Schuster, E. Vöge
Springr-Verlag c1986 Symbolic computation . Computer graphics : systems and applications
Berlin , New York
所蔵館15館
-
30
- Computer-aided design and manufacturing : methods and tools
-
edited by U. Rembold and R. Dillmann
Springer-Verlag c1986 2nd rev. and enl. ed Symbolic computation Computer graphics
U.S. , Berlin
所蔵館22館
-
31
- Catalogue of artificial intelligence tools
-
edited by Alan Bundy
Springer-Verlag c1986 2nd rev. ed Symbolic computation . Artificial intelligence
: us , : gw
所蔵館13館
-
32
- Computers in chess : solving inexact search problems
-
M.M. Botvinnik ; translated by Arthur A. Brown
Springer-Verlag c1984 Symbolic computation Artificial intelligence
所蔵館26館
-
33
- Computer graphics programming : GKS, the graphics standard
-
G. Enderle, K. Kansy, G. Pfaff
Springer-Verlag 1984 Symbolic computation Computer graphics
: gw , : us
所蔵館46館
-
34
- Natural language communication with pictorial information systems
-
edited by Leonard Bolc
Springer 1984 Symbolic computation . Artificial intelligence
: us , : gw
所蔵館31館
-
35
- Catalogue of artificial intelligence tools
-
edited by Alan Bundy
Springer-Verlag 1984 Symbolic computation Artificial intelligence
: us. : pbk , : gw. : pbk
所蔵館30館
-
36
- Foundations of logic programming
-
J.W. Lloyd
Springer-Verlag 1984 Symbolic computation
U.S. , Berlin
所蔵館45館
-
37
- Machine learning : an artificial intelligence approach
-
edited by R.S. Michalski, J.G. Carbonell, T.M. Mitchell
Springer 1984 Symbolic computation
: gw , : us
所蔵館55館
-
38
- Classical papers on computational logic
-
Springer-Verlag 1983 Symbolic computation . Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson ; 1-2
1957-1966 , 1967-1970
所蔵館32館
-
39
- The Design of interpreters, compilers, and editors for augmented transition networks
-
edited by Leonard Bolc
Springer-Verlag 1983 Symbolic computation Artificial intelligence
gw , us
所蔵館35館
-
40
- Computer aided design : fundamentals and system architectures
-
J. Encarnação, E.G. Schlechtendahl
Springer-Verlag 1983 Symbolic computation Computer graphics
us , gw
所蔵館37館