Author(s)
Bibliographic Information
Symbolic computation
Springer-Verlag
Search this Book/Journal
-
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
Available at 17 libraries
-
22
- REDUCE : software for algebraic computation
-
Gerhard Rayna ; with a preface by Anthony C. Hearn
Springer-Verlag c1987 Symbolic computation . Artificial intelligence
: us , : gw
Available at 54 libraries
-
23
- The Knowledge frontier : essays in the representation of knowledge
-
Nick Cercone, Gordon McCalla, editors
Springer-Verlag c1987 Symbolic computation . Artificial intelligence
Available at 26 libraries
-
24
- Foundations of logic programming
-
J.W. Lloyd
Springer-Verlag c1987 2nd, extended ed Symbolic computation . Artificial intelligence
: us , : gw
Available at 51 libraries
-
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
Available at 47 libraries
-
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
Available at 34 libraries
-
27
- Three-dimensional computer vision
-
Yoshiaki Shirai
Springer-Verlag c1987 Symbolic computation Computer graphics
: us , : gw
Available at 43 libraries
-
28
- Programming languages for industrial robots
-
Christian Blume, Wilfried Jakob ; [translator, Klaus Selke]
Springer-Verlag 1986 Symbolic computation Artificial intelligence
: us , : gw
Available at 18 libraries
-
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
Available at 15 libraries
-
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
Available at 22 libraries
-
31
- Catalogue of artificial intelligence tools
-
edited by Alan Bundy
Springer-Verlag c1986 2nd rev. ed Symbolic computation . Artificial intelligence
: us , : gw
Available at 13 libraries
-
32
- Computers in chess : solving inexact search problems
-
M.M. Botvinnik ; translated by Arthur A. Brown
Springer-Verlag c1984 Symbolic computation Artificial intelligence
Available at 26 libraries
-
33
- Computer graphics programming : GKS, the graphics standard
-
G. Enderle, K. Kansy, G. Pfaff
Springer-Verlag 1984 Symbolic computation Computer graphics
: gw , : us
Available at 46 libraries
-
34
- Natural language communication with pictorial information systems
-
edited by Leonard Bolc
Springer 1984 Symbolic computation . Artificial intelligence
: us , : gw
Available at 31 libraries
-
35
- Catalogue of artificial intelligence tools
-
edited by Alan Bundy
Springer-Verlag 1984 Symbolic computation Artificial intelligence
: us. : pbk , : gw. : pbk
Available at 30 libraries
-
36
- Foundations of logic programming
-
J.W. Lloyd
Springer-Verlag 1984 Symbolic computation
U.S. , Berlin
Available at 45 libraries
-
37
- Machine learning : an artificial intelligence approach
-
edited by R.S. Michalski, J.G. Carbonell, T.M. Mitchell
Springer 1984 Symbolic computation
: gw , : us
Available at 55 libraries
-
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
Available at 32 libraries
-
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
Available at 35 libraries
-
40
- Computer aided design : fundamentals and system architectures
-
J. Encarnação, E.G. Schlechtendahl
Springer-Verlag 1983 Symbolic computation Computer graphics
us , gw
Available at 37 libraries