:? no label:	BOOK        Arsac, Jacques:  Foundations of Programming (1985)  [RISC]
      :? no label:	BOOK        Bara, Bruno G. (Ed); Guida, Giovanni (Ed):  Computational Models of Natural Language Processing (1984)  [RISC]
      :? no label:	BOOK        Bernutat-Buchmann, Ulrike; Ehlich, Hartmut; Schlo~er, Karl-Heinz:  Proceedings of the 1982 Conferences on CYBER 200 in Bochum (1982)  [RISC]
      :? no label:	BOOK        Bernutat-Buchmann; et al.:  Parallel Computing I, Eine Bibliographie (1983)  [RISC]
      :? no label:	BOOK        Bishop, Ron:  Einfache Mikroprozessoren und der 6800 (1979)  [RISC]
      :? no label:	BOOK        Camion, Paul:  Can a Fast Signature Scheme without Secret Key be Secure (1985)  [RISC]
      :? no label:	BOOK        Cellier, Francois E.:  Progress in Modelling and Simulation. (1982)  [RISC]
      :? no label:	BOOK        Engeler, E.; Laeuchli, P.:  Berechnungstheorie fuer Informatiker (1988)  [RISC]
      :? no label:	BOOK        Ernst, Dietrich; Garbrecht, Kurt; et al.:  Chancen mit Chips. Zwischenbilanz einer Basistechnologie (1984)  [RISC]
      :? no label:	BOOK        Franz, Wolfgang:  Topologie. 1. Allgemeine Topologie. 3. Auflage. (1968)  [RISC]
      :? no label:	BOOK        Godfrey, M. D.; Hendry, D. F.; Hermans, H. J.; Hessenberg, R. K.:  Machine-independent Organic Software Tools (MINT) (1985)  [RISC]
      :? no label:	BOOK        Godfrey, M.D.; Hendry, D.F.; Hermans, H.J.; Hessenberg, R.K.:  Machine-Independent Organic Software Tools (Mint) (1985)  [RISC]
      :? no label:	BOOK        Janson, Philippe A.:  Operating Systems Structures and Mechanisms (1985)  [RISC]
      :? no label:	BOOK        Janson, Philippe A.:  Operating Systems Structures and Mechanisms (1985)  [RISC]
      :? no label:	BOOK        Manna, Z.; Waldinger, R.:  the logical basis for computer programming vol. 1 (1985)  [unknown]
      :? no label:	BOOK        Metcalf, Michael:  FORTRAN Optimization (1985)  [RISC]
      :? no label:	BOOK        Metcalf, Michael:  FORTRAN Optimization (1985)  [RISC]
      :? no label:	BOOK        Ravenel, Douglas C.:  Complex cobordism and stable homotopy groups of spheres. (1986)  [RISC]
      :? no label:	BOOK        Sagle, Arthur A.; Walde, Ralph E.:  Introduction to Lie groups and Lie algebras. (1973)  [RISC]
      :? no label:	BOOK        Spriet, Jan A.; Vansteenkiste Ghislain C.:  Computer-aided modelling and simulation. (1982)  [RISC]
      :? no label:	BOOK        Steele, Guy, L.:  Common LISP (    )  [RISC]
      :? no label:	BOOK        Zissos, D.:  System Design with Microprocessors. (1984)  [RISC]
      :? no label:	PROCEEDINGS Albrecht, A.; Jung, H.; Mehlhorn, K.:  Parallel algorithms and architectures (1987)  [RISC]
      :? no label:	PROCEEDINGS Arnon, Dennis A.:  Workshop on Environments for computational mathematics (1987)  [RISC]
      :? no label:	PROCEEDINGS Baeuerle:  Symp. on the dynamic properties of solids and structured phase transitions (1979)  [unknown]
      :? no label:	PROCEEDINGS Barth:  Berichte aus Informatikinstituten (1984)  [unknown]
      :? no label:	PROCEEDINGS Bourne:  7th ACM symposium on principles of programming languages (1980)  [unknown]
      :? no label:	PROCEEDINGS Camp Linz:  advanced topics in computer architecture (1984)  [unknown]
      :? no label:	PROCEEDINGS Char:  SYMSAC'86 (1986)  [unknown]
      :? no label:	PROCEEDINGS Clowes:  3rd int. joint conference on AI (1971)  [unknown]
      :? no label:	PROCEEDINGS Davis:  LISP conference (1980)  [unknown]
      :? no label:	PROCEEDINGS Derrett:  Software engineering: tools and methods (1978)  [unknown]
      :? no label:	PROCEEDINGS Dresden:  algorithmische und logische Grundlagen der Programmierung (1984)  [unknown]
      :? no label:	PROCEEDINGS Ebert, J. (ed.):  Alternative Konzepte fuer Sprachen und Rechner (1985)  [RISC]
      :? no label:	PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.:  TAPSOFT'87 (1987)  [RISC]
      :? no label:	PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.:  TAPSOFT'87 (1987)  [RISC]
      :? no label:	PROCEEDINGS Eryov, A.N.:  Proc. of the conference on tranlation and program transformation techniques (1984)  [RISC]
      :? no label:	PROCEEDINGS General electrics:  MACSYMA user conference (1984)  [unknown]
      :? no label:	PROCEEDINGS Govorin:  Systems and techniques in analytic computation (1983)  [unknown]
      :? no label:	PROCEEDINGS Govorin:  simulation programs and mathematical methods for solving physical problems (1983)  [unknown]
      :? no label:	PROCEEDINGS Govorun, N.:  International conference on computer algebra and its applications in theoretical physics (1985)  [RISC]
      :? no label:	PROCEEDINGS Guttag:  NSF workshop on the rewrite rule lab. (1983)  [unknown]
      :? no label:	PROCEEDINGS Hamza:  Mini- and Microcomputer ... (1983)  [unknown]
      :? no label:	PROCEEDINGS Hyvoenen:  STEP'84 (1984)  [unknown]
      :? no label:	PROCEEDINGS INRIA:  computer aided geometric reasoning (1986)  [unknown]
      :? no label:	PROCEEDINGS Kambayashi:  Consecution retrieval property (1981)  [unknown]
      :? no label:	PROCEEDINGS Kapur, D.; Mundy, (eds.):  Geometric Reasoning (1986)  [RISC]
      :? no label:	PROCEEDINGS Karpinski:  topics in the theory of computation (1983)  [unknown]
      :? no label:	PROCEEDINGS Lewis:  MACSYMA's user conference (1979)  [unknown]
      :? no label:	PROCEEDINGS Maehle:  Fehlertolerante Mehrprozessor- und Mehrrechner-systeme (1983)  [unknown]
      :? no label:	PROCEEDINGS Mastronardi:  Mini- and Microcomputers (1984)  [unknown]
      :? no label:	PROCEEDINGS Mignotte:  algorithmique calcul formel arithmetique (1983)  [unknown]
      :? no label:	PROCEEDINGS O'Rourke:  Computational geometry (1985)  [unknown]
      :? no label:	PROCEEDINGS Philipp:  Grundlagen und Anwendunge der Informationsverarbeitung (1982)  [unknown]
      :? no label:	PROCEEDINGS Pinzani, R.:  sul trattamento automatico delle informazioni (1971)  [RISC]
      :? no label:	PROCEEDINGS Plander:  AI and information control systems of robots (1980)  [unknown]
      :? no label:	PROCEEDINGS Prof:  teoriya i praktika automatizirovania (1984)  [unknown]
      :? no label:	PROCEEDINGS Radermacher:  Berichte aus Informatikinstituten (1986)  [unknown]
      :? no label:	PROCEEDINGS Remmele:  Microcomputing (1979)  [unknown]
      :? no label:	PROCEEDINGS Rossa:  Mini- and micro computer and their application (1980)  [unknown]
      :? no label:	PROCEEDINGS Scheel:  Zur Bedeutung der Information ... (1983)  [unknown]
      :? no label:	PROCEEDINGS Snyder, Lawrence (ed.); Jamieson, Leah H.; Gannon, Dennis B.; Siegel, Howard Jay:  Algorithmically Specialized Parallel Computers (1985)  [RISC]
      :? no label:	PROCEEDINGS Steinringer:  Wirtschaft und Technik (1985)  [unknown]
      :? no label:	PROCEEDINGS Talukdar:  coupling symbolic and numeric computation in expert systems (1985)  [unknown]
      :? no label:	PROCEEDINGS Visconti:  4th int. colloquium on advanced computing methods in theoretical ph ysics (1977)  [unknown]
      :? no label:	PROCEEDINGS Wagner, R.R.; Traunmueller, R.; Mayr, H.C.:  Informationsbedarfsermittlung und -analyse fuer den Entwurf von Informationssystemen (1987)  [RISC]
      :? no label:	PROCEEDINGS Wagner:  EMISA'87 (1987)  [unknown]
      :? no label:	PROCEEDINGS Wang:  SYMSAC'81 (1981)  [unknown]
      :? no label:	PROCEEDINGS nn:  1st RIKEN symp. (1984)  [unknown]
      :? no label:	PROCEEDINGS nn:  2nd RIKEN symp. (1985)  [unknown]
      :? no label:	PROCEEDINGS nn:  3. Tagung Berichte aus Informatikinstituten (1979)  [unknown]
      :? no label:	PROCEEDINGS nn:  3rd RIKEN symp. (1986)  [unknown]
      :? no label:	PROCEEDINGS nn:  4. Oe. Wissenschaftsmesse, Bd. 3 (1985)  [unknown]
      :? no label:	PROCEEDINGS nn:  ACM conf. LISP and functional programming (Auszuege) (1986)  [unknown]
      :? no label:	PROCEEDINGS nn:  Berichte aus Informatikinstituten (1981)  [unknown]
      :? no label:	PROCEEDINGS nn:  Berichte aus Informatikinstituten (1983)  [unknown]
      :? no label:	PROCEEDINGS nn:  Computer architecture (1980)  [unknown]
      :? no label:	PROCEEDINGS nn:  EXHIBIT'86 (1986)  [unknown]
      :? no label:	PROCEEDINGS nn:  ICIAM '87 Austellungskatalog (1987)  [RISC]
      :? no label:	PROCEEDINGS nn:  IFABO'85 (1985)  [unknown]
      :? no label:	PROCEEDINGS nn:  IJCAI'77 (1977)  [unknown]
      :? no label:	PROCEEDINGS nn:  Int. school of high energy physics for young scientists (1982)  [unknown]
      :? no label:	PROCEEDINGS nn:  RIKEN symp. (1987)  [unknown]
      :? no label:	PROCEEDINGS nn:  UNIX transparent (1985)  [unknown]
      :? no label:	PROCEEDINGS nn:  int. conference on reliable software (1975)  [unknown]
      :Roider(Nachlass):	BOOK        Berger, A.:  Einfuehrung in COBOL (    )  [RISC]
      :Roider(Nachlass):	BOOK        Bowen, Rufus:  On axiom a diffeomorphisms (    )  [RISC]
      :Roider(Nachlass):	BOOK        Buchberger, B.; Collins, G.E.; Loos, R.; Albrecht, R.:  Computer algebra, symbolic and algebraic computation (    )  [RISC]
      :Roider(Nachlass):	BOOK        Buchberger, B.; Lichtenberger, F.:  Mathematik fue Informatiker I (    )  [RISC]
      :Roider(Nachlass):	BOOK        Davis, Martin:  Computability and unsolvability (    )  [RISC]
      :Roider(Nachlass):	BOOK        Ornstein, Donald S.:  Ergodic theory, randomness, and dynamical systems (    )  [RISC]
      :ln.c.-05:	PROCEEDINGS Ershov, A.; et al.:  International symposium on theoretical programming (1972)  [RISC]
      :ln.c.-19:	PROCEEDINGS Robinet, B.:  Programming symposium (1974)  [RISC]
      :ln.c.-25:	BOOK        Manes, E.G.:  Category theory applied to computation and control (1974)  [RISC]
      :ln.c.-33:	BOOK        Brakhage, H.:  Automata theory and formal languages (1975)  [RISC]
      :ln.c.-35:	BOOK        Everling, W.:  Exercises in computer systems analysis (1975)  [RISC]
      :ln.c.-37:	BOOK        Boehm, C.:  Lambda calculus and computer science theory (1975)  [RISC]
      :ln.c.-45:	BOOK        Mazurkiewicz, A.:  mathematical foundations of computer science (1976)  [RISC]
      :ln.c.-48:	BOOK        Tzschach, H.; et al.:  Theoretical computer science (1977)  [RISC]
      :ln.c.-62:	BOOK        Ausiello, G.; et al.:  Automata, Languages and programming (1978)  [RISC]
      :ln.c.-64:	BOOK        Winkowski, J.:  Mathematical foundations of computer science (1978)  [RISC]
     1:001:	BOOK        Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed):  Computer Algebra Symbolic and Algebraic Computation, Second Edition (1982)  [RISC]
     1:1a49:	BOOK        Addison, J.W.:  The theory of models (1963)  [RISC]
     1:1r57:	BOOK        Rice, J.R.:  Mathematical software (    )  [RISC]
     3:3a10:	BOOK        Aiserman, M.A.:  Logik - Automaten - Algorithmen (    )  [RISC]
     3:3b101:	BOOK        Bobrow, D.G.:  Symbol manipulation languages and techniques (    )  [RISC]
     3:3b190:	BOOK        Bird, R.:  Programs and machines (    )  [RISC]
     3:3c112:	BOOK        Charnial, E.:  Computational semantics (    )  [RISC]
     4:4b55II:	BOOK        Boehme, G.:  Anwendungsorientierte Mathematik, Band II (1975)  [RISC]
     4:4l30:	BOOK        Lausch, H.:  Algebra of polynomials (    )  [RISC]
     4:4r57:	BOOK        Richter, M.M.:  Logikkalkuele (    )  [RISC]
     4:4w28:	BOOK        Wedekind, H.:  Systemanalyse (    )  [RISC]
     7:7a144:	BOOK        Darling, A.R.:  Use of mathematical literature (    )  [RISC]
    11:011:	BOOK        Barendregt, H.P.:  The Lambda Calculuss of Natural Language Processing Its Syntax and Semantics (1984)  [RISC]
    12:012:	BOOK        Rine, David C. (Ed):  Computer Science and Multiple-Valued Logic Theory and Applications (1984)  [RISC]
    13:13:	BOOK        :  (0)  [RISC]
    13:13:	BOOK        :  (0)  [RISC]
    17:17:	BOOK        Kulisch, U.; Ullrich, Ch.:  Wissenschaftliches Rechnen und Programmiersprachen (1982)  [RISC]
    18:18:	BOOK        Paul, W. J.:  Komplexitaetstheorie (1978)  [RISC]
    19:019:	BOOK        Berstel, Jean:  Transductions and Context-Free Languages (1979)  [RISC]
    19:19:	BOOK        Berstel, J.:  Transductions and Context-Free Languages (1979)  [RISC]
    20:20:	BOOK        Schnorr, C. P.:  Rekursive Funktionen und ihre Komplexitaet (1974)  [RISC]
    21:21:	BOOK        Richter, M. M.:  Logikkalkuele (1978)  [RISC]
    22:22:	BOOK        Loeckx, Jacques; Sieber, Kurt:  The Foundations of Program Verification (1984)  [RISC]
    23:23:	BOOK        Kemp, Rainer:  Fundamentals of the Average Case Analysis of Particular Algorithms (1984)  [RISC]
    24:24:	BOOK        van Lint, J. H.:  Introduction to Coding Theory (1982)  [RISC]
    25:025:	BOOK        Beardon, Alan F.:  The Geometry of Discrete Groups (1983)  [RISC]
    25:25:	BOOK        Beardon, Alan F.:  The Geometry of Discrete Groups (1983)  [RISC]
    26:26:	BOOK        Berg, Christian; Christensen, Jens Peter Reus; Ressel, Paul:  Harmonic Analysis on Semigroups Theory of Positive Definite and Related Functions (1984)  [RISC]
    27:27:	BOOK        Edwards, Harold M.:  Galois Theory (1984)  [RISC]
    28:028:	BOOK        Bott, Raoul; Tu, Loring W.:  Differential Forms in Algebraic Topology (1982)  [RISC]
    28:28:	BOOK        Bott, Raoul; Tu, Loring W.:  Differential Forms in Algebraic Topology (1982)  [RISC]
    29:29:	BOOK        Forster, Otto:  Lectures on Riemann Surfaces (1981)  [RISC]
    30:30:	BOOK        Warner, Frank W.:  Foundations of Differentiable Manifolds and Lie Groups (1983)  [RISC]
    31:31:	BOOK        Brondsted, Arne:  An Introduction to Convex Polytopes (1983)  [RISC]
    32:32:	BOOK        Grove, L. C.; Benson, C. T.:  Finite Reflection Groups (1971)  [RISC]
    33:33:	BOOK        Hartshorne, Robin:  Algebraic Geometry (1977)  [RISC]
    34:34:	BOOK        Ireland, Kenneth; Rosen, Michael:  A Classical Introduction to Modern Number Theory (1972)  [RISC]
    35:35:	BOOK        Varadarajan, V. S.:  Lie Groups, Lie Algebras, and Their Representation (1974)  [RISC]
    36:36:	BOOK        Kelly, Paul; Matthews, Gordon:  The Non-Euclidean, Hyperbolic Plane Its Structure and Consistency (1981)  [RISC]
    37:37:	BOOK        Marchuk, G. I.; Shaidurov, V. V.:  Difference Methods and Their Extrapolations (1983)  [RISC]
    38:38:	BOOK        Marchuk, G. I.:  Methods of Numerical Mathematics Second Edition (1982)  [RISC]
    39:39:	BOOK        Scharlau, W.; Opolka, Hans:  From Fermat to Minkowski (1985)  [RISC]
    40:40:	BOOK        Macki, Jack; Strauss, Aaron:  Introduction to Optimal Control Theory (1982)  [RISC]
    41:41:	BOOK        Ebbinghaus, H. D.; Flum, J.; Thomas, W.:  Mathematical Logic (1984)  [RISC]
    42:42:	BOOK        Protter, M. H.; Morrey, Charles B. Jr.:  Intermediate Calculus (1985)  [RISC]
    43:043:	BOOK        Curtis, Morton L.:  Matrix Groups Second Edition (1979)  [RISC]
    43:43:	BOOK        Curtis, Morton L.:  Matrix Groups Second Edition (1984)  [RISC]
    44:44:	BOOK        Simmonds, James G.:  A Brief on Tensor Analysis (1982)  [RISC]
    45:45:	BOOK        Yosida, K.:  Operational Calculus A Theory of Hyperfunctions (1984)  [RISC]
    46:46:	BOOK        Naimark, M. A.; Stern, A. I.:  Theory of Group Representations (1982)  [RISC]
    47:47:	BOOK        Reisel, Robert B.:  Elementary Theory of Metric Spaces (1982)  [RISC]
    48:48:	BOOK        Arkowitz, M.; Curjel, C. R.:  Groups of Homotopy Classes (1967)  [RISC]
    49:49:	BOOK        Hermes, Hans:  Eine Termlogik mit Auswahloperator (1965)  [RISC]
    50:50:	BOOK        Lang, Serge:  Introduction to Algebraic and Abelian Functions Second Edition (1982)  [RISC]
    51:51:	BOOK        Diestel, Joseph:  Sequences and Series in Banach Spaces (1984)  [RISC]
    52:52:	BOOK        Oort, F.:  Commutative group schemes (1966)  [RISC]
    53:53:	BOOK        Froehlicher, A.; Bucher, W.:  Calculus in Vector Spaces without Norm (1966)  [RISC]
    54:54:	BOOK        Troutman, John L.:  Variational Calculus with Elementary Convexity (1983)  [RISC]
    55:55:	BOOK        Jaenich, Klaus:  Topology (1984)  [RISC]
    56:56:	BOOK        Martin, George E.:  The Foundations of Geometry and the Non-Euclidean Plane (1975)  [RISC]
    57:57:	BOOK        Pierce, Richard S.:  Associate Algebras (1982)  [RISC]
    58:058:	BOOK        Broecker, Theodor; Dieck, Tammo tom:  Representations of Compact Lie Groups (1985)  [RISC]
    58:58:	BOOK        Broecker, Theodor; Dieck, Tammo tom:  Representations of Compact Lie Groups (1985)  [RISC]
    59:59:	BOOK        Brown, Kenneth S.:  Cohomology of Groups (1982)  [RISC]
    60:60:	BOOK        Halmos, Paul R.:  A Hilbert Space Problem Book (1982)  [RISC]
    61:61:	BOOK        Naylor, Arch W.; Sell, George R.:  Linear Operator Theory in Engineering and Science (1982)  [RISC]
    62:62:	BOOK        Pazy, A.:  Semigroups of Linear Operators and Applications to Partial Differential Equations (1983)  [RISC]
    63:63:	BOOK        Fischer, Emanuel:  Intermediate Real Analysis (1983)  [RISC]
    64:64:	BOOK        Silvester, Peter P.:  The Unix System Guidebook An Introductory Guide for Serious Users (1984)  [RISC]
    64:64:	BOOK        Silvester, Peter P.:  The Unix System Guidebook An Introductory Guide for Serious Users (1984)  [RISC]
    65:65:	BOOK        Kfoury, A. J.; Moll, Robert N.; Arbib, Michael A.:  A Programming Approach to Computability (1982)  [RISC]
    66:66:	BOOK        Washington, Lawrence C.:  Introduction to Cyclotomic Fields (1982)  [RISC]
    67:67:	BOOK        Kostrikin, A. I.:  Introduction to Algebra (1982)  [RISC]
    68:68:	BOOK        Lidl, Rudolf; Pilz, Guenther:  Applied Abstract Algebra (1984)  [RISC]
    69:69:	BOOK        Smith, Larry:  Linear Algebra Second Edition (1984)  [RISC]
    70:70:	BOOK        Chow, Shui-Nee; Hale, Jack K.:  Methods of Bifurcation Theory (1982)  [RISC]
    71:071:	BOOK        Aubin, Thierry:  Nonlinear Analysis on Manifolds.s in Combinatorial Optimization Monge-Ampere Equations (1982)  [RISC]
    71:71:	BOOK        Aubin, Thierry:  Nonlinear Analysis on Manifolds. Monge-Ampere Equations (1982)  [RISC]
    72:72:	PROCEEDINGS Jouannaud, Jean-Pierre:  Functional Programming Languages and Computer Architecture (1985)  [RISC]
    73:073:	BOOK        Kluzniak, Feliks; Szpakowicz, Stanislaw:  PROLOG for Programmers (1985)  [RISC]
    76:76:	PROCEEDINGS Muehlbacher, Joerg (ed.):  Mikroelektronik fuer den Menschen, Band 1 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin (1985)  [RISC]
    77:77:	PROCEEDINGS Muehlbacher, Joerg (ed.):  Mikroelektronik fuer den Menschen, Band 2 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin (1985)  [RISC]
   199:199:	BOOK        nn:  ACM guide to computing literature (1982)  [RISC]
   207:207:	BOOK        nn:  World directory of mathematicians 1986 (1986)  [RISC]
   257:257-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 1: classical logic (1987)  [RISC]
   258:258-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 2: non-classical logic (1987)  [RISC]
   259:259-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 3: model theory (1987)  [RISC]
   260:260-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 4: recursion theory (1987)  [RISC]
   261:261-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 5: set theory (1987)  [RISC]
   262:262-0:	BOOK        Mueller, G.H. (ed.):  omega-bibliography of mathematical logic vol 6: proof theory, constructive mathematics (1987)  [RISC]
   484:484:	BOOK        Bernays, Paul; Fraenkel, Abraham:  Axiomatic Set Theory (1968)  [RISC]
   572:572:	BOOK        church:  Introduction to modal logic (    )  [RISC]
   591:591:	BOOK        Crossley:  Sets, models and recursion theory (    )  [RISC]
   707:707:	BOOK        Hermes, Hans:  Einfuehrung in die Mathematische Logik Klassische Pr"dikatenlogik (1963)  [RISC]
   707:707:	BOOK        Hermes:  Einfuehrung in die mathematische Logik (    )  [RISC]
  1018:1018:	BOOK        Suppes, Patrick:  Axiomatic Set Theory (1960)  [RISC]
  1018:1018:	BOOK        Suppes, Patrick:  Axiomatic Set Theory (1960)  [RISC]
  1027:1027:	BOOK        Schmidt, Arnold H.:  Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik (1960)  [RISC]
  1027:1027:	BOOK        Schmidt, Arnold H.:  Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik (1960)  [RISC]
  1198:1198:	BOOK        Groebner, Wolfgang:  Algebraische Geometrie (    )  [RISC]
  1215:1215:	BOOK        curry:  Foundations of mathematical logic (    )  [RISC]
  1224:1224:	BOOK        Coxeter:  Introduction to geometry (    )  [RISC]
  1717:1717:	BOOK        Leech, John (Ed):  Computational Problems in Abstract Algebra (1970)  [RISC]
  2426:2426:	PROCEEDINGS Watanable:  Methods of pattern recognition (1969)  [RISC]
  2709:2709:	BOOK        Coxeter:  Unvergaengliche Geometrie (    )  [RISC]
  3297:3297:	BOOK        Hilbert:  Grundlagen der Geometrie (    )  [RISC]
  3304:3304:	BOOK        Freudenthal, Hans:  The Language of LOGIC (1966)  [RISC]
  3406:3406:	BOOK        Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel:  Foundations of Set Theory Second Edition (1973)  [RISC]
  3457:3457:	BOOK        Schafarewitsch, I.R.:  Grundzuege der algebraischen Geometrie (1972)  [RISC]
  3462:3462:	BOOK        Bonne, W.W. (Ed); Cannonito, F.B. (Ed); Lyndon, R.C. (Ed):  Word Problems Decision Problems and the Burnside Problem in Group Theory (1973)  [RISC]
  3463:3463:	BOOK        Schoenfield, Joseph R.:  Mathematical Logic (1967)  [RISC]
  3463:3463:	BOOK        Schoenfield, Joseph R.:  Mathematical Logic (1967)  [RISC]
  3507:3507:	BOOK        Mal`cev, A.I.:  The Metamathematics of Algebraic Systems (1971)  [RISC]
  3743:3743:	BOOK        Quine, Willard Van Orman:  Mengenlehre und ihre Logik (1973)  [RISC]
  3750:3750:	BOOK        Jech, Thomas J.:  The Axiom of Chioce (1973)  [RISC]
  4050:4050:	BOOK        Chang, C.C.; Keisler, H.J.:  Model Theory (1973)  [RISC]
  4057:4057:	BOOK        Hilbert, D.; Bernays, P.:  Grundlagen der Mathematik II (1970)  [RISC]
  4059:4059:	BOOK        Luckhardt, Horst:  Extensional Goedel Functional Interpretation A Consistency Proof of Classical Analysis (1973)  [RISC]
  4060:4060:	PROCEEDINGS Hodges; et al. (eds.):  Conference on mathematical logic (1970)  [RISC]
  4061:4061:	PROCEEDINGS Mathias; et al. (eds.):  Cambridge summer school in mathematical logic (1971)  [RISC]
  4097:4097:	PROCEEDINGS Lakatos (ed.):  Inductive logic (1965)  [RISC]
  4099:4099:	BOOK        Keisler, H. Jerome:  Model Theory For Infinitary Logic Logic with Countable Conjunctions and Finite Quantifiers (1971)  [RISC]
  4101:4101:	PROCEEDINGS Kino; et al (eds.):  Intuism and proof theory (1968)  [RISC]
  4102:4102:	PROCEEDINGS Gandy; Yates (eds.):  Logic colloquium (1969)  [RISC]
  4103:4103:	PROCEEDINGS Fenstad (ed.):  2nd scandinavian logic symposium (1970)  [RISC]
  4104:4104:	BOOK        Luschei, Eugene C.:  The Logical Systems of Lesniewski (1962)  [RISC]
  4106:4106:	BOOK        Lakatos (ed.):  Philosophy of mathematics (1965)  [RISC]
  4107:4107:	PROCEEDINGS Suppes; et al. (eds.):  Logic, methodology and philosophy of science (1971)  [RISC]
  4109:4109:	BOOK        Crossley, John N.:  Constructive Order Types (1969)  [RISC]
  4110:4110:	BOOK        Szabo, M.E. (Ed):  The Collected Papers of Gerhard Gentzen (1969)  [RISC]
  4111:4111:	BOOK        Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.:  Mathematical Interpretation of Formal Systems (1971)  [RISC]
  4111:4111:	BOOK        Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.:  Mathematical Interpretation of Formal Systems (1971)  [RISC]
  4112:4112:	BOOK        Sullivan, Mark W.:  Apuleian Logic The Nature, Sources and Influence of Apuleius`s (1967)  [RISC]
  4112:4112:	BOOK        Sullivan, Mark W.:  Apuleian Logic The Nature, Sources and Influence of Apuleius`s (1967)  [RISC]
  4114:4114:	PROCEEDINGS VanRottselar; Staal:  Logic, methodology and philosophy of science (1967)  [RISC]
  4115:4115:	BOOK        Hintikka, Jaakko (Ed); Suppes, Patrick (Ed):  Aspects of Inductive Logic (1966)  [RISC]
  4116:4116:	BOOK        Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.:  Undecidable Theories (1971)  [RISC]
  4116:4116:	BOOK        Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.:  Undecidable Theories (1971)  [RISC]
  4117:4117:	BOOK        Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni:  Ordinal Algebras (1970)  [RISC]
  4117:4117:	BOOK        Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni:  Ordinal Algebras (1970)  [RISC]
  4119:4119:	BOOK        Henkin. Leon; Monk, J. Donald; Tarski, Alfred:  Cylindrical Algebras Part I (1971)  [RISC]
  4120:4120:	BOOK        Basri, Saul A.:  A Deductive Theory of Space and Time (1966)  [RISC]
  4121:4121:	BOOK        Ackerman, W.:  Solvable Cases of the Decision Problem (1968)  [RISC]
  4122:4122:	BOOK        Moschovakis, Yiannis N.:  Elementary Induction on Absgtract Structures (1974)  [RISC]
  4123:4123:	BOOK        Curry, Haskell B.:  Formalist Philosophy of Mathematics (1970)  [RISC]
  4124:4124:	BOOK        Craig, William:  Logic in Algebraic Form Three Languages and Theories (1974)  [RISC]
  4125:4125:	PROCEEDINGS Bar-Hillel:  Mathematical logic (1968)  [RISC]
  4126:4126:	BOOK        Bar-Hillel, Yehoshua (Ed):  Mathemaical Logic and Foundations of Set Theory (1970)  [RISC]
  4127:4127:	PROCEEDINGS Bar-Hillel:  Logic, methodology and philosophy of science (1964)  [RISC]
  4128:4128:	BOOK        Rasiowa, Helena:  An Algebraic Approach to Non-Classical Logics (1974)  [RISC]
  4129:4129:	BOOK        Andrews, P.B.:  A Transfinite Type Theory with Type Variables (1965)  [RISC]
  4130:4130:	BOOK        Goodstein, R.L.:  Recursive Analysis (1961)  [RISC]
  4131:4131:	BOOK        Goodstein, R.L.:  Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free ... (1964)  [RISC]
  4132:4132:	BOOK        Penstad; Hinman (eds.):  Generalized recursion theory (    )  [RISC]
  4158:4158:	BOOK        Coffman, Edward G.; Denning, Peter J.:  Operating Systems Theory (1973)  [RISC]
  4164:4164:	BOOK        Rudeanu, Sergiu:  Boolean Functions and Equations (1974)  [RISC]
  4165:4165:	BOOK        Leisenring, A.C.:  Mathematical Logic and Hilbert`s E-Symbol (1969)  [RISC]
  4167:4167:	BOOK        Robbin, Joel W.:  Mathematical Logic A First Course (1969)  [RISC]
  4182:4182:	BOOK        Sacks, Gerald E.:  Degrees of Unsolvability Second Edition (1966)  [RISC]
  4182:4182:	BOOK        Sacks, Gerald E.:  Degrees of Unsolvability Second Edition (1966)  [RISC]
  4206:4206:	BOOK        Leclercq, Rene:  The Logic of the Plausible and Some of its Applications (1974)  [RISC]
  4234:4234:	BOOK        Neumann, John von:  Theory of Self-Reproducing Automata (1966)  [RISC]
  4290:4290:	BOOK        Lausch, Hans; Noebauer, Wilfried:  Algebra of Polynomials (1973)  [RISC]
  4307:4307:	BOOK        Enderton, Herbert E.:  A Mathematical Introduction to Logic (1972)  [RISC]
  4308:4308:	BOOK        Eilenberg, Samuel; Elgot, Calvin C.:  Recursiveness (1970)  [RISC]
  4310:4310:	BOOK        Chang, Chin-Liang; Lee, Richard Char-Tung:  Symbolic Logic and Mechanical Theorem Proving (1973)  [RISC]
  4321:4321:	BOOK        Yasuhara, Ann:  Recursive Function Theory and Logic (1971)  [RISC]
  4321:4321:	BOOK        Yasuhara, Ann:  Recursive Function Theory and Logic (1971)  [RISC]
  4322:4322:	PROCEEDINGS Traub, Joe Fred:  Complexity of sequential and parallel numerical algorithms. Proceedings ... Carnegie-Mellon, Pittsburgh, May 16-18, 1986. (1973)  [RISC]
  4344:4344:	BOOK        Genuys, F. (Ed):  Programming Languages NATO Advanced Study Institute (1968)  [RISC]
  4346:4346:	BOOK        Shannon, C.E. (Ed); McCarthy, J. (Ed):  Studien zur Theorie der Automaten (1956)  [RISC]
  4346:4346:	BOOK        Shannon, C.E. (Ed); McCarthy, J. (Ed):  Studien zur Theorie der Automaten (1956)  [RISC]
  4348:4348:	BOOK        Margaris, Angelo:  First Order Mathematical Logic (1967)  [RISC]
  4413:4413:	PROCEEDINGS Harrison; et al. (eds.):  ACM symposium on theory of computing (1969)  [RISC]
  4414:4414:	PROCEEDINGS Karp; et al. (eds.):  2th annual symposium on theory of computing (1970)  [RISC]
  4415:4415:	PROCEEDINGS Lewis; et al. (eds.):  3th annual symposium on theory of computing (1971)  [RISC]
  4416:4416:	PROCEEDINGS Rosenberg (ed.):  4th annual symposium on theory of computing (1972)  [RISC]
  4417:4417:	PROCEEDINGS Borodin; et al. (eds.):  5th annual symposium on theory of computing (1973)  [RISC]
  4418:4418:	PROCEEDINGS NN:  6th annual symposium on theory of computing (1974)  [RISC]
  4422:4422:	PROCEEDINGS nn:  symp. on very high level languages (1974)  [RISC]
  4423:4423:	BOOK        Silberg, Bruce (Ed):  Decision Table Bibliography (1972)  [RISC]
  4423:4423:	BOOK        Silberg, Bruce (Ed):  Decision Table Bibliography (1972)  [RISC]
  4425:4425:	BOOK        Tou; Wegner (eds.):  Data structures in programming languages (1971)  [RISC]
  4492:4492:	BOOK        Nilsson, Nils J.:  Problem-solving methods in artificial intelligence. (1971)  [RISC]
  4515:4515:	BOOK        Holt, Richard C.:  On deadlock in computer systems. (1972)  [RISC]
  4518:4518:	BOOK        Fraisse, Roland:  Cours de Logique Mathematique Relation et formule logique (1971)  [RISC]
  4519:4519:	BOOK        Fraisse, Roland:  Cours de Logique Mathematique Theorie des modeles (1972)  [RISC]
  4520:4520:	BOOK        Grzegorczyk, Andrzej:  An Outline of Mathematical Logic (1974)  [RISC]
  4584:4584:	BOOK        Birkhoff; Hall:  Computer in algebra and number theory (1970)  [RISC]
  4675:4675:	BOOK        Salomaa, Arto:  Formal Languages (1973)  [RISC]
  4675:4675:	BOOK        Salomaa, Arto:  Formal Languages (1973)  [RISC]
  4676:4676:	BOOK        Budach, Lothar; Hoehnke, Hans J.:  Automaten und Fonktoren (1975)  [RISC]
  4742:4742:	BOOK        Ginsburg, Seymour:  Algebraic and Automata-Theoretic Properties of Formal Languages (1975)  [RISC]
  4784:4784:	PROCEEDINGS Clearwater (ed.):  Optical computing symposium (1972)  [RISC]
  4785:4785:	PROCEEDINGS nn:  5th annual workshop on microprogramming (1972)  [RISC]
  4786:4786:	PROCEEDINGS Sarlo (ed.):  Symp. on programming and machine organization (1971)  [RISC]
  4787:4787:	PROCEEDINGS Winkler (ed.):  Computer communication (1972)  [RISC]
  4788:4788:	PROCEEDINGS nn:  Computer and software reliability (1973)  [RISC]
  4789:4789:	PROCEEDINGS nn:  Computer conference on parallel processing (1973)  [RISC]
  4790:4790:	PROCEEDINGS nn:  Data network (1973)  [RISC]
  4791:4791:	PROCEEDINGS Avizienis (ed.):  Compon 72 (1972)  [RISC]
  4792:4792:	PROCEEDINGS Borodin; et al. (eds.):  12th annual symposium on switching and automata theory (1971)  [RISC]
  4793:4793:	PROCEEDINGS nn:  Switching and automata theory (1973)  [RISC]
  4794:4794:	PROCEEDINGS nn:  International symposium on multiple valued logic (1973)  [RISC]
  4795:4795:	PROCEEDINGS nn:  COMPON 73 (1973)  [RISC]
  4796:4796:	PROCEEDINGS Lipovski; Szygenda (eds.):  Symposium on computer architecture (1973)  [RISC]
  4797:4797:	PROCEEDINGS nn:  Symposium on high-level languages (1973)  [RISC]
  4875:4875:	PROCEEDINGS Boddenberg:  Logik I (    )  [RISC]
  4904:4904:	BOOK        Marcus, Solomon:  Algebraic Linguistics; Analytic Models (1967)  [RISC]
  4927:4927:	PROCEEDINGS Rose; Shepherdson (eds.):  Logic colloquium (1973)  [RISC]
  4929:4929:	BOOK        Manaster, Alfred B.:  Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic (1975)  [RISC]
  5025:5025:	PROCEEDINGS Feng (ed.):  Parallel Processing (1974)  [RISC]
  5028:5028:	PROCEEDINGS Nickel (ed.):  Intervall Mathematics (1975)  [RISC]
  5050:5050:	BOOK        Hallerberg, Arthur E.:  Logic in Mathematics: An Elementary Approach (1974)  [RISC]
  5068:5068:	PROCEEDINGS Dold (ed.):  Logic colloquium (1972)  [RISC]
  5105:5105:	BOOK        Schank, Roger C.:  Computer Models of Thought and Language (1973)  [RISC]
  5105:5105:	BOOK        Schank, Roger C.:  Computer Models of Thought and Language (1973)  [RISC]
  5132:5132:	BOOK        Manna, Zohar:  Mathematical Theory of Computation (1974)  [RISC]
  5133:5133:	BOOK        Wang, Hao:  From Mathematics to Philosophy (1974)  [RISC]
  5133:5133:	BOOK        Wang, Hao:  From Mathematics to Philosophy (1974)  [RISC]
  5135:5135:	BOOK        Takeuti, Gaisu:  Proof Theory (1975)  [RISC]
  5135:5135:	BOOK        Takeuti, Gaisu:  Proof Theory (1975)  [RISC]
  5190:5190:	PROCEEDINGS Haendler; Peschl; Unger (eds.):  Kolloquium ueber Automatentheorie (1965)  [RISC]
  5192:5192:	PROCEEDINGS Peschl; Unger (eds.):  Kolloquium ueber Schaltkreise und Schaltwerktheorie (1960)  [RISC]
  5217:5217:	BOOK        Hunt, Earl B.:  Artificial Intelligence (1975)  [RISC]
  5246:5246:	BOOK        Nijenhuis, Albert; Wilf, Herbert S.:  Combinatorial Algorithms (1975)  [RISC]
  5285:5285:	BOOK        Dickmann, M.A.:  Large Infinitary Languages Model Theory (1975)  [RISC]
  5480:5480:	BOOK        Shafarevich, I.R.:  basic algebraic geometry (    )  [RISC]
  5490:5490:	PROCEEDINGS Kanger (ed.):  3rd Scandinavian logic symposium (1973)  [RISC]
  5502:5502:	BOOK        Traub, J.F. (Ed):  Analytic Computational Complexity (1976)  [RISC]
  5502:5502:	BOOK        Traub, J.F. (Ed):  Analytic Computational Complexity (1976)  [RISC]
  5581:5581:	BOOK        Raphael, Bertram:  The Thinking Computer Mind Inside Matter (1976)  [RISC]
  5585:5585:	BOOK        Foster, Caxton C.:  Content Addressable Parallel Processors (1976)  [RISC]
  5651:5651:	BOOK        Takeuti, G.; Zaring, W.M.:  Introduction to Axiomatic Set Theory (1971)  [RISC]
  5651:5651:	BOOK        Takeuti, G.; Zaring, W.M.:  Introduction to Axiomatic Set Theory (1971)  [RISC]
  5759:5759:	BOOK        Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.:  The Design and Analysis of Computer Algorithms (1974)  [RISC]
  5760:5760:	BOOK        Aho; et al.:  Design and analysis of computer algorithms (    )  [RISC]
  5827:5827:	PROCEEDINGS nn:  7th annual symposium on theory of computation (1975)  [RISC]
  5828:5828:	PROCEEDINGS Petrick (ed.):  2nd symposium on symbolic and algebraic manipulation (1971)  [RISC]
  5830:5830:	BOOK        Barwise, J.:  Admissible sets and structures. An approach to definability theory (    )  [RISC]
  5877:5877:	BOOK        Ledgard, Henry F.:  Programming Proversbs (1975)  [RISC]
  5888:5888:	BOOK        Traub, J.F. (Ed):  Algorithms and Complexity New Directions and Recent Results (1976)  [RISC]
  5888:5888:	BOOK        Traub, J.F. (Ed):  Algorithms and Complexity New Directions and Recent Results (1976)  [RISC]
  5922:5922:	BOOK        Mueller, Gert H. (Ed):  Sets and Classes on the work by Paul Bernays (1976)  [RISC]
  5974:5974:	BOOK        Fraenkel, Abraham A.:  Abstract Set Theory Fourth Edition (1976)  [RISC]
  5977:5977:	BOOK        Curry, Haskell B.; Feys, Robert; Craig, William:  Combinatory Logic Volume I (1974)  [RISC]
  6062:6062:	BOOK        Schuette, Kurt:  Proof Theorie (1977)  [RISC]
  6062:6062:	BOOK        Schuette, Kurt:  Proof Theorie (1977)  [RISC]
  6078:6078:	BOOK        Beck, Robert E. (Ed); Kolman, Bernard (Ed):  Computers in Nonassociative Rings and Algebras (1977)  [RISC]
  6138:6138:	BOOK        Spies, P.P. (Ed):  Modelle fuer Rechensysteme (1977)  [RISC]
  6138:6138:	BOOK        Spies, P.P. (Ed):  Modelle fuer Rechensysteme (1977)  [RISC]
  6241:6241:	BOOK        Stanat, Donald F.; McAllister, David F.:  Discrete Mathematics in Computer Science (1977)  [RISC]
  6241:6241:	BOOK        Stanat, Donald F.; McAllister, David F.:  Discrete Mathematics in Computer Science (1977)  [RISC]
  6242:6242:	BOOK        Yeh, Raymond T. (Ed):  Current Trends in Programming Methodology Volume I: Software Specification and Design (1977)  [RISC]
  6242:6242:	BOOK        Yeh, Raymond T. (Ed):  Current Trends in Programming Methodology Volume I: Software Specification and Design (1977)  [RISC]
  6260:6260:	PROCEEDINGS Gandy (ed.):  Logic colloquium (1976)  [RISC]
  6279:6279:	BOOK        Knuth, Donald E.:  Surreal Numbers (1974)  [RISC]
  6297:6297:	BOOK        Mazurkiewicz, Antoni; Pawlak, Zdzislaw:  Mathematical Foundations of Computer Science (1974)  [RISC]
  6382:6382:	BOOK        Barwise, J.:  Handbook of mathematical logic (    )  [RISC]
  6388:6388:	BOOK        Renschuch, B.:  Idealtheorie (    )  [RISC]
  6388:6388:	BOOK        Renschuch, B.:  Idealtheorie (1976)  [RISC]
  6391:6391:	BOOK        Heijenoort, Jean van:  From Frege to Goedel A Source Book in Mathematical Logic (1967)  [RISC]
  6490:6490:	BOOK        Lightstone, A.H.:  Mathematical Logic An Introduction to Model Theory (1978)  [RISC]
  6496:6496:	BOOK        Daigneault, Aubert (Ed):  Studies in Algebraic Logic Volume 9 (1974)  [RISC]
  6497:6497:	BOOK        Coffman, E.G. (Ed):  Computer and Job-Shop Scheduling Theory (1976)  [RISC]
  6524:6524:	BOOK        Szabo, M.E.:  Algebra of Proofs (1978)  [RISC]
  6524:6524:	BOOK        Szabo, M.E.:  Algebra of Proofs (1978)  [RISC]
  6551:6551:	BOOK        Hinman, Peter G.:  Recursion-Theoretic Hierarchies (1978)  [RISC]
  6564:6564:	BOOK        Alspach, B. (Ed); Hell, P. (Ed); Miller, D.J. (Ed):  Annals of Discrete Mathematics Algorithmic Aspects of Combinatorics (1978)  [RISC]
  6667:6667:	BOOK        Grandy, Richard E.:  Advanced Logic for Applications (1977)  [RISC]
  6668:6668:	PROCEEDINGS Butis; Hintikka (eds.):  Logic foundations of mathematics and computability theory (1975)  [RISC]
  6729:6729:	BOOK        Bell, J.L.:  Boolean-Valued Models and Independence Proofs in Set Theory (1977)  [RISC]
  6730:6730:	BOOK        Bridge, Jane:  Beginning Model Theory The Completeness Theorem and some Consequences (1977)  [RISC]
  6800:6800:	BOOK        Loveland, Donald W.:  Automated Theorem Proving: A Logical Basis (1978)  [RISC]
  7115:7115:	PROCEEDINGS Macintyre; et al. (eds.):  Logic colloquium (1977)  [RISC]
  7153:7153:	PROCEEDINGS Leblanc (ed.):  Truth, syntax and modality (1970)  [RISC]
  7154:7154:	BOOK        Lukasiewicz, Jan:  Selected Works (1970)  [RISC]
  7155:7155:	BOOK        Drake, Frank R.:  Set Theory An Introduction to Large Cardinals (1974)  [RISC]
  7156:7156:	BOOK        Williams, Neil H.:  Combinatorial Set Theory (1977)  [RISC]
  7156:7156:	BOOK        Williams, Neil H.:  Combinatorial Set Theory (1977)  [RISC]
  7157:7157:	BOOK        Bochenski, I.M.:  Ancient Formal Logic (1968)  [RISC]
  7158:7158:	BOOK        Leblanc, Hugues:  Truth-Value Semantics (1976)  [RISC]
  7159:7159:	PROCEEDINGS Fenstad; et al. (eds.):  Generalized recursion theory (1977)  [RISC]
  7160:7160:	BOOK        Shelah, S.:  Classification Theory and the Number of Non-Isomorphic Models (1978)  [RISC]
  7160:7160:	BOOK        Shelah, S.:  Classification Theory and the Number of Non-Isomorphic Models (1978)  [RISC]
  7183:7183:	BOOK        Dijkstra, Edsger W.:  A Discipline of Programming (1976)  [RISC]
  7212:7212:	BOOK        Gries, David (Ed):  A Collection of Articles by Members of IFIP WG2.3 (1978)  [RISC]
  7213:7213:	BOOK        Machtey, Michael; Young, Paul:  An Introduction to General Theory of Algorithms (1978)  [RISC]
  7225:7225:	PROCEEDINGS Bracchi; Lockeman (eds.):  Information, systems methodology (1978)  [RISC]
  7226:7226:	PROCEEDINGS Schindler; Giloi (eds.):  GI Jahrestagung (1978)  [RISC]
  7303:7303:	BOOK        Knuth, D.E.:  The art of computer programming (    )  [RISC]
  7343:7343:	BOOK        Gewald, Klaus; Haake, Gisela; Pfadler, Werner:  Software Engineering Grundlagen und Technik rationeller Programmentwicklung (1979)  [RISC]
  7347:7347:	BOOK        Davio, Marc; Deschamps, Jean-Pierre; Thayse, Andre:  Discrete and Switching Functions (1978)  [RISC]
  7470:7470:	BOOK        Beech, Graham (Ed):  Computer Assisted Learning in Science Education (1978)  [RISC]
  7638:7638:	BOOK        Klein, Wolfgang; Dittmar, Norbert:  Developing Grammars The Acquisition of German Syntax by Foreign Workers (1979)  [RISC]
  7640:7640:	BOOK        Miller, Max:  The Logic of Language Development in Early Childhood (1979)  [RISC]
  7641:7641:	BOOK        Noordman, Leonard G.M.:  Inferring from Language (1979)  [RISC]
  7643:7643:	BOOK        Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.:  The Child`s Conception of Language (1978)  [RISC]
  7643:7643:	BOOK        Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.:  The Child`s Conception of Language (1978)  [RISC]
  7683:7683:	PROCEEDINGS Johnson; Tinsley (eds.):  Informatics and mathematics in secondary schools (1977)  [RISC]
  7684:7684:	PROCEEDINGS Arruda; et al. (eds.):  Mathematical logic in Latin Amerika (1978)  [RISC]
  7690:7690:	BOOK        Doerfler, W.; Fischer, R.:  Beweisen im Mathematikunterricht (1979)  [RISC]
  7722:7722:	PROCEEDINGS Baer (ed.):  Parallel processing (1977)  [RISC]
  7723:7723:	PROCEEDINGS Enslow (ed.):  Parallel processing (1976)  [RISC]
  7724:7724:	PROCEEDINGS nn:  IEEE 1978 fault tolerance computing (1978)  [RISC]
  7725:7725:	PROCEEDINGS nn:  Symposium on foundations of computer science (1977)  [RISC]
  7726:7726:	PROCEEDINGS nn:  Software engineering (1978)  [RISC]
  7778:7778:	BOOK        Frost:  Curve tracing (    )  [RISC]
  7796:7796:	BOOK        Mostowski, Andrezej:  Foundational Studies Selected Works, Volume I (1979)  [RISC]
  7797:7797:	BOOK        Mostowski, Andrezej:  Foundational Studies Selected Works, Volume II (1979)  [RISC]
  7876:7876:	BOOK        Adian, S. I.; Boone, W.W.; Higman, G.:  Word Problems II (1980)  [RISC]
  7879:7879:	PROCEEDINGS nn:  7th annual symposium on computational architecture (    )  [RISC]
  7924:7924:	BOOK        Moschovakis, Yiannis N.:  Descriptive Set Theory (1980)  [RISC]
  7948:7948:	BOOK        Epstein, Richard L.:  Degrees of Unsolvability: Structures and Theory (1979)  [RISC]
  7949:7949:	BOOK        Fenstad, Jens E.:  General Recursion Theory An Axiomatic Approach (1980)  [RISC]
  7954:7954:	BOOK        Flum, Joerg; Ziegler, Martin:  Topological Model Theory (1980)  [RISC]
  7959:7959:	BOOK        Zuse, Konrad:  Beschreibung des Plankalkuels (1977)  [RISC]
  7959:7959:	BOOK        Zuse, Konrad:  Beschreibung des Plankalkuels (1977)  [RISC]
  7971:7971:	BOOK        Ferrante, Jeanne; Rackoff, Charles W.:  The Computational Complexity of Logical Theories (1979)  [RISC]
  7980:7980:	BOOK        Bowen, Kenneth A.:  Model Theory for Modal Logic (1979)  [RISC]
  7985:7985:	BOOK        Cutland, Nigel:  Computability An Introduction to Recursive Function Theory (1980)  [RISC]
  7994:7994:	BOOK        Metropolis, N. (Ed); Howlett, J. (Ed); Rota, Gian-Carlo (Ed):  A History of Computing in the Twentieth Century A Collection of Essays (1980)  [RISC]
  8007:8007:	BOOK        Edwards, R.E.:  A Formal Background to Mathematics 1a Logic, Sets and Numbers (1979)  [RISC]
  8026:8026:	BOOK        Normann, Dag:  Recursion on the Countable Functionals (1980)  [RISC]
  8027:8027:	BOOK        Boyer; Moore:  A computational logic (1979)  [RISC]
  8028:8028:	BOOK        Anderson, T. (Ed); Randell, B. (Ed):  Computing Systems Reliability (1979)  [RISC]
  8029:8029:	BOOK        Dreben, Burton; Goldfarb, Warren D.:  The Decision Problem Solvable Classes of Quantificational Formulas (1979)  [RISC]
  8032:8032:	BOOK        Parkin, Andrew:  System Analysis (1980)  [RISC]
  8033:8033:	BOOK        Rozenberg, Grzegorz; Salomaa, Arto:  The Mathematical Theory of L Systems (1980)  [RISC]
  8034:8034:	BOOK        Bostock, David:  Logic and Arithmetic Rational and Irrational Numbers (1979)  [RISC]
  8036:8036:	PROCEEDINGS Boffa; et al. (eds.):  Logic colloquium (1978)  [RISC]
  8037:8037:	BOOK        Saarinen, Esa (Ed):  Game-Theoretical Semantics (1979)  [RISC]
  8037:8037:	BOOK        Saarinen, Esa (Ed):  Game-Theoretical Semantics (1979)  [RISC]
  8051:8051:	BOOK        Gosling, John B.:  Design of Arithmetic Units for Digital Computers (1980)  [RISC]
  8057:8057:	BOOK        Gipper, Hans:  Rationalisierung in der SW-Erstellung durch ein verallgemeinertes Genratorprinzip (1979)  [RISC]
  8058:8058:	BOOK        Robinson, J.A.:  Logic: Forma and Function The Mechanization of Deductive Reasoning (1979)  [RISC]
  8063:8063:	BOOK        Gschwendtner, Hermann:  Schaltalgebra fuer Fachschulen Technik (1977)  [RISC]
  8079:8079:	PROCEEDINGS Barwise; et al. (eds.):  The Kleene Symposium (1978)  [RISC]
  8087:8087:	BOOK        Arsenault, J.E. (Ed); Roberts, J.A. (Ed):  Reliability & Maintainability of Electronic Systems (1980)  [RISC]
  8089:8089:	BOOK        Boolos, Georg:  The Unprovability of Consistency An essay in modal logic (1979)  [RISC]
  8090:8090:	BOOK        Chellas, Brian F.:  Moda Logic An Introduction (1980)  [RISC]
  8093:8093:	BOOK        Kowalski:  Logic for problem solving (    )  [RISC]
  8094:8094:	BOOK        Lewis, Harry R.:  Unsolvable Classes of Quantificational Formulas (1979)  [RISC]
  8098:8098:	PROCEEDINGS Drake, F.R. (Ed); Wainer, S.S. (Ed):  Recursion Theory: Its Generalisations and Applications (1980)  [RISC]
  8100:8100:	BOOK        Wand, Mitchell:  Induction, Recursion and Programming (1980)  [RISC]
  8100:8100:	BOOK        Wand, Mitchell:  Induction, Recursion and Programming (1980)  [RISC]
  8109:8109:	BOOK        Riddle, W.E.; Fairley, R.E.:  Software Development Tools (1980)  [RISC]
  8113:8113:	BOOK        Kunen, Kenneth:  Set Theory An Introduction to Independence Proofs (1980)  [RISC]
  8159:8159:	BOOK        Sluga, Hans D.:  Gottlob Frege (1980)  [RISC]
  8159:8159:	BOOK        Sluga, Hans D.:  Gottlob Frege (1980)  [RISC]
  8160:8160:	BOOK        Resnik, Michael D.:  Frege and The Philosophy of Mathematics (1980)  [RISC]
  8185:8185:	BOOK        Howard, James C.:  Practical Applications of Symbolic Computation (1980)  [RISC]
  8186:8186:	BOOK        Knoedel, W. (Hrsg.); Schneider, H. J.:  Parallel processes and related automata. (1981)  [RISC]
  8190:8190:	BOOK        Rautenberg, Wolfgang:  Klassische und nichtklassische Aussagenlogik (1979)  [RISC]
  8200:8200:	BOOK        Horowitz, Ellis; Sahni, Sartaj:  Fundamentals of computer algorithms. (1978)  [RISC]
  8224:8224:	BOOK        Constable, Robert L.; O'Donnell, Michael J.:  A Programming Logic with an Introduction to the PL/CV Verifier (1978)  [RISC]
  8229:8229:	PROCEEDINGS Berg; Giloi (eds.):  The case of formel specification software (1979)  [RISC]
  8238:8238:	PROCEEDINGS Weelblat:  History of programming languages (1978)  [RISC]
  8259:8259:	BOOK        Bauer, F.L.:  Algorithmische Sprache und Programmentwicklung (    )  [RISC]
  8259:8259:	BOOK        Bauer, F.L.; Woessner, H.:  Algorithmische Sprache und Programmentwicklung (1981)  [RISC]
  8280:8280:	BOOK        Anderson, Robert B.:  Proving Programs Correct (1979)  [RISC]
  8282:8282:	BOOK        Shapiro, Stuart C.:  Techniques of Artificial Intelligence (1979)  [RISC]
  8292:8292:	BOOK        Bundy, A.; Burstall, R.M.; Weir, S.; Young, R.M.:  Artificial Intelligence: An Introductory Course (1980)  [RISC]
  8294:8294:	BOOK        Henderson, Peter:  Functional Programming Application and Implementation (1980)  [RISC]
  8298:8298:	PROCEEDINGS Astesiano; Boehm (eds.):  CAAP (1981)  [RISC]
  8304:8304:	PROCEEDINGS lavington (ed.):  Information processing (1980)  [RISC]
  8311:8311:	BOOK        Ershov, A.P.:  The British Lectures (1980)  [RISC]
  8312:8312:	BOOK        Kulisch, Ulrich W.; Miranker, Willard L.:  Computer Arithmetik in Theory and Practice (1981)  [RISC]
  8332:8332:	BOOK        Arbib, Michael A.; Kfoury, A.J.; Moll, Robert N.:  A Basis for Theoretical Computer Science (1981)  [RISC]
  8348:8348:	BOOK        Arsac, Jacques:  La Construction de Programmes Structures (1977)  [RISC]
  8401:8401:	BOOK        Barnes, Donald W.; Mack, John M.:  An Algebraic Introduction to Mathematical Logic (1975)  [RISC]
  8425:8425:	PROCEEDINGS Even; Kariv (eds.):  Automata, languages and programs (1981)  [RISC]
  8426:8426:	PROCEEDINGS Gruska; Chytil (eds.):  mathematical foundations of computer science (1981)  [RISC]
  8458:8458:	BOOK        Uspenskij, V.A.:  Theory of Equations (1948)  [RISC]
  8458:8458:	BOOK        Uspenskij, V.A.:  Theory of Equations (1948)  [RISC]
  8473:8473:	BOOK        Chuaqui, Rolando Basim:  Axiomaic Set Theory Impredicative Theories of Classes (1981)  [RISC]
  8474:8474:	BOOK        Lipson, John D.:  Elements of Algebra and Algebraic Computation (1981)  [RISC]
  8493:8493:	BOOK        Barr, Avron (Ed); Feigenbaum, Edward A. (Ed):  The Handbook of Artificial Intelligence Volume I (1981)  [RISC]
  8527:8527:	PROCEEDINGS Siekmann (ed.):  GWAI (1981)  [RISC]
  8528:8528:	BOOK        Wahlster, Wolfgang:  Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... (1981)  [RISC]
  8528:8528:	BOOK        Wahlster, Wolfgang:  Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... (1981)  [RISC]
  8529:8529:	PROCEEDINGS Brauer (ed.):  GI Jahrestagung (1981)  [RISC]
  8530:8530:	BOOK        Sandford, David M.:  Using Sophisticated Models in Resolution Theorem Proving (1980)  [RISC]
  8530:8530:	BOOK        Sandford, David M.:  Using Sophisticated Models in Resolution Theorem Proving (1980)  [RISC]
  8531:8531:	BOOK        Marlin, Christopher D.:  Coroutines A Programming Methodology, a Language Design and an Implementation (1980)  [RISC]
  8532:8532:	BOOK        Peterson, James L.:  Computer Programs for Spelling Correction: An Experiment in Program Design (1980)  [RISC]
  8534:8534:	BOOK        Clocksin, W.F.; Mellish, C.S.:  Programming in PROLOG (1981)  [RISC]
  8549:8549:	BOOK        Cohen, Donald N.:  Knowledge Based Theorem Proving and Learning (1981)  [RISC]
  8550:8550:	BOOK        Greene, Daniel H.; Knuth, Donald E.:  Mathematics for the Analysis of Algorithms (1981)  [RISC]
  8555:8555:	BOOK        Zimmer:  comp. problems, methods ... in algebraic number theory (    )  [RISC]
  8557:8557:	PROCEEDINGS Gecseg (ed.):  Fundamentals of computation theory (1981)  [RISC]
  8559:8559:	BOOK        Kunii, Tosijasu L. (Ed):  VLSI Engineering Beyond Software Engineering (1984)  [RISC]
  8565:8565:	BOOK        Nilsson, Nils J.:  Principles of artificial intelligence. (1980)  [RISC]
  8567:8567:	PROCEEDINGS Bjorner (ed.):  Abstract software specification (1979)  [RISC]
  8572:8572:	BOOK        Coxeter:  Geometry revisited (    )  [RISC]
  8579:8579:	BOOK        Ahl, David H. (Ed):  Computers in Mathematics: A Sourcebook of Ideas (1979)  [RISC]
  8595:8595:	BOOK        Fitting, Melvin:  Fundamentals of Generalized Recursion Theory (1981)  [RISC]
  8620:8620:	BOOK        Gordon:  Edinburgh LCF (    )  [RISC]
  8622:8622:	PROCEEDINGS DeBakker; et al. (eds.):  Automata, languages and programs (1980)  [RISC]
  8623:8623:	PROCEEDINGS Dembinski (ed.):  Mathematical foundations of computer science (1980)  [RISC]
  8626:8626:	PROCEEDINGS Diaz; Ramos (eds.):  Formalization of program concepts (1981)  [RISC]
  8633:8633:	BOOK        Konheim:  Cryptography (    )  [RISC]
  8661:8661:	PROCEEDINGS Kahn (ed.):  Semantics of concurrent computation (1979)  [RISC]
  8670:8670:	BOOK        Potthoff, Klaus:  Einfuehrung in die Modelltheorie und ihre Anwendungen (1981)  [RISC]
  8692:8692:	BOOK        Krekel:  PASCAL (    )  [RISC]
  8699:8699:	BOOK        Bus, J.C.P.:  Numerical Solution of Systems of Nonlinear Equations (1980)  [RISC]
  8702:8702:	BOOK        Marty, Rudolf:  PISA A Programming System for Interactive Production of App. SW. (1981)  [RISC]
  8703:8703:	PROCEEDINGS Jones (ed.):  Semantics and directed compiler generation (1980)  [RISC]
  8705:8705:	BOOK        Liskov, Barbara; Atkinson, Russell; Bloom, Toby; Moss, Eliot:  CLU Reference Manual (1981)  [RISC]
  8708:8708:	BOOK        Hibbard, Peter; Hisgen, Andy; Rosenberg, Jonathan; Shaw, Mary:  Studies in Ada Style (1981)  [RISC]
  8729:8729:	BOOK        Agazzi, Evandro (Ed):  Modern Logic - A Survey Historical, Philosophical and Mathematical Aspects of ... (1981)  [RISC]
  8732:8732:	BOOK        Webb, Judson Chambers:  Mechnaism, Mentalism and Metamathematics (1980)  [RISC]
  8732:8732:	BOOK        Webb, Judson Chambers:  Mechnaism, Mentalism and Metamathematics (1980)  [RISC]
  8787:8787:	BOOK        Schinzel, Andrzej:  Selected Topics on Polynomials (1982)  [RISC]
  8787:8787:	BOOK        Schinzel, Andrzej:  Selected Topics on Polynomials (1982)  [RISC]
  8800:8800:	BOOK        Shaw, Mary (Ed):  ALPHARD: Form and Content (1981)  [RISC]
  8800:8800:	BOOK        Shaw, Mary (Ed):  ALPHARD: Form and Content (1981)  [RISC]
  8824:8824:	PROCEEDINGS Cohen; et al. (eds.):  Logic methodology and philosophy of science (1979)  [RISC]
  8836:8836:	BOOK        Wallach, Y.:  Alternating sequential/parallel processing. (1982)  [RISC]
  8837:8837:	PROCEEDINGS Ershov, A.P. (Ed); Knuth, D.E. (Ed):  Algorithms in Modern Mathematics and Computer Science (1981)  [RISC]
  8838:8838:	BOOK        Hailpem, B.:  Verifying concurrent processes using temporal logic (    )  [RISC]
  8839:8839:	BOOK        Goldblatt, Robert:  Axiomatising the Logic of Computer Programming (1982)  [RISC]
  8840:8840:	PROCEEDINGS Kozen (ed.):  Logic of programs (1981)  [RISC]
  8842:8842:	PROCEEDINGS Mueller; et al. (eds.):  Logic symposia (1979)  [RISC]
  8843:8843:	PROCEEDINGS Girault; Reisig (eds.):  Application and theory of petri nets (1980)  [RISC]
  8907:8907:	PROCEEDINGS Schneider; Wassermann (eds.):  Automated tools for information systems design (1982)  [RISC]
  8908:8908:	BOOK        Doemoelki; Gercely (eds.):  Mathematical logic in computer science (1978)  [RISC]
  8909:8909:	BOOK        Csakany, B. (Ed); Rosenberg, I. (Ed):  Finite Algebra and Multiple-Valued Logic (1981)  [RISC]
  8910:8910:	PROCEEDINGS Stern (ed):  Proceedings of the Herbrand symposium (1981)  [RISC]
  8911:8911:	PROCEEDINGS Reid (ed.):  Relationship: numerical computation and programs (1982)  [RISC]
  8912:8912:	BOOK        Robinson:  Model theory (    )  [RISC]
  8913:8913:	BOOK        Robinson, Abraham:  Complete Theories (1956)  [RISC]
  8914:8914:	PROCEEDINGS Jackson (ed.):  Teaching informatics courses (1981)  [RISC]
  8948:8948:	BOOK        Dijkstra, Edsger W.:  Selected Writings on Computing: A Personal Perspective (1982)  [RISC]
  8980:8980:	BOOK        Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed):  Computer Algebra Symbolic and Algebraic Computation (1982)  [RISC]
  8989:8989:	BOOK        Bibel, Wolfgang:  Automated Theorem Proving (1982)  [RISC]
  9048:9048:	BOOK        Lawrence, J. Dennis:  A Catalog of Special Plane Curves (1972)  [RISC]
  9062:9062:	BOOK        Solow, Daniel:  How to Read and do Proofs An Introduction to Mathematical Thought Process (1982)  [RISC]
  9062:9062:	BOOK        Solow, Daniel:  How to Read and do Proofs An Introduction to Mathematical Thought Process (1982)  [RISC]
  9102:9102:	PROCEEDINGS Beth (ed.):  Cryptography (1982)  [RISC]
  9118:9118:	BOOK        Lang, S.; Murrow, G.:  Geometry, a high school course (1983)  [RISC]
  9148:9148:	BOOK        Nagl, Manfred:  Einfuehrung in die Programmiersprache Ada (1982)  [RISC]
  9156:9156:	BOOK        Schmidt, Joachim W.; Brodie, Michael L.:  Relational Database Systems Analysis and Comparison (1983)  [RISC]
  9156:9156:	BOOK        Schmidt, Joachim W.; Brodie, Michael L.:  Relational Database Systems Analysis and Comparison (1983)  [RISC]
  9158:9158:	PROCEEDINGS Bibel; Siekmann (eds.):  Kuenstliche Intelligenz (1982)  [RISC]
  9159:9159:	PROCEEDINGS Wahlster (ed.):  GWAI 1982 (1982)  [RISC]
  9160:9160:	BOOK        Engeler E.:  Metamathematik der Elementarmathematik (1983)  [RISC]
  9161:9161:	PROCEEDINGS Messina; Murli (eds.):  Problems and methods in mathematical software production (1980)  [RISC]
  9181:9181:	BOOK        Larson, Loren C.:  Problem-Solving Through Problems (1983)  [RISC]
  9186:9186:	PROCEEDINGS Ohno, Y. (Ed):  Requirements, Engineering, Environments (1982)  [RISC]
  9187:9187:	PROCEEDINGS Bjorner (ed.):  Formal description of program concepts (1982)  [RISC]
  9209:9209:	BOOK        Myers, Glenford J.:  Methodisches Testen von Programmen (1982)  [RISC]
  9235:9235:	BOOK        Evans, David J. (Hrsg.):  Parallel processing systems. (1982)  [RISC]
  9244:9244:	BOOK        Berka, Karel; Kreiser, Lothar:  Logik-Texte Kommentirte Auswahl zur Geschichte der modernen Logik (1983)  [RISC]
  9255:9255:	BOOK        Gottinger, Hans W.:  Coping with Complexity Perspecives for Economics, Management and ... (1983)  [RISC]
  9256:9256:	PROCEEDINGS Biermann; Guibo (eds.):  Computer program synthesis methods (1981)  [RISC]
  9257:9257:	BOOK        Broy, M.; Schmidt, G.:  Theoretical foundations of programming methodology (1982)  [RISC]
  9258:9258:	BOOK        Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.:  Data Structures and Algorithms (1983)  [RISC]
  9265:9265:	BOOK        Barr, Avron (Ed); Feigenbaum, Edward A. (Ed):  The Handbook of Artificial Intelligence Volume II (1982)  [RISC]
  9266:9266:	BOOK        Cohen, Paul R. (Ed); Feigenbaum, Edward A. (Ed):  The Handbook of Artificial Intelligence Volume III (1982)  [RISC]
  9294:9294:	PROCEEDINGS Anceau; Aas (eds.):  VLSI 1983 (1983)  [RISC]
  9311:9311:	PROCEEDINGS Ralston; Young (eds.):  Teh future of college mathematics (1983)  [RISC]
  9312:9312:	BOOK        Staunstrup (ed.):  Program Specifications (    )  [RISC]
  9313:9313:	BOOK        Gries, David:  The Science of Programming (1981)  [RISC]
  9338:9338:	BOOK        Darlington; et al.:  Functional programming and its applications (    )  [RISC]
  9338:9338:	BOOK        Darlinton, J. (Ed); Henderson, P. (Ed); Turner, D.A. (Ed):  Functional Programming and its Applications An Advanced Course (1982)  [RISC]
  9339:9339:	BOOK        Clark, K.L.; McCabe, F.G.:  micro-PROLOG: Programming in Logic (1984)  [RISC]
  9346:9346:	BOOK        Ledgard, Henry F.:  ADA An Introduction (1983)  [RISC]
  9347:9347:	PROCEEDINGS Salwicki (ed.):  Logics of programs and their applications (1980)  [RISC]
  9348:9348:	PROCEEDINGS Goto; et al. (eds.):  RIMS Symp. (1982)  [RISC]
  9349:9349:	PROCEEDINGS Hommel; Kroenig (eds.):  Requirements Engineering (1983)  [RISC]
  9357:9357:	BOOK        Broy, Manfred (Ed); Schmidt, Gunther (Ed):  Theoretical Foundations of Programming Methodology (1982)  [RISC]
  9357:9357:	BOOK        Helson, H.:  harmonic analysis (1983)  [RISC]
  9360:9360:	BOOK        Kwong, Yat-sang:  On reductions and livelocks in asynchronous parallel computing. (1982)  [RISC]
  9362:9362:	BOOK        Johnson, Scott D.:  A Computer System for Checking Proofs (1982)  [RISC]
  9363:9363:	BOOK        Catell, R.G.G.:  Formalization and Automatic Derivation of Code Generators (1982)  [RISC]
  9364:9364:	BOOK        Woods, John Lowe:  Path Selection for Symbolic Execution Systems (1982)  [RISC]
  9364:9364:	BOOK        Woods, John Lowe:  Path Selection for Symbolic Execution Systems (1982)  [RISC]
  9365:9365:	BOOK        Oleinick, Peter N.:  Parallel algorothms on a multiprocessor. (1982)  [RISC]
  9366:9366:	BOOK        McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy P.:  LISP 1.5 Programmer`s Manual 2. Edition, 3. Printing (1981)  [RISC]
  9368:9368:	BOOK        Kemmerer, Richard A.:  Formal Verification of an Operating System Security Kernel (1982)  [RISC]
  9374:9374:	BOOK        Siklossy, Laurent:  Let`s Talk LISP (1976)  [RISC]
  9374:9374:	BOOK        Siklossy, Laurent:  Let`s Talk LISP (1976)  [RISC]
  9380:9380:	BOOK        Klix, Friedhart (Ed):  Human and Artificial Intelligence (1979)  [RISC]
  9384:9384:	BOOK        Uhr:  Algorithmic structured computer array and networks (1984)  [RISC]
  9385:9385:	BOOK        Karp, Richard Alan:  Proving Operating Systems Correct (1983)  [RISC]
  9392:9392:	BOOK        Davis:  Computability (    )  [RISC]
  9397:9397:	PROCEEDINGS Lolli; Longo; Marcja (eds.):  Logic Colloquium (1982)  [RISC]
  9400:9400:	BOOK        Weissman, Clark:  LISP 1.5 Primer (1967)  [RISC]
  9401:9401:	BOOK        Friedman, Daniel P.:  The Little LISPer (1974)  [RISC]
  9403:9403:	BOOK        Kohonen, Teuvo:  Self-Organization and Associative Memory (1984)  [RISC]
  9404:9404:	BOOK        Wong, C.K.:  Algorithmic Studies in Mass Storage Systems (1983)  [RISC]
  9404:9404:	BOOK        Wong, C.K.:  Algorithmic Studies in Mass Storage Systems (1983)  [RISC]
  9406:9406:	BOOK        Nakajima, R. (Ed); Yuasa, T. (Ed):  The IOTA Programming System A Modular Programming Environment (1983)  [RISC]
  9408:9408:	PROCEEDINGS Diaz (ed.):  Automata, Languages and programs (1983)  [RISC]
  9409:9409:	PROCEEDINGS Herkenrath; et al. (eds.):  Mathematical learning models (1983)  [RISC]
  9410:9410:	BOOK        Lerman, Manuel:  Degrees of Unsolvability Local and Global Theory (1983)  [RISC]
  9411:9411:	PROCEEDINGS Van Hulzen (ed.):  Eurocal 1983 (1983)  [RISC]
  9412:9412:	PROCEEDINGS Ausiello; Protasi (eds.):  CAAP 1983 (1983)  [RISC]
  9414:9414:	BOOK        Uehara; Barbacc (eds.):  Computer Hardware description languages (1983)  [RISC]
  9415:9415:	PROCEEDINGS Ruschitzka, Manfred (Hrsg.); Christensen, M. (Hrsg.); Ames, W. F. (Hrsg.); Vichnevetsky, R. (Hrsg.):  Parallel and large-scale computers. Performance, architecture, applications...10th IMACS world congress. Montreal 8-13 Aug.1982 (1983)  [RISC]
  9416:9416:	PROCEEDINGS Chong; Wicks (eds.):  Southeast Asian conference on logic (1981)  [RISC]
  9421:9421:	BOOK        Boyer, R.S.; Moore, J. St.:  The correctness problem in computer science (    )  [RISC]
  9423:9423:	BOOK        Clark, K.L. (Ed); Taernlund, S.-A. (Ed):  Logic Programming (1982)  [RISC]
  9424:9424:	BOOK        Preston:  Multicomputers and image processing (    )  [RISC]
  9425:9425:	BOOK        Paker:  Multi-microprocessor systems (    )  [RISC]
  9431:9431:	BOOK        Lee:  Computer Semantics (    )  [RISC]
  9435:9435:	BOOK        Retti, J.; Bibel, W.; Buchberger, B.; Buchberger, E.:  Artificial Intelligence - Eine Einfuehrung (1984)  [RISC]
  9440:9440:	BOOK        Marek, Wiktor; Onyszkiewicz, Janusz:  Elements of Logic and Foundations of Mathematics in Problems (1982)  [RISC]
  9443:9443:	BOOK        Jones, Andrew J. I.:  Communicaion and Meaning An Essay in Applied Modal Logic (1983)  [RISC]
  9444:9444:	BOOK        Fitting, Melvin:  Proof Methods for Modal and Intuitionistic Logics (1983)  [RISC]
  9445:9445:	BOOK        Gabbay, D. (Ed); Guenthner, F. (Ed):  Handbook of Philosophical Logic Volume II: Extensions of Classical Logic (1984)  [RISC]
  9473:9473:	BOOK        Schwabhaeuser, W.; Szmielew, W.; Tarski, A.:  Metamathematische Methoden in der Geometrie (1983)  [RISC]
  9473:9473:	BOOK        Schwabhaeuser, W.; Szmielew, W.; Tarski, A.:  Metamathematische Methoden in der Geometrie (1983)  [RISC]
  9484:9484:	BOOK        Sleeman, D. (Ed); Brown, J.S. (Ed):  Intelligent Tutoring Systems (1982)  [RISC]
  9484:9484:	BOOK        Sleeman, D. (Ed); Brown, J.S. (Ed):  Intelligent Tutoring Systems (1982)  [RISC]
  9486:9486:	BOOK        Stoyan, Herbert; Goerz, Guenter:  LISP Eine Einfuehrung in die Programmierung (1984)  [RISC]
  9487:9487:	BOOK        Sims, Charles S.:  Abstract Algebra A Computational Approach (1984)  [RISC]
  9487:9487:	BOOK        Sims, Charles S.:  Abstract Algebra A Computational Approach (1984)  [RISC]
  9488:9488:	BOOK        Danicic, I.:  LISP Programming (1983)  [RISC]
  9488:9488:	BOOK        Danicic, I.:  Lisp Programming (1983)  [RISC]
  9491:9491:	BOOK        Bucher, Walter:  Theoretische Grundlagen der Programmiersprachen Automaten und Sprachen (1984)  [RISC]
  9502:9502:	BOOK        Allen, John:  Anatomy of LISP (1978)  [RISC]
  9505:9505:	BOOK        Salomaa, Arto:  Jewels of Formal Language Theory (1981)  [RISC]
  9505:9505:	BOOK        Salomaa, Arto:  Jewels of Formal Language Theory (1981)  [RISC]
  9511:9511:	BOOK        Beth:  Kryptography (    )  [RISC]
  9527:9527:	BOOK        Briggs, Hwang:  Computer architecture and parallel processing (    )  [RISC]
  9528:9528:	BOOK        Bunse:  numerische lineare Algebra (    )  [RISC]
  9542:9542:	BOOK        Rand, R.H.:  Computer Algebra in Applied Mathematics: An Introduction to MACSYMA (1984)  [RISC]
  9550:9550:	BOOK        Dehning, Waltraud; Essig, Heidrun; Maass, Sussanne:  The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs (1981)  [RISC]
  9551:9551:	BOOK        Constable, Robert L.; Johnson, S.D.; Eichenlaub, C.D.:  An Introduction to the PL/CV2 Programming Logic (1982)  [RISC]
  9552:9552:	BOOK        Kahn:  Semantics of Data types (    )  [RISC]
  9553:9553:	BOOK        Doberkat, Ernst-Erich:  Stochastic Automata: Stability, Nondeterminism and Prediction (1981)  [RISC]
  9555:9555:	BOOK        Ronse, Christian:  Feedback Shift Registers (1984)  [RISC]
  9556:9556:	PROCEEDINGS Paul; Robinet (eds.):  Int. Symp. on Programming (1984)  [RISC]
  9557:9557:	PROCEEDINGS Fontet; Mehlhorn (eds.):  STACS 1984 (1984)  [RISC]
  9558:9558:	BOOK        Clarke; Kozen (eds.):  Logic of programs (1983)  [RISC]
  9559:9559:	BOOK        Kunii, T.L.:  VLSI Design (    )  [RISC]
  9561:9561:	BOOK        Hirst, Graeme:  Anaphora in Natural Language Understanding: A Survey (1981)  [RISC]
  9562:9562:	BOOK        Casanova, Marco Antonio:  The concurrency control problem for database systems. (1981)  [RISC]
  9564:9564:	BOOK        Bolc, Leonard (Ed); Kulpa, Zenon (Ed):  Digital Image Processing Systems (1981)  [RISC]
  9567:9567:	BOOK        Guessarian, Irene:  Algebraic Semantics (1981)  [RISC]
  9568:9568:	BOOK        Nijholt, A.:  Context free grammars (    )  [RISC]
  9568:9568:	BOOK        Nijholt, Anton:  Context-Free Grammars: Covers, Normal Forms, and Parsing (1980)  [RISC]
  9569:9569:	BOOK        Loveland (ed.):  Automated deduction (1982)  [RISC]
  9570:9570:	BOOK        Karpinski (ed.):  Foundations of Comp. Theory (1983)  [RISC]
  9575:9575:	BOOK        Milner, Robin:  A Calculus of Communicating Systems (1980)  [RISC]
  9576:9576:	BOOK        Overmars, Mark H.:  The Design of Dynamic Data Structures (1983)  [RISC]
  9578:9578:	PROCEEDINGS Paredaens (ed.):  Automata, alnguages and programming (1984)  [RISC]
  9579:9579:	BOOK        Tarski, Alfred:  Einfuehrung in die mathematische Logik 5. Auflage (1977)  [RISC]
  9579:9579:	BOOK        Tarski, Alfred:  Einfuehrung in die mathematische Logik 5. Auflage (1977)  [RISC]
  9580:9580:	BOOK        Ausiello, G. (Ed); Lucertini, M. (Ed):  Analysis and Design of Algorithms in Combinatorial Optimization (1981)  [RISC]
  9581:9581:	BOOK        Novikov, P.S.:  Grundzuege der mathematischen Logik (1973)  [RISC]
  9586:9586:	BOOK        Peters, Fritz Eduard:  Einfuehrung in Mathematische Methoden der Informatik (1974)  [RISC]
  9588:9588:	BOOK        Laufer, Henry B.:  Discrete Mathematics and Applied Modern Algebra (1984)  [RISC]
  9590:9590:	BOOK        Ebbinghaus, Heinz-Dieter:  Einfuehrung in die Mengenlehre (1979)  [RISC]
  9591:9591:	BOOK        Ecker, Klaus:  Organisation von parallelen Prozessen. Theorie deterministischer Schedules. (1977)  [RISC]
  9594:9594:	BOOK        Asser, Guenter:  Einfuehrung in die Mathematische Logik Teil 1: Aussagenkalkuel (1983)  [RISC]
  9595:9595:	BOOK        Asser, Guenter:  Einfuehrung in die Mathematische Logik Teil 2: Praedikatenkalkuel der Ersten Stufe (1976)  [RISC]
  9596:9596:	BOOK        Asser, Guenter:  Einfuehrung in die Mathematische Logik Teil 3: Praedikatenlogik Hoeherer Stufe (1981)  [RISC]
  9600:9600:	BOOK        Groebner:  algebraische Geometrie I (    )  [RISC]
  9601:9601:	BOOK        Groebner:  algebraische Geometrie II (    )  [RISC]
  9607:9607:	BOOK        Malitz, Jerome:  Intoriduction to Mathematical Logic Set Theory Computable Functions Model Theory (1979)  [RISC]
  9608:9608:	BOOK        Deussen (ed.):  Theoretical computer science (1981)  [RISC]
  9609:9609:	BOOK        Cremers; Krieger (eds.):  Theoretical computer science (1983)  [RISC]
  9610:9610:	BOOK        Heyting, A.:  Mathematische Grundlagenforschung Intuitionismus, Beweistheorie (1974)  [RISC]
  9611:9611:	BOOK        Gordon:  Denotational description (    )  [RISC]
  9612:9612:	BOOK        Manin, Yu.I.:  A Course in Mathematical Logic (1977)  [RISC]
  9613:9613:	BOOK        Klaeren, H.A.:  Algebraische Spezifikation Eine Einfuehrung (1983)  [RISC]
  9614:9614:	BOOK        Maurer (ed.):  Automata, Languages, Programming (1979)  [RISC]
  9616:9616:	BOOK        Buchberger, Bruno; Lichtenberger, Franz:  Mathematik fuer Informatiker I Die Methode der Mathematik (1981)  [RISC]
  9618:9618:	BOOK        Heidler, K.; et al. (eds.):  Rekursive Funktionen (    )  [RISC]
  9618:9618:	BOOK        Heidler, Klaus; Hermes, Hans; Mahn, Friedrich-K.:  Rekursive Funktionen (1977)  [RISC]
  9622:9622:	BOOK        Winograd, Shmuel:  Arithmetic complexity of computations. (1980)  [RISC]
  9623:9623:	BOOK        Manna, Zohar:  Lectures on the logic of computer programming. (1980)  [RISC]
  9624:9624:	BOOK        Kolman (ed.):  Lie Algebras (1972)  [RISC]
  9625:9625:	BOOK        Aho, Alfred V.; Ullman, Jeffrey D.:  Principles of Computer Design (1977)  [RISC]
  9626:9626:	BOOK        hayes-Roth, Frederick; Waterman, Donald A.; Lenat, Douglas B.:  Building Expert Systems (1983)  [RISC]
  9627:9627:	BOOK        Spencer, Donald D.:  Computer Science Mathematics (1976)  [RISC]
  9627:9627:	BOOK        Spencer, Donald D.:  Computer Science Mathematics (1976)  [RISC]
  9635:9635:	BOOK        Karpinsky; et al. (eds.):  Topics in the theory of computation (1983)  [RISC]
  9636:9636:	BOOK        Book, Ronald V. (Ed):  Formal Laguage Theory Perspectives and Open Problems (1980)  [RISC]
  9637:9637:	BOOK        Prather, Ronald E.:  Discrete Mathematical Structures for Computer Science (1976)  [RISC]
  9639:9639:	BOOK        Boolos, Georg; Jeffrey, Richard:  Computatibility and Logic (1980)  [RISC]
  9644:9644:	BOOK        Kronsjo, Lydia I.:  Algorithms: Their Complexity and Efficiency (1979)  [RISC]
  9645:9645:	BOOK        Palmer, D.C.; Morris, B.D.:  Computing Science (1980)  [RISC]
  9646:9646:	BOOK        Rudin; West (eds.):  Protocol specification, testing, and verification (1983)  [RISC]
  9647:9647:	BOOK        Manna, Zohar; Waldinger, Richard:  Studies in Automatic Programming Logic (1977)  [RISC]
  9648:9648:	BOOK        Bell, J.L.; Machover, M.:  A Course in Mathematical Logic (1977)  [RISC]
  9649:9649:	BOOK        DeBakker; Van Vliet (eds.):  Algorithmic languages (1981)  [RISC]
  9650:9650:	BOOK        Tremblay, J.P.; Manohar, R.:  Discrete Mathematical Structures with Applications to Computer Science (1975)  [RISC]
  9650:9650:	BOOK        Tremblay, J.P.; Manohar, R.:  Discrete Mathematical Structures with Applications to Computer Science (1975)  [RISC]
  9670:9670:	BOOK        Pouzet; Richard (eds.):  Orders, description and rules (1982)  [RISC]
  9691:9691:	BOOK        Alty, J.L.; Coombs, M.J.:  Expert Systems Concepts and Examples (1984)  [RISC]
  9693:9693:	BOOK        Kant, Elaine:  Efficiency in Program Synthesis (1981)  [RISC]
  9714:9714:	BOOK        Chow, Wushow (Hrsg.); Cotton, Ira W.; Falk, Gilbert; Lam, Simon S.:  Computer communications. Vol. 1. Principles. (Weitere Beitraeger:) Patrick V. McGregor, R.Andrews Pickens, Helen M. Wood (1983)  [RISC]
  9715:9715:	BOOK        Tanenbaum, Andrew S.:  Computer networks. (1981)  [RISC]
  9739:9739:	BOOK        Lee; Gonzales; Fu:  Robotics (    )  [RISC]
  9741:9741:	BOOK        Knuth, Donald E.:  Fundamental Algorithms The Art of Computer Programming (1973)  [RISC]
  9748:9748:	BOOK        Adams, James L.:  Ich Hab's (1984)  [RISC]
  9749:9749:	BOOK        Goldschlager, Les; Lister, Andrew:  Informatik Eine moderne Einfuehrung (1984)  [RISC]
  9750:9750:	BOOK        McDougall, Anne; Adams, Tony; Adams, Pauline:  Einstieg in LOGO mit MIT-LOGO und Apple-LOGO (1982)  [RISC]
  9751:9751:	BOOK        Banahan, M.; Rutter, A.:  UNIX Lernen, verstehen, anwenden (1984)  [RISC]
  9752:9752:	BOOK        Ben-Ari, M.:  Grundlagen der Parallel-Programmierung. (Principles of concurrent programming. Deutsch.) (1985)  [RISC]
  9753:9753:	BOOK        Graf, Ulrich:  Darstellende Geometrie Elfte Auflage (1978)  [RISC]
  9754:9754:	BOOK        Ausiello, G. (Ed); Lucertini, M. (Ed); Serafini, P. (Ed):  Algorithm Design for Computer System Design (1984)  [RISC]
  9763:9763:	BOOK        Rohl, J.S.:  Recursion via Pascal (1984)  [RISC]
  9764:9764:	BOOK        Gascoigne, Serafim:  Microchild Learning through LOGO (1984)  [RISC]
  9765:9765:	BOOK        McGregor:  Pascal for Science and engineering (    )  [RISC]
  9766:9766:	BOOK        Politakis, Peter G.:  Empirical Analysis for Expert Systems (1985)  [RISC]
  9767:9767:	BOOK        Cohen, Paul R.:  Heuristic Reasining about Uncertainty: An AI Approach (1985)  [RISC]
  9768:9768:	BOOK        Jamieson, M. J.:  Elementary Numerical Methods (1983)  [RISC]
  9769:9769:	BOOK        Bramer (ed.):  Research and development in expert systems (1984)  [RISC]
  9770:9770:	BOOK        Paul, Richard P.:  Robot Manipulators: Mathematics, Programming, and Control The Computer Control of Robot Manipulators (1981)  [RISC]
  9771:9771:	BOOK        Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed):  Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... (1979)  [RISC]
  9771:9771:	BOOK        Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed):  Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... (1979)  [RISC]
  9772:9772:	BOOK        Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed):  Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... (1979)  [RISC]
  9772:9772:	BOOK        Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed):  Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... (1979)  [RISC]
  9773:9773:	BOOK        Brady, Michael (Ed); Hollerbach, John M. (Ed); Johnson, Timothy L. (Ed); Lozano-Perez, Tomas (Ed):  Robert Motion: Planning and Control (1982)  [RISC]
  9774:9774:	BOOK        Winston; Prendergast (eds.):  The AI business (1984)  [RISC]
  9775:9775:	BOOK        Queinnec, Christian:  LISP and Engineering (1984)  [RISC]
  9777:9777:	BOOK        Dunsmuir, M.R.M.; Davies, G.J.:  Programming the UNIX System (1985)  [RISC]
  9778:9778:	BOOK        Herman, Gary:  Micro-Music for the Commodore 64 and BBC Computer (1985)  [RISC]
  9779:9779:	BOOK        Berry, R.E.; Meekings, B.A.E.:  A Book on C (1984)  [RISC]
  9780:9780:	BOOK        Angell, Ian O.:  A Practical Introduction to Computer Graphics (1981)  [RISC]
  9781:9781:	BOOK        Bornat, Richard:  Understanding and Writing Compilers A do-it-yourself guide (1979)  [RISC]
  9782:9782:	BOOK        Angell, I. O.:  Advanced Graphics with the IBM Personal Computer (1985)  [RISC]
  9783:9783:	BOOK        Ibbett, Roland N.:  The Architecture of High Performance Computers (1982)  [RISC]
  9784:9784:	BOOK        Paddon, D.J. (Ed):  Supercomputers and parallel Computation (1984)  [RISC]
  9785:9785:	BOOK        Rogers, M.W. (Ed):  Ada: Language, Compilers and Bibliography (1980)  [RISC]
  9786:9786:	BOOK        Siegel, Howard Jay:  Interconnection networks for large-scale parallel processing. Theory and case studies. (1985)  [RISC]
  9787:9787:	PROCEEDINGS Tenhagen (ed.):  Eurographics 1983 (1983)  [RISC]
  9788:9788:	BOOK        Hausen (ed.):  Software validitation (1983)  [RISC]
  9789:9789:	BOOK        Brady, J. M. (ed.):  Computer Vision (1981)  [RISC]
  9789:9789:	BOOK        Brady, Michael (Ed):  Computer Vision (1981)  [RISC]
  9790:9790:	BOOK        Pearl, J. (ed.):  Search and Heuristics (1983)  [RISC]
  9791:9791:	PROCEEDINGS Roukens, J. (ed.); Renuart, J. F.:  ESPRIT '84 Status Report of Ongoing Work (1985)  [RISC]
  9792:9792:	PROCEEDINGS Moto-Oka (ed.):  5th generation computer systems (1981)  [RISC]
  9793:9793:	BOOK        Cipprs; Iapr (eds.):  Pattern recognition, vol. 1 (1984)  [RISC]
  9794:9794:	BOOK        Cipprs; Iapr (eds.):  Pattern recognition, vol. 2 (1984)  [RISC]
  9795:9795:	BOOK        Lee, C.S.G.; Gonzalez, R.C.; Fu, K.S.:  Tutorial on ROBOTICS (1983)  [RISC]
  9796:9796:	BOOK        Rosenfeld (ed.):  Applied machine vision (1984)  [RISC]
  9797:9797:	BOOK        Phang (ed.):  Trends in electronics (1984)  [RISC]
  9798:9798:	BOOK        Hasemer, Tony:  A Beginner's Guide to LISP (1984)  [RISC]
  9799:9799:	BOOK        Krueger, Myron W.:  Artificial Reality (1983)  [RISC]
  9800:9800:	BOOK        Pearl, Jedea:  HEURISTICS Intelligent Search Strategies for Computer Prob. Solving (1984)  [RISC]
  9801:9801:	BOOK        Tou, Julius T.; Gonzalez, Rafael C.:  Pattern Recognition Principles (1974)  [RISC]
  9801:9801:	BOOK        Tou, Julius T.; Gonzalez, Rafael C.:  Pattern Recognition Principles (1974)  [RISC]
  9803:9803:	BOOK        Charniak, Eugene; McDermott, Drew:  Introduction to Artificial Intelligence (1985)  [RISC]
  9804:9804:	BOOK        Batchelor, B.G. (Ed); Hill, D.A. (Ed); Hodgson, D.C. (Ed):  Automated Visual Inspection (1985)  [RISC]
  9805:9805:	BOOK        Bernolds, Thomas (Ed); Albers, Guenter (Ed):  Artificial Intelligence: Towards Practical Application (1985)  [RISC]
  9806:9806:	PROCEEDINGS Bertolazzi, Paola (Hrsg.); Luccio, Fabrizio (Hrsg.):  VLSI, algorithms and architectures.  Proceedings ... Amalfi, May 23-25, 1984. (1985)  [RISC]
  9807:9807:	PROCEEDINGS Bo; Tucker (eds.):  Eurographics 1984 (1984)  [RISC]
  9808:9808:	PROCEEDINGS Danthine, Andre (Hrsg.); Geradin, Michel (Hrsg.):  Advanced software in robotics.  Proceedings ... Liege, May 6-8, 1984. (1984)  [RISC]
  9809:9809:	BOOK        Kochan (ed.); Banerji:  Integration of CAD/CAM (1983)  [RISC]
  9810:9810:	PROCEEDINGS Griffiths, M. (Ed); Tagg, E. D. (Ed):  The Role of Programming in Teaching Informatics (1985)  [RISC]
  9810:9810:	PROCEEDINGS Stern (ed.):  Herbrand symposium logic colloquium (1981)  [RISC]
  9811:9811:	BOOK        Elithorn; Banerji:  Artificial and human intelligence (    )  [RISC]
  9812:9812:	BOOK        Ausilleo; Lucertin (eds.):  Analysis and design of algorithms (1983)  [RISC]
  9813:9813:	PROCEEDINGS Troelstra, A. S. (ed.); Van Dalen, D.:  The L.E.J. Brouwer Centenary Symposium (1982)  [RISC]
  9814:9814:	PROCEEDINGS Metakides (ed.):  Patras Logic symposium (1980)  [RISC]
  9815:9815:	BOOK        Nastasescu, C.; Oystaeyen, F. van:  Graded Ring Theory (1982)  [RISC]
  9816:9816:	BOOK        Rubin, Herman; Rubin, Jean E.:  Equivalents of the Axiom of Choice, II (1985)  [RISC]
  9817:9817:	PROCEEDINGS Van Dalen, D.; Lascar, D.; Smiley, T. J.:  Logic Colloquium '80 (1982)  [RISC]
  9818:9818:	BOOK        Elithorn, Alick (Ed); Banerji, Ranan (Ed):  Artificial and Human Intelligence (1984)  [RISC]
  9818:9818:	BOOK        Shapiro, S. (ed.):  Intensional Mathematics (1985)  [RISC]
  9819:9819:	PROCEEDINGS ICOT (ed.):  5th generation computer systems (1984)  [RISC]
  9820:9820:	PROCEEDINGS Dwivedi, Suren N. (ed.):  Robotics and Factories of the Future (1984)  [RISC]
  9821:9821:	BOOK        Pan, Victor:  How to Multiply Matrices Faster (1984)  [RISC]
  9822:9822:	BOOK        Gleaves, Richard:  Modula-2 fuer Pacsal-Programmierer (1985)  [RISC]
  9823:9823:	BOOK        Zuse, Konrad:  Der Computer Mein Lebenswerk (1984)  [RISC]
  9823:9823:	BOOK        Zuse, Konrad:  Der Computer Mein Lebenswerk (1984)  [RISC]
  9824:9824:	BOOK        Mueller; Richter; (eds.):  Models and sets (    )  [RISC]
  9825:9825:	BOOK        Cossart:  Resolution of surface singularities (    )  [RISC]
  9826:9826:	PROCEEDINGS Shostak; (ed.):  Automated Deduction 1984 (    )  [RISC]
  9827:9827:	BOOK        Shaw, Mary (Ed):  The Carnegie-Mellon Curriculum for Undergraduate Computer Science (1985)  [RISC]
  9827:9827:	BOOK        Shaw, Mary (Ed):  The Carnegie-Mellon Curriculum for Undergraduate Computer Science (1985)  [RISC]
  9828:9828:	PROCEEDINGS Richter; et al.; (eds.):  Computation and proof theory 1983 (    )  [RISC]
  9829:9829:	BOOK        Beeson, Michael J.:  Foundations of Constructive Mathematics (1985)  [RISC]
  9830:9830:	BOOK        Chong, C.T.:  Techniques of Admissible Recursion Theory (1984)  [RISC]
  9830:9830:	PROCEEDINGS Greco, S.; Strano, R.:  Complete Intersections (1984)  [RISC]
  9831:9831:	BOOK        Chong, C.T.:  Techniques of admissible recursion theory (    )  [RISC]
  9832:9832:	PROCEEDINGS Habel; (ed.):  Kuenstliche Intelligenz 1984 (    )  [RISC]
  9833:9833:	BOOK        Jensen, Kahleen; Wirth, Niklaus:  Pascal User Manual and Report (1974)  [RISC]
  9834:9834:	BOOK        Arbarello, E.; Cornalba, M.; Griffiths, P. A.; Harris, J.:  Geometry of Algebraic Curves Volume I (1985)  [RISC]
  9834:9834:	BOOK        Arbarello, E.; Cornalba, M.; Griffiths, P.A.; Harris, J.:  Geometry of Algebraic Curves Volume 1 (1985)  [RISC]
  9835:9835:	BOOK        CIP Language Group:  The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L (1985)  [RISC]
  9837:9837:	PROCEEDINGS Ehrich; (ed.):  GI Tagung 1984 (    )  [RISC]
  9838:9838:	BOOK        Josephc; Shyamasundar:  Foundations of software technology and theoretical computer science (    )  [RISC]
  9839:9839:	BOOK        Abelson, Harold; diSessa, Andrea A.:  Turtle Geometry The Computer as a Medium for Exploring Mathematics (1984)  [RISC]
  9840:9840:	BOOK        Barwise, Jon; Perry, John:  Situations and Attitudes (1983)  [RISC]
  9841:9841:	BOOK        Bolc, Leonard (Ed):  Natural Language Questing Answering Systems (1980)  [RISC]
  9842:9842:	BOOK        Bolc, Leonard (Ed):  Natural Language Based Computer Systems (1980)  [RISC]
  9843:9843:	BOOK        Bolc, Leonard (Ed):  Representation and Processing of Natural Language (1980)  [RISC]
  9844:9844:	PROCEEDINGS Brady, Michael (ed.); Paul, Richard (ed.):  Robotics Research The First International Symposium (1984)  [RISC]
  9845:9845:	BOOK        Cooke, D.J.; Bez, H.E.:  Computer Mathematics (1984)  [RISC]
  9846:9846:	BOOK        Day, A. Colin:  Text Processing (1984)  [RISC]
  9847:9847:	BOOK        Devlin, Keith:  Micro-Maths Mathematical Problems and Theorems to Consider and Solve on a Comp. (1985)  [RISC]
  9848:9848:	BOOK        Dew, P.M.; James, K.R.:  Introduction to Numerical Computation in PASCAL (1983)  [RISC]
  9849:9849:	BOOK        Dummett, Michael:  Elements of Intuitionism (1977)  [RISC]
  9850:9850:	BOOK        Dyer, Michael George:  In-Depth Understanding A Computer Model of Integrated Processing for Narrative Comprehensi (1983)  [RISC]
  9851:9851:	BOOK        Fisher, Alec:  Formal Number Theory and Computability A Workbook (1982)  [RISC]
  9852:9852:	BOOK        Haugeland, John (ed.):  Mind Design Philosophy - Psychology - Artificial Intelligence (1981)  [RISC]
  9853:9853:	BOOK        Hildreth, Ellen Catherine:  The Measurement of Visual Motion (1984)  [RISC]
  9855:9855:	BOOK        Hyman, Anthony:  Charles Babbage Pioneer of the Computer (1984)  [RISC]
  9856:9856:	BOOK        Johnson, Steven D.:  Synthesis of Digital Designs from Recursion Equations (1984)  [RISC]
  9857:9857:	BOOK        Korf, Richard E.:  Learning to Solve Problems by Searching for Macro-Operators (1985)  [RISC]
  9857:9857:	BOOK        Korf, Richard E.:  Learning to Solve Problems by Searching for Macro-Operators (1985)  [RISC]
  9858:9858:	BOOK        Leighton, Frank Thomson:  Complexity Issues in VLSI Optimal Layouts for the Shuffle-Exchange Graph and Other Networks (1983)  [RISC]
  9859:9859:	BOOK        Leiserson, Charles Eric:  Area-Efficient VLSI Computation (1983)  [RISC]
  9860:9860:	BOOK        Mallgren, William R.:  Formal Specification of Interactive Graphics Programming Languages (1983)  [RISC]
  9861:9861:	BOOK        Meijer, Anton; Peeters, Paul:  Computer network architectures (1982)  [RISC]
  9862:9862:	BOOK        Moreau, R.:  The Computer Comes of Age The People, the Hardware, and the Software (1984)  [RISC]
  9863:9863:	BOOK        Ohta, Yuichi:  Knowledge-based Interpretation of Outdoor Natural Color Scenes (1985)  [RISC]
  9864:9864:	BOOK        Pylyshyn, Zenon W.:  Computation and Cognition Toward a Foundation for Cognitive Science (1984)  [RISC]
  9865:9865:	BOOK        Rose, H.E.:  Subrecursion Functions and Hierarchies (1984)  [RISC]
  9866:9866:	BOOK        Salman, W.P.; Tisserand, O.; Toulout, B.:  FORTH (1984)  [RISC]
  9866:9866:	BOOK        Salman, W.P.; Tisserand, O.; Toulout, B.:  FORTH (1984)  [RISC]
  9867:9867:	BOOK        Shapiro, Ehud Y.:  Algorithmic Program Debugging (1983)  [RISC]
  9867:9867:	BOOK        Shapiro, Ehud Y.:  Algorithmic Program Debugging (1983)  [RISC]
  9868:9868:	BOOK        Stoy, Joseph E.:  Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory (1977)  [RISC]
  9868:9868:	BOOK        Stoy, Joseph E.:  Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory (1977)  [RISC]
  9869:9869:	BOOK        Troelstra, A.S.:  Choice Sequences A Chapter of Intuitionistic Mathematics (1977)  [RISC]
  9869:9869:	BOOK        Troelstra, A.S.:  Choice Sequences A Chapter of Intuitionistic Mathematics (1977)  [RISC]
  9870:9870:	BOOK        Wegner, Peter (ed.):  Research Directions in Software Technology (1979)  [RISC]
  9872:9872:	BOOK        Jankel, Annabel; Morton, Rocky:  Creative Computer Graphics (1984)  [RISC]
  9873:9873:	BOOK        Salomaa, Arto:  Computation and Automata (1985)  [RISC]
  9873:9873:	BOOK        Salomaa, Arto:  Computation and Automata (1985)  [RISC]
  9874:9874:	BOOK        Kulp, Martin:  Menschliches und maschinelles Denken (1968)  [RISC]
  9875:9875:	BOOK        Leblanc, Hugues; Mendelson, Elliott:  Foundations: Logic, Language and Mathematics (1984)  [RISC]
  9875:9875:	BOOK        Leblanc; et al.; (eds.):  Foundations, logic, languages and mathematics (    )  [RISC]
  9876:9876-68:	BOOK        Halpern, Richard:  Microcomputer Graphics Using PASCAL For the Apple II Family (1985)  [RISC]
  9876:9876:	BOOK        Halpern, R.:  Microcomputer graphics using PASCAL for the Apple II family (    )  [RISC]
  9877:9877:	BOOK        Touretzky, David S.:  LISP A Gentle Introduction to Symbolic Computation (1984)  [RISC]
  9878:9878:	BOOK        Knuth; Neuhold; (eds.):  specification and design of software systems (    )  [RISC]
  9879:9879:	BOOK        McDonald, Bernard R.:  Linear Algebra Over Commutative Rings (1984)  [RISC]
  9880:9880:	BOOK        Lloyd, J. W.:  Foundations of Logic Programming (1984)  [RISC]
  9882:9882:	BOOK        Abney, Darrell H.; Rubin, Laurence; Sibrel, Donald W.:  Computer Mathematics for Programmers (1985)  [RISC]
  9883:9883:	BOOK        Semple, J. G.; Roth, L.:  Introduction to Algebraic Geometry (1949)  [RISC]
  9897:9897:	BOOK        Muller; Pottmeyer; (eds.):  The fifth generation challenge (    )  [RISC]
  9898:9898:	BOOK        Winston, Patrick Henry; Horn, Berthold Klaus Paul:  LISP Second Edition (1984)  [RISC]
  9920:9920:	BOOK        Bezdek, James C.:  Pattern recognition with fuzzy objective function algorithms. (1981)  [RISC]
  9921:9921:	BOOK        Nagao, Makoto; Matsuyama, Takashi:  A Structural Analysis of Complex Aerial Photographs. (1980)  [RISC]
  9922:9922:	BOOK        Preston, Kendall Jr.; Duff, Michael J.B.:  Modern Cellular Automata Theory and Applications. (1984)  [RISC]
  9923:9923:	BOOK        Hodges, Andrew:  Alan Turing: The enigma. (1983)  [RISC]
  9924:9924:	BOOK        Goldberg, Adele:  Smalltalk-80, The Interactive Programming Environment (1984)  [RISC]
  9925:9925:	BOOK        Goldberg, Adele; Robson, David:  Smalltalk-80, The Language and its Implementation (1983)  [RISC]
  9926:9926:	BOOK        Krasner, Glenn (Ed):  Smalltalk-80, Bits of History, Words of Advice (1984)  [RISC]
  9927:9927:	BOOK        Kluzniak, Feliks; Szpakowicz, Stanislaw:  PROLOG for Programmers (1985)  [RISC]
  9928:9928:	BOOK        Waterman, Donald A.:  A Guide to Expert Systems (1986)  [RISC]
  9940:9940:	BOOK        Boerger, Egon:  Berechenbarkeit, Komplexitaet, Logik (1985)  [RISC]
  9943:9943:	BOOK        Abelson, Harold; Sussman, Jay; Sussman, Julie:  Structure and Interpretation of Computer Programs (1985)  [RISC]
  9946:9946:	BOOK        Danckwerts, Rainer; Vogel, Dakwart; Bovermann, Klaus:  Elementare Methoden der Kombinatorik (1985)  [RISC]
  9957:9957:	BOOK        Moyne, John A.:  Understanding Language Man or Machine (1985)  [RISC]
  9967:9967:	BOOK        Rodrigue, Garry (Ed):  Parallel Computations (1982)  [RISC]
  9968:9968:	BOOK        Turski, Wladislaw M.:  Infomatics A Propaedeutic View (1985)  [RISC]
  9969:9969:	BOOK        O'Shea, Tim (Ed):  Advances in Artificial Intelligence (1985)  [RISC]
  9975:9975:	BOOK        Plum, Thomasce (Ed):  Das C-Lernbuch (1983)  [RISC]
  9989:9989:	BOOK        Nivat, Maurice (Ed); Reynolds, John C. (Ed):  Algebraic methods in semantics (1985)  [RISC]
  9993:9993:	BOOK        Burnham, W.D.; Hall, A.R.:  Prolog Programming and Applicatons (1985)  [RISC]
  9994:9994:	BOOK        Cluley, J.C.:  Transducers for Microprocessor Systems (1985)  [RISC]
  9998:9998:	BOOK        Gabbay, D. (Ed); Guenthner F. (Ed):  Handbook of Philosophical Logic (1986)  [RISC]
 10009:10009:	BOOK        Atkinson, Michael D. (Ed):  Computational Group Theory (1984)  [RISC]
 10010:10010:	BOOK        Hogger, Christopher John:  Introduction to Logic Programning (1984)  [RISC]
 10010:10010:	BOOK        Hogger:  Introduction to logic programming (    )  [RISC]
 10011:10011:	BOOK        Barnhill Robert E. (Ed); Boehm, Wolfgang (Ed):  Surfaces in CAGD'84 (1985)  [RISC]
 10032:10032:	BOOK        Fraisse, R.:  Theory of Relations (1986)  [RISC]
 10034:10034:	BOOK        Neuwirth, E.; Schauer, H.; Tauber, M.J.:  Kinder, Computer und Bildung (1985)  [RISC]
 10034:10034:	BOOK        Neuwirth; et al.:  Kinder, Computer und Bildung (    )  [RISC]
 10036:10036:	BOOK        Davis, Philip J.; Chinn, William G.:  3.1416 And All That (1985)  [RISC]
 10037:10037:	BOOK        Gander, Walter:  Comptermathematik (1985)  [RISC]
 10038:10038:	BOOK        Kunz, Ernst:  Introduction to commutative algebra and algebraic geometry. Transl. by Michael Ackerman. Preface by David Mumford. (1985)  [RISC]
 10039:10039:	BOOK        Ehrig:  Mathematical foundations of software development (    )  [RISC]
 10040:10040:	BOOK        Ehrig; et al. s; (eds.):  Formal methods and software development, vol. 2 (    )  [RISC]
 10041:10041:	BOOK        Barringer, Howard.:  A Survey of Verification Techniques for Parallel Programs (1985)  [RISC]
 10046:10046:	BOOK        Brosowski, Bruno; Kress, Rainer:  Einfuehrung in die Numerische Mathemaik I (1975)  [RISC]
 10047:10047:	BOOK        Engeln; Muellges; Reutter:  Numerische Mathematik fuer Ingenieure (    )  [RISC]
 10048:10048:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC (1984)  [RISC]
 10048:10048:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC (1984)  [RISC]
 10048:10048:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern.  Teil 1. E. Einf. in die Theorie u. in die Programmierung in BASIC. (1984)  [RISC]
 10049:10049:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme (1984)  [RISC]
 10049:10049:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme (1984)  [RISC]
 10049:10049:	BOOK        Weissinger, Johannes:  Numerische Mathematik auf Personal-Computern.  Teil 2. BASIC-Programme. (1984)  [RISC]
 10050:10050:	BOOK        Bruderer, Herbert E.:  Nichtnumerische Datenverabeitung (1980)  [RISC]
 10051:10051:	BOOK        Haase, Volkmar:  Die Technik der neuen Medien (1983)  [RISC]
 10052:10052:	BOOK        Zima, Hans:  Compilerbau I (1982)  [RISC]
 10053:10053:	BOOK        Zima, Hans:  Compilerbau II (1983)  [RISC]
 10054:10054:	BOOK        Waldschmidt, Helmut E.; Walter, Hermann K.-G.:  Grundzuege der Informatik I (1984)  [RISC]
 10054:10054:	BOOK        Waldschmidt; Walter:  Grundzuege der informatik I (    )  [RISC]
 10055:10055:	BOOK        Balzert, Helmut (Ed):  Moderne Software-Entwicklungssysteme und -werkzeuge (1985)  [RISC]
 10056:10056:	BOOK        Feuer, Alan R.:  C-Puzzlebuch C-Programmier Training (1985)  [RISC]
 10057:10057:	BOOK        Kernighan, Brian W.; Ritchie, Dennis M.:  Programmieren in C (1983)  [RISC]
 10057:10057:	BOOK        Kernighan; Ritchie:  Programming in C (    )  [RISC]
 10058:10058:	BOOK        Cross, Mark; Moscardini, A.O.:  Learning the Art of Mathematical Modelling (1985)  [RISC]
 10059:10059:	BOOK        Riesel, Hans:  Prime Numbers and Computer Methods for Factorization (1985)  [RISC]
 10061:10061:	BOOK        Havey, Brian:  Computer Science Logo Style Volume I, Intermediate Programming (1985)  [RISC]
 10062:10062:	BOOK        Saram, Hugh de (Ed):  Programming in micro-PROLOG (1985)  [RISC]
 10063:10063:	BOOK        Wulf, William A.; Shaw, Mary; Hilfinger, Paul N.:  Fundaental Structures of Computer Science (1981)  [RISC]
 10064:10064:	BOOK        Quirk, W.J. (Ed):  Verification and Validation of Real-Time Software (1985)  [RISC]
 10065:10065:	BOOK        Thayse, Andre:  P-Functions and Boolean Matrix Factorizaion (1984)  [RISC]
 10066:10066:	BOOK        Sherman, Mark Steven:  Paragon:ing Languages and Their Definition A Language Using Type Hierarchies for the Specification ... (1985)  [RISC]
 10067:10067:	PROCEEDINGS Chytil M.P. (Ed); Koubek, V. (Ed):  Mathematical Foundations of Computer Science 1984 (1984)  [RISC]
 10068:10068:	BOOK        Bekic, H.:  Programming languages and their definition (    )  [RISC]
 10068:10068:	BOOK        Jones, C.B. (Ed):  Programming Languages and Their Definition (1984)  [RISC]
 10069:10069:	PROCEEDINGS Mehlhorn, K. (Ed):  STACS 85 (1985)  [RISC]
 10070:10070:	BOOK        Hawkins, Cliffard (Ed); Sorgi, Maco (Ed):  Research How to Plan, Speak and Write About It (1985)  [RISC]
 10071:10071:	BOOK        Vogel, W.:  Lectures on results on Bezout's theorem. Notes by D. P. Patil. (1984)  [RISC]
 10072:10072:	BOOK        Shirota, Yukari; Kunii, Tosiyasu L.:  First Book on UNIX for Executives (1984)  [RISC]
 10076:10076:	BOOK        Ehrig, H.; Mahr, B.:  Fundamentals of Algebraic Specification 1 (1985)  [RISC]
 10077:10077:	PROCEEDINGS Blaser, A. (Ed); Pistor, P. (Ed):  Datenbank-Systeme fuer B!ro, Technik und Wissenschaft (1985)  [RISC]
 10078:10078:	BOOK        Hartley, John:  Flexible Automation in Japan (1984)  [RISC]
 10079:10079:	BOOK        ten Hagen, Paul J.W.:  Eurographics Tutorials 83 (1984)  [RISC]
 10080:10080:	BOOK        Miklosko, J. (Hrsg.); Kotov, V. E. (Hrsg.):  Algorithms, software and hardware of parallel computers. (Weitere Beitr.:) J. Chudnik, G. David, N.N. Mirenkov, J. Ondas u.a. (1984)  [RISC]
 10081:10081:	BOOK        Mehlhorn, Kurt:  Data Structures and Algorithms 1: Sorting and Searching (1984)  [RISC]
 10082:10082:	BOOK        Mehlhorn, Kurt:  Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness (1984)  [RISC]
 10083:10083:	BOOK        Mehlhorn, Kurt:  Multi-dimensional Searching and Computational Geometry (1984)  [RISC]
 10086:10086:	BOOK        Craig, John J.:  Introduction to Robotics Mechanics & Control (1986)  [RISC]
 10087:10087:	BOOK        Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim:  Automated Reasoning Introduction and Applicaions (1984)  [RISC]
 10088:10088:	BOOK        Reynolds, John C.:  The Crat of Programming (1981)  [RISC]
 10088:10088:	BOOK        Reynolds:  The craft of programming (    )  [RISC]
 10089:10089:	BOOK        Lewis, Harry R.; Papadimitriou, Christos H.:  Elements of the Theory of Computation (1981)  [RISC]
 10090:10090:	PROCEEDINGS Farmer, Doyne (Ed); Toffoli, Fommaso (Ed); Wolfram, Stephen (Ed):  Cellular Automata (1984)  [RISC]
 10091:10091:	PROCEEDINGS Feilmeier, Manfred (Hrsg.); Joubert, Gerhard (Hrsg.); Schendel, Udo (Hrsg.):  Parallel computing 83.  Proceedings ... Berlin, 26-28 September, 1983. (1984)  [RISC]
 10092:10092:	BOOK        Mendelsohn, Eric (Ed):  Algebraic and Geometric Combinatorics (1982)  [RISC]
 10093:10093:	BOOK        Mansfield, Richard; Weitkamp, Galen:  Recursive Aspects of Descriptive Set Theory (1985)  [RISC]
 10097:10097:	BOOK        Hoae, C.A.R.:  Communicating Sequential Processes (1985)  [RISC]
 10099:10099:	BOOK        Courcelle, B. (Ed):  Ninth Colloquium on Trees in Algebra and Programming (1984)  [RISC]
 10102:10102:	BOOK        Wagner, K.; Wechsung G.:  Computational Complexity (1986)  [RISC]
 10103:10103:	BOOK        Negoita, Constantin Virgil:  Expert Systems and Fuzzy Systems (1985)  [RISC]
 10104:10104:	BOOK        Lewis, Ted G.:  PASCAL for the IBM Personal Computer (1983)  [RISC]
 10105:10105:	BOOK        Kelman, Peter; Bardige, Art; Choae, JOnathan; Hanify, George:  Computers in Teaching Mathemaics (1983)  [RISC]
 10106:10106:	BOOK        Ross, Peter:  Logo Programming for the IBM PC (1985)  [RISC]
 10107:10107:	BOOK        Traub, J.F.; Wasilkowski, G.W.; Wozniakowski, H.:  Information, Uncertainty, Complexity (1983)  [RISC]
 10108:10108:	BOOK        Shaw, Tony:  dBASE IIuer Image: Applications of Computer Graphics Developing applications (1984)  [RISC]
 10109:10109:	BOOK        Gonnet, H.G.:  Handbook of ALgorithms and Data Structures (1984)  [RISC]
 10109:10109:	BOOK        Gonnet:  Hnadbook of algorithms and data structures (    )  [RISC]
 10110:10110:	BOOK        Greenberg, Donald; Marcus, Aaron; Schmidt, Allan H.; Gorter, Vervon:  The Compuer Image: Applications of Computer Graphics (1982)  [RISC]
 10111:10111:	BOOK        Park, Chan S.:  Interactive Microcomputer Graphics (1985)  [RISC]
 10112:10112:	BOOK        Bennetts, R.G.:  Design of Testable Logic Circuits (1984)  [RISC]
 10113:10113:	BOOK        Mead, Caver; Conway, Lynn:  Introduction to VLSI Systems (1980)  [RISC]
 10114:10114:	BOOK        Glasser, Lance A.; Dobberpuhl, Daniel W.:  The Design and Analysis of VLSI Circuits (1984)  [RISC]
 10115:10115:	BOOK        Lamport, Leslie:  LATEX. A document preparation system. (1986)  [RISC]
 10116:10116:	BOOK        Myers, Roy E.:  Microcomputer Graphics for the IBM PC (1984)  [RISC]
 10117:10117:	BOOK        Sargent III, Murray; Shoemaker, Richard L:  The IBM Personal Computer From the Inside Out (1983)  [RISC]
 10119:10119:	BOOK        Wadge; Ashcroft:  Lucid, the dataflow programming language (    )  [RISC]
 10119:10119:	BOOK        Wagde, William W.; Ashcroft, Edward A.:  Lucid, The Dataflow Programming Language (1985)  [RISC]
 10120:10120:	BOOK        Hopgood, F.R.A.; Duce, D.A.; Gallop, J.R.; Sutcliffe, D.C.:  Introduction to the Graphical Kernel System (GKS) (1983)  [RISC]
 10121:10121:	BOOK        Yovits, Marshall C. (Ed):  Advances in Computers Volume 23 (1984)  [RISC]
 10122:10122:	BOOK        Yovits, Marshall C. (Ed):  Advances in Computers Volume 24 (1985)  [RISC]
 10123:10123:	BOOK        Mandelbrot, Benoit B.:  The Fractal Geometry of Nature (1977)  [RISC]
 10124:10124:	BOOK        Gersting, Judith L.:  Mathematical Structures for Computer Science (1982)  [RISC]
 10125:10125:	BOOK        Bransford, John D.; Stein, Barry S.:  The Ideal Problem Solver A Guide for Improving Thinking, Learning and Creativity (1984)  [RISC]
 10126:10126:	BOOK        Gadner, Martin:  Aha, Insight (1978)  [RISC]
 10127:10127:	BOOK        Koberg, Don; Bagnall, Jim:  the Universal Traveler a Soft-Systems guide to: creativity, problem-solving ... (1974)  [RISC]
 10132:10132:	BOOK        Reid-Green, Keith:  Computerspiele und Computergrafik (1984)  [RISC]
 10168:10168:	BOOK        Mitchell, David:  An Adventure in Programing Techniques (1986)  [RISC]
 10173:10173:	BOOK        Brooks, Rodney A.:  Programming in Common LISP (1985)  [RISC]
 10178:10178:	BOOK        Pavelle, Richard (Ed):  Application to Computer Algebra (1985)  [RISC]
 10179:10179:	BOOK        Jackson, Peter:  Introduction to Expert Systems (1986)  [RISC]
 10187:10187:	BOOK        Tiberghien, J. (Ed):  New Computer Architectures (1984)  [RISC]
 10188:10188:	BOOK        Knuth, Donald E.:  The TEXbook (1986)  [RISC]
 10189:10189:	BOOK        Brownston, Lee; Farrell, Robert; Kant, Elaine; Martin, Nancy:  Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming (1985)  [RISC]
 10190:10190:	BOOK        Weste, Neil H.E.; Eshraghian, Kamran:  Principles of Cmos VLSI Design (1985)  [RISC]
 10192:10192:	BOOK        Green, David:  Modern Logic Design (1986)  [RISC]
 10194:10194:	BOOK        Barcan Marcus, Ruth (Ed); Dorn, Georg J.W. (Ed); Weingartner, Paul (Ed):  Logic, Methodology and Philosophy of Science VII (1986)  [RISC]
 10195:10195:	BOOK        Radermacher, Franz-Josef; Wirsing, Martin:  Berichte aus den Informatikinstituten (1986)  [RISC]
 10195:10195:	PROCEEDINGS Radermacher; Wirsing:  Berichte aus Informatikinstituten 1986 (    )  [RISC]
 10197:10197:	BOOK        Bratko, Ivan:  PROLOG Programming for Artificial Intelligence (1986)  [RISC]
 10233:10233:	BOOK        Peitgen, Heinz-Otto; Richter, Peter H.:  The Beauty of fractals. (1986)  [RISC]
 10234:10234:	BOOK        Cox, Brad J.:  Object-oriented Programming.  An evolutionary approach. (1986)  [RISC]
 10235:10235:	PROCEEDINGS Demongeot, J. (Hrsg.); Goles, E. (Hrsg.); Tchuente, M. (Hrsg.):  Dynamical Systems and cellular automata. (1985)  [RISC]
 10238:10238:	BOOK        Brauner, Heinrich:  Lehrbuch der konstruktiven Geometrie. (1986)  [RISC]
 10242:10242:	BOOK        Preparata, Franco P.; Shamos, Michael Ian:  Computational Geometry. An introduction. (1985)  [RISC]
 10248:10248:	BOOK        Knuth, Donald E.:  The TEXbook (1986)  [RISC]
 10249:10249:	BOOK        Campbell, J.A.(Hrsg.):  Implementations of Prolog. (1985)  [RISC]
 10249:10249:	BOOK        Campbell; et al.:  Implementations of PROLOG (    )  [RISC]
 10254:10254:	BOOK        Giannesini, Francis; Kanoui, Henry; Pasero, Robert; van Caneghem, Michel:  Prolog. (1986)  [RISC]
 10254:10254:	BOOK        Giannesini; et al.:  PROLOG (    )  [RISC]
 10255:10255:	PROCEEDINGS Rice, John R. (Hrsg.):  Mathematical Software. (1971)  [RISC]
 10259:10259:	PROCEEDINGS Paris, J. B. (Hrsg.); Wilkie, A. J. (Hrsg.); Wilmers, G. M. (Hrsg.):  Logoc colloquium '84.  Proceedings of the colloquium held in Manchester, July 1984. (1986)  [RISC]
 10260:10260:	PROCEEDINGS Rollinger, Claus-Rainer(Hrsg.); Horn, Werner (Hrsg.):  GWAI-86 (10th German workshop on artificial intelligence) und 2. oesterreichische Artificial-Intelligence-Tagung (1986)  [RISC]
 10265:10265:	BOOK        Bishop, Judy (Judith Mary):  Data abstraction in programming languages. (1986)  [RISC]
 10270:10270:	BOOK        Ritt, Joseph Fels:  Differential algebra. (1950)  [RISC]
 10271:10271:	BOOK        Groebner, W(olfgang):  Gruppi, anelli e algebre di Lie. (1975)  [RISC]
 10286:10286:	PROCEEDINGS Siekmann, Joerg H. (Hrsg.):  8th (eigth) International conference on automated deduction. Oxford, England, July 27 - August 1, 1986.  Proceedings. (1986)  [RISC]
 10296:10296:	BOOK        Meier, Andreas:  Methoden der grafischen und geometrischen Datenverarbeitung. (1986)  [RISC]
 10297:10297:	BOOK        Kleine Buening, Hans; Schmitgen, Stefan:  PROLOG.  Grundlagen u. Anwendungen. (1986)  [RISC]
 10310:10310:	PROCEEDINGS Dubois, Donald Ward (Hrsg.); Recio, Thomas (Hrsg.):  Ordered fields and real algebraic geometry.  Proceedings of the special session ... San Francisco, CA, January 7-11, 1981. (1982)  [RISC]
 10319:10319:	BOOK        M(a)cGregor, Jim (James) J.; Watt, Alan H.:  The art of graphics for the IBM PC. (1986)  [RISC]
 10323:10323:	BOOK        Conlon, Tom:  Learning Micro-PROLOG. (1985)  [RISC]
 10323:10323:	BOOK        Conlon, Tom:  Learning Micro-PROLOG. A problem solving approach. 2. printing. (1986)  [RISC]
 10337:10337:	BOOK        Wirth, Niklaus:  Systematisches Programmieren.  Eine Einfuehrung. 5. Aufl. (1985)  [RISC]
 10338:10338:	BOOK        Wirth, Niklaus:  Algorithmen und Datenstrukturen mit Modula-2. 4. Aufl. (1986)  [RISC]
 10346:10346:	BOOK        van der Waerden, B. L.:  (Teils.) Zur algebraische Geometrie.  Selected papers.  Mit einem Geleitwort von F(riedrich) Hirzebruch. (1983)  [RISC]
 10348:10348:	BOOK        van der Waerden, B. L.:  Einfuehrung in die algebraische Geometrie.  2. Aufl. (1973)  [RISC]
 10349:10349:	PROCEEDINGS Selman, Alan L. (Hrsg.):  Structure in complexity theory.  Proceedings ... Berkeley, June 2-5, 1986. (1986)  [RISC]
 10350:10350:	PROCEEDINGS Bibel, Wolfgang (Hrsg.); Kowalski, Robert (Hrsg.):  5. conference on automated deduction. Les Arcs, France, July 8-11, 1980. (1980)  [RISC]
 10352:10352:	PROCEEDINGS Shapiro, Ehud (Hrsg.):  Third (3.) international conference on logic programming. ... London ... July 14-18, 1986. Proceedings. (1986)  [RISC]
 10362:10362:	BOOK        Gonshor, Harry:  An introduction to the theory of surreal numbers (1986)  [RISC]
 10392:10392:	BOOK        Pieper, Herbert:  Zahlen aus Primzahlen. 2. durchges. u. erw. Aufl. (1984)  [RISC]
 10402:10402:	BOOK        Knuth, Donald:  METAFONT: teh program (1986)  [RISC]
 10411:10411:	PROCEEDINGS Kerschberg, Larry:  Expert database systems (1986)  [RISC]
 10412:10412:	BOOK        Knuth, Donald:  Computer modern typefaces (1986)  [RISC]
 10413:10413:	BOOK        Gehani, N.; McGettrick, A.D.:  Software specification techniques (1986)  [RISC]
 10414:10414:	BOOK        Knuth, Donald:  The METAFONTbook (1986)  [RISC]
 10415:10415:	BOOK        Cleaveland, J.C.:  An introduction to data analysis (    )  [RISC]
 10416:10416:	BOOK        Knuth, Donald:  TEX: the program (1986)  [RISC]
 10417:10417:	BOOK        Klahr, Philip; Waterman, Donald A.:  Expert systems, techniques, tools and apllications (1986)  [RISC]
 10418:10418:	BOOK        Cohen, B.; Harwood, W.T.; Jackson, M.I.:  The specification of complex systems (1986)  [RISC]
 10432:10432:	PROCEEDINGS Gruska, J.; Rovan, B.; Wiedermann, J.:  Mathematical foundations of computer science 1986 (1986)  [RISC]
 10437:10437:	BOOK        Ivanov, L.L.:  Algebraic recursion theory (1986)  [RISC]
 10444:10444:	BOOK        Lorbeer, W.; Werner D.:  Wie funktionieren Roboter (1986)  [RISC]
 10445:10445:	BOOK        Buchberger, B.; Kutzler, B.; Feilmeier, M.; et al.:  Rechnerorientierte Verfahren (1986)  [RISC]
 10446:10446:	BOOK        Afflerbach, L.; Lehn J.:  Zufallszahlen und Simulation (1986)  [RISC]
 10447:10447:	BOOK        Savage, J.E.:  The complexity of computing (1987)  [RISC]
 10448:10448:	BOOK        Devroye, Luc:  Lecture notes on bucket algorithms (1986)  [RISC]
 10451:10451:	BOOK        Critchlow, A.J.:  Introduction to robotics (1985)  [RISC]
 10452:10452:	BOOK        Enderle, G.; Grave, G.; Lillehagen, F.:  Advances in Computer Graphics I (1986)  [RISC]
 10453:10453:	BOOK        Bresenham, J.E.; Earnshaw, R.A.; Pitteway, M.L.V.:  Fundamental algorithms for computer graphics (1985)  [RISC]
 10453:10453:	BOOK        Earnshaw, R.A.:  Fundamental algorithms for computer graphics (    )  [RISC]
 10454:10454:	BOOK        Duer, A.:  Moebius functions, incidence algebras and power series representati ons (1986)  [RISC]
 10455:10455:	BOOK        Bibel, W.; Jorrand, Ph.:  Fundamental of artificial intelligence (    )  [RISC]
 10455:10455:	BOOK        Goos, G.; Hartmanis, J.:  Fundamentals of artificial intelligence (1986)  [RISC]
 10455:10455:	BOOK        Goos, G.; Hartmanis, J.:  Fundamentals of artificial intelligence (1986)  [RISC]
 10456:10456:	BOOK        Henle, J.M.:  An outline of set theory (1986)  [RISC]
 10457:10457:	PROCEEDINGS Miranker, W.L.; Toupin, R.A.:  Accurate Scientific Computations (1985)  [RISC]
 10459:10459:	BOOK        lawler:  the traveling salesman problem (    )  [RISC]
 10460:10460:	PROCEEDINGS Price, Keith:  Computer vision and pattern recognition (1985)  [RISC]
 10462:10462:	BOOK        Mortenson, M.E.:  Geometric modelling (1985)  [RISC]
 10464:10464:	BOOK        Loeckx; Sieber:  The foundations of program verification (    )  [RISC]
 10465:10465:	BOOK        Rosenfeld, A.:  Techniques for 3-D machine perception (1986)  [RISC]
 10466:10466:	PROCEEDINGS Kowalik, J.S.:  coupling symbolic and numerical computing in expert systems (1985)  [RISC]
 10467:10467:	PROCEEDINGS Vandoni, C.E.:  Eurographics'85 (1985)  [RISC]
 10468:10468:	BOOK        Ball, W.E.; et al.:  Studies in computer science (1982)  [RISC]
 10469:10469:	BOOK        Seidenberg, A.:  Studies in algebraic geometry (1980)  [RISC]
 10470:10470:	BOOK        Toussaint:  Computational geometry (    )  [RISC]
 10471:10471:	BOOK        Lovasz; Szemeredi:  Theory of algorithms (    )  [RISC]
 10472:10472:	BOOK        Demetrovics, J.; Knuth, E.; Rado, P.:  Computer-aided specification techniques (1985)  [RISC]
 10473:10473:	BOOK        McCord, M.; Sowa, J.F.; Wilson, W.G.:  Knowledge Systems and PROLOG (1987)  [RISC]
 10474:10474:	BOOK        Bulla, Fritz:  Digitalgraphik (1987)  [RISC]
 10475:10475:	BOOK        Gregory, J.A.:  The mathematics of surfaces (1986)  [RISC]
 10477:10477:	BOOK        Evans, E. Graham; Griffith, Phillip:  Syzygies (1985)  [RISC]
 10478:10478:	BOOK        Cameron, Neil:  Introduction to linear and convex programming (1985)  [RISC]
 10479:10479:	BOOK        Gibbson, Alan:  Algorithmic graph theory (1985)  [RISC]
 10485:10485:	BOOK        Heitzinger; et al.:  Nichtlineare Gleichungen (    )  [RISC]
 10485:10485:	BOOK        Heitzinger; et al.:  Nichtlineare Gleichungen (    )  [RISC]
 10506:10506:	BOOK        Henkin:  cylindric algebras (    )  [RISC]
 10509:10509:	BOOK        Traub:  annual review of computer science, vol. 1 (1986)  [RISC]
 10534:10534:	BOOK        Lipovski, G.J.; Malek, M.:  Parallel computing (1987)  [RISC]
 10535:10535:	BOOK        Pomerance, Carl:  Lecture notes on primality testing and factoring (1984)  [RISC]
 10539:10539:	BOOK        Conery, J.S.:  Parallel execution of logic programs (1987)  [RISC]
 10556:10556:	PROCEEDINGS Nickel, K. (ed.):  Interval Mathematics 1985 (1986)  [RISC]
 10557:10557:	BOOK        Magnenat-Thalmann, N.; Thalmann, D.:  Computer animation (1985)  [RISC]
 10558:10558:	PROCEEDINGS Makedon, F.; Papatheodorou, T.; Spirakis, P. (eds.):  VLSI algorithms and architectures (1986)  [RISC]
 10559:10559:	BOOK        Pavlidis, T.:  algorithms for graphics and image processing (1982)  [RISC]
 10560:10560:	BOOK        Schroeder, M.R.:  Number theory in science and communications (1984)  [RISC]
 10561:10561:	PROCEEDINGS Weinstock, H.; Bork, A. (eds.):  Designing computer-based learning materials (1985)  [RISC]
 10562:10562:	PROCEEDINGS DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.):  PARLE, parallel architectures and languages Europe, vol. 1 (1987)  [RISC]
 10563:10563:	PROCEEDINGS DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.):  PARLE, parallel architectures and languages Europe, vol. 2 (1987)  [RISC]
 10564:10564:	PROCEEDINGS Robinet, B.; Wilhelm, R. (eds.):  ESOP 86 (1986)  [RISC]
 10565:10565:	BOOK        Shirai, Y.:  Three-dimensional computer vision (1986)  [RISC]
 10566:10566:	BOOK        Schnupp, P.; Nguyen Huu, C.T.:  Expertensystem-Praktikum (1987)  [RISC]
 10567:10567:	BOOK        Soare, R.I.:  Recursively enumerable sets and degrees (1987)  [RISC]
 10568:10568:	PROCEEDINGS Melton, Austin (ed.):  Mathematical foundations of programming semantics (1986)  [RISC]
 10569:10569:	BOOK        Rembold, U.; Dillmann, R.:  computer-aided design and manufacturing (1986)  [RISC]
 10570:10570:	BOOK        Naish, Lee:  Negation and control in prolog (1986)  [RISC]
 10571:10571:	BOOK        Manes, E.G.; Arbib, M.A.:  Algebraic approaches to program semantics (1986)  [RISC]
 10572:10572:	PROCEEDINGS Haendler, W.; Haupt, D.; Jeltsch, R.; et al. (eds.):  CONPAR 86 Conference on algorithms and hardware for parallel processing (1986)  [RISC]
 10573:10573:	PROCEEDINGS Kott, L.:  Automata, Languages and Programming (1986)  [RISC]
 10574:10574:	BOOK        Kroeger, F.:  Temporal Logic of programs (1987)  [RISC]
 10575:10575:	PROCEEDINGS Kunii, T. L. (ed.):  Advanced Computer Graphics (1986)  [RISC]
 10576:10576:	BOOK        Fried, M.D.; Jarden, M.:  Field arithmetik (1986)  [RISC]
 10577:10577:	BOOK        Gibbs, N.E.; Fairley, R.E.; (eds.):  Software Engineering education (1987)  [RISC]
 10578:10578:	PROCEEDINGS Ganzinger, H.; Jones, N.D.; (eds.):  Programs as data objects (1985)  [RISC]
 10579:10579:	PROCEEDINGS Desarmenie, J.(ed.):  TEX for scientific documentation (1986)  [RISC]
 10580:10580:	BOOK        Franke, H.W.:  Computer graphics - computer art (1985)  [RISC]
 10581:10581:	PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.):  TAPSOFT 87, vol. 1 (1987)  [RISC]
 10582:10582:	PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.):  TAPSOFT 87, vol. 2 (1987)  [RISC]
 10583:10583:	BOOK        Duch, W.:  GRMS or graphical representation of model spaces vol. 1, basics (1986)  [RISC]
 10584:10584:	BOOK        Blume, Ch.; Jakob, W.:  Programming languages for industrial robots (1986)  [RISC]
 10585:10585:	BOOK        Bundy, A. (ed.):  Catalogue of artificial intelligence tools (1986)  [RISC]
 10586:10586:	PROCEEDINGS Conradi, R.; Didriksen, T.M.; Wanvik, D.H.:  Advanced programming environments (1986)  [RISC]
 10587:10587:	PROCEEDINGS Calmet, J. (ed.):  Algebraic algorithms and error-correcting-codes (198)  [RISC]
 10588:10588:	BOOK        Berger, Marcel:  Geometry I (1977)  [RISC]
 10589:10589:	BOOK        Berger, Marcel:  Geometry II (1977)  [RISC]
 10590:10590:	BOOK        Avenhaus, R.; Huber, R.K.; Kettelle, J.D.; (eds.):  Modelling and analysis in arms control (1986)  [RISC]
 10591:10591:	BOOK        Newman, W.M.; Sproull, R.F.:  Principles of interactive computer graphics (1979)  [RISC]
 10592:10592:	PROCEEDINGS Nori, K. V.; (ed.):  Foundations of Software technology and theoretical computer science (1986)  [RISC]
 10597:10597:	BOOK        Turner, Raymond:  Logics for artificial intelligence (1984)  [RISC]
 10602:10602:	BOOK        Wilson, Stephen:  Chemistry by computer (1986)  [RISC]
 10603:10603:	BOOK        Pin, J.E.:  Varieties of Formal languages (1986)  [RISC]
 10604:10604:	PROCEEDINGS Pickett, M.S.; Boyse, J.W.; (eds.):  Solid modeling by computers From Theory to Applications (1984)  [RISC]
 10605:10605:	PROCEEDINGS Cantoni, V.; Levialdi, S.; Musso, G. (eds.):  Image analysis and processing (1986)  [RISC]
 10606:10606:	PROCEEDINGS Chang, Shi-kuo; Ichikawa, Tadao; Ligomenides, Panos A.; (eds.):  Visual Languages (1986)  [RISC]
 10607:10607:	BOOK        Browne, Arthur; Norton-Wayne, Leonard:  Vision and information processing for automation (1986)  [RISC]
 10609:10609:	BOOK        Horn, B.K.P.:  Robot Vision (1986)  [RISC]
 10610:10610:	BOOK        Marsan, M.A.; Balbo, G.; Conte, G.:  Performance models of multiprocessor systems (1986)  [RISC]
 10611:10611:	BOOK        Winston, P.H.; Brown, R.H.:  Artificial Intelligence, An MIT perspective, vol. 1 (1979)  [RISC]
 10612:10612:	BOOK        Winston, P.H.; Brown, R.H.:  Artificial Intelligence, An MIT perspective, vol. 2 (1979)  [RISC]
 10613:10613:	BOOK        Toffoli, T.; Margolus, N.:  Cellular automata machines (1987)  [RISC]
 10614:10614:	BOOK        Sugihara, Kokichi:  Machine interpretation of line drawings (1986)  [RISC]
 10615:10615:	BOOK        Potter, J.L. (ed.):  The massively parallel processor (1986)  [RISC]
 10616:10616:	BOOK        Raibert, Marc H.:  Legged robots that balance (1986)  [RISC]
 10617:10617:	BOOK        McCarthy, J.M.:  Kinematics of Robot Manipulators (1986)  [RISC]
 10618:10618:	BOOK        Mason, M.T.; Salisbury, J.K., Jr.:  Robot hands and the mechanics of manipulation (1985)  [RISC]
 10619:10619:	PROCEEDINGS Leiserson, Charles E., (ed.):  Advanced research in VLSI (1986)  [RISC]
 10620:10620:	BOOK        Harvey, Brian:  Computer science LOGO style, vol. 2 projects, styles, and techniques (1986)  [RISC]
 10621:10621:	PROCEEDINGS hanafusa, Hideo; Inoue, Hirochika; (eds.):  Robotics research, the second international symposium (1986)  [RISC]
 10622:10622:	BOOK        Fujiwara, Hideo:  Logic testing and design for testability (1985)  [RISC]
 10623:10623:	PROCEEDINGS Faugeras, O.D.; Giralt, Georges:  Robotics research, the third international symposium (1986)  [RISC]
 10624:10624:	BOOK        Baird, H.S.:  Model-based image matching using location (1985)  [RISC]
 10625:10625:	BOOK        O'Donell, M.J.:  Equational logic as a programming language (1985)  [RISC]
 10626:10626:	BOOK        Kowalik, J.S. (ed.):  Parallel MIMD computation (1985)  [RISC]
 10627:10627:	BOOK        Salmon, Rod; Slater, Mel:  Computer graphics, systems and concepts (1987)  [RISC]
 10628:10628:	BOOK        Turski, W. M.; Maibaum, T.S.E.:  The specification of computer programs (1987)  [RISC]
 10629:10629:	BOOK        Belli, Fevzi:  Einfuehrung in die logische Programmierung mit PROLOG (1987)  [RISC]
 10630:10630:	BOOK        Sterling, Leon; Shapiro, Ehud:  The art of PROLOG (1986)  [RISC]
 10633:10633:	BOOK        Coxeter, H.S.M.:  Unvergaengliche Geometrie (1981)  [RISC]
 10634:10634:	BOOK        Morgan, A.:  Solving polynomial systems using continuation for engineering and scientific problems (1987)  [RISC]
 10656:10656:	BOOK        Farin, Gerald E.:  Geometric Modeling: algorithms and new trends (1987)  [RISC]
 10670:10670:	BOOK        Mirkowska, G.; Salwicki, A.:  Algorithmic logic (1987)  [RISC]
 10673:10673:	BOOK        Budd, T.:  A little Smalltalk (    )  [RISC]
 10697:10697:	BOOK        Gardan, Yvon:  Mathematics and CAD, vol. 1, numerical mthods for CAD (1986)  [RISC]
 10698:10698:	BOOK        Morecki, A.; Bianchi, G.; Kedzior, K.; (eds.):  RoManSY 6 (1987)  [RISC]
 10699:10699:	BOOK        Andre, F.; Herman, D.; Verjus, J.-P.:  Synchronization of parallel programs (1985)  [RISC]
 10700:10700:	BOOK        Raynal, M.:  Algorithms for mutual exclusion (1986)  [RISC]
 10950:10950:	BOOK        Gunzenhaeuser, R.; Boecker, H.-D.:  Prototypen benutzergerechter Computersysteme (1988)  [RISC]
 10952:10952:	BOOK        Schefe, P.:  Informatik, eine konstruktive Einfuehrung (1987)  [RISC]
 10953:10953:	BOOK        Barthel, G.; Hirzebruch, F.; Hoefer, T.:  Geradenkonfigurationen und algebraische Flaechen (1987)  [RISC]
 10954:10954:	BOOK        Schoening, U.:  Logik fuer Informatiker (1987)  [RISC]
 10955:10955:	BOOK        Boehm, W.; Gose, G.; Kahmann, J.:  Methoden der numerischen Mathematik (1985)  [RISC]
 10956:10956:	BOOK        Dimca, A.:  Topics on real and complex singularities (1987)  [RISC]
 10962:10962:	BOOK        Huckaba, J.A.:  Commutative rings with zero divisors (1988)  [RISC]
 10963:10963:	BOOK        Weihrauch, K.:  Computability (1987)  [RISC]
 10964:10964:	PROCEEDINGS Tinhofer, G.; Schmidt, G.:  Graph-theoretic concepts in computer science (1987)  [RISC]
 10965:10965:	PROCEEDINGS Dauchet, M.; Nivat, M. (eds.):  CAAP'88 (1988)  [RISC]
 10966:10966:	BOOK        Murota, K.:  Systems analysis by graphs and matroids (1987)  [RISC]
 10967:10967:	BOOK        Sedgewick, R.:  Algorithms (1988)  [RISC]
 10968:10968:	BOOK        Hanus, M.G.:  Problemloesen mit prolog (1987)  [RISC]
 10969:10969:	BOOK        Ranky, P.G.; Ho, C.Y.:  Robot modelling (1985)  [RISC]
 10970:10970:	BOOK        Holland, G.:  Problemloesen mit micro-Prolog (1986)  [RISC]
 10971:10971:	BOOK        Rogers, D.F.; Earnshaw, R.A.:  techniques for computer graphics (1987)  [RISC]
 10972:10972:	PROCEEDINGS Lescanne, P. (ed.):  Rewriting techniques and applications (1987)  [RISC]
 10973:10973:	PROCEEDINGS Zilli, M. Venturini (ed.):  Mathematical models for the semantics of parallelism (1987)  [RISC]
 10974:10974:	BOOK        Barsky, B.A.:  Computer graphics abd geometric modeling using beta-splines (1988)  [RISC]
 10979:10979:	BOOK        Sommerhalder, R.; van Westrhenen, S.C.:  The theory of computability (1988)  [RISC]
 10980:10980:	BOOK        Maes, P.; Nardi, D. (eds.):  Meta-level architectures and reflection (1988)  [RISC]
 10981:10981:	BOOK        Mendelson, E.:  Algebraic and geometric combinatorics (1982)  [RISC]
 10982:10982:	BOOK        Gruber, P.M.; Lekkerkerker, C.G.:  Geometry of numbers (1987)  [RISC]
 10983:10983:	BOOK        Hunt, V.D.:  Robotics sourcebook (1988)  [RISC]
 10985:10985:	PROCEEDINGS Ottmann, T. (ed.):  Automata, languages and programming (1987)  [RISC]
 10986:10986:	PROCEEDINGS Cori, R.; Wirsing, M. (eds.):  STACS 88 (1988)  [RISC]
 10987:10987:	PROCEEDINGS Kelemenova, A.; Kelemen, J. (eds.):  Trends, techniques and problems in theoretical computer science (1987)  [RISC]
 10988:10988:	PROCEEDINGS Ehrig, H.; Nagl, M.; Rozenberg, G.; Rosenfeld, A. (eds.):  Graph-grammars and their application to computer science (1987)  [RISC]
 10989:10989:	PROCEEDINGS Main, M.; Melton, A.; Mislove, M.; Schmidt, D.   (eds.):  Mathematical foundations of programming language semantics (1987)  [RISC]
 10990:10990:	PROCEEDINGS Boscarol, M.; Aiello, L. C.; Levi, G. (eds.):  Foundations of logic and functional programming (1987)  [RISC]
 10991:10991:	BOOK        Freytag, J.Ch.:  Translating relational queries into iterative programs (1987)  [RISC]
 10992:10992:	BOOK        Kernighan, B.W.; Plauger, P.J.:  Software tools (1976)  [RISC]
 10993:10993:	BOOK        Kernighan, B.W.; Plauger, P.J.:  the elements of programming style (1978)  [RISC]
 10994:10994:	PROCEEDINGS Albrecht, A.; Jung, H.; Mehlhorn, K. (eds.):  Parallel algorithms and architectures (1987)  [RISC]
 10995:10995:	PROCEEDINGS Wada, E. (ed.):  Logic programming '86 (1987)  [RISC]
 10996:10996:	PROCEEDINGS Jantke, K.P. (ed.):  Analogical and inductive inference (1987)  [RISC]
 10997:10997:	PROCEEDINGS Kahn, G. (ed.):  Functional programming languages and computer architecture (1987)  [RISC]
 10998:10998:	PROCEEDINGS Budach, L.; Bukharajev, R.G.; Lupanov, O.B. (eds.):  Fundamentals of computer theory (1987)  [RISC]
 10999:10999:	BOOK        Boerger, E. (ed.):  computation theory and logic (1987)  [RISC]
 11000:11000:	BOOK        Snyders, D.; Thayse, A.:  from logic design to logic programming (1987)  [RISC]
 11001:11001:	PROCEEDINGS Bouchon, B.; Yager, R.R. (eds.):  Uncertainty in knowledge-based systems (1987)  [RISC]
 11007:11007:	BOOK        Rooney, J.; Steadman, P.; (eds.):  principles of computer aided design (1987)  [RISC]
 11008:11008:	BOOK        Stone, H.W.:  kinematic modeling, identification, and control of robotic manipulators (1987)  [RISC]
 11009:11009:	BOOK        Woodcock, J.(ed.); Loomes, M.:  software engineering mathematics (1988)  [RISC]
 11011:11011:	BOOK        Gibbons, Alan:  algorithmic graph theory (1988)  [RISC]
 11012:11012:	BOOK        Schoenfeld, A.H.:  mathematical problem solving (1985)  [RISC]
 11013:11013:	BOOK        Barthels, R.H.; Beatty, J.C.; Barsky, B.A.:  An introduction to splines for use in computer graphics and geometric modeling (1987)  [RISC]
 11014:11014:	BOOK        Papadimitriou, Ch. H.; Steiglitz, K.:  combinatorial optimization (1982)  [RISC]
 11015:11015:	BOOK        Michalski, R.S.; Carbonell, J.G.; Mitchell, T.M.:  machine learning (1983)  [RISC]
 11016:11016:	BOOK        Fox, G.; Johnson, M.; Lyzenga, G.; et al.:  solving problems on concurrent processors, vol. 1 (1988)  [RISC]
 11023:11023:	BOOK        Qiulin, D.; Davies, B.J.:  surface engineering geometry for computer aided design and manufacture (1987)  [RISC]
 11024:11024:	BOOK        Gries, D.:  compiler construction for digital computers (1971)  [RISC]
 11031:11031:	BOOK        Atiyah, M.F.; MacDonald, I.G.:  introduction to commutative algebra (1969)  [RISC]
 11032:11032:	BOOK        Kernighan, B.W.; Ritchie, D.M.:  the c programming language (1988)  [RISC]
 11033:11033:	BOOK        Rubinstein, R.:  digital typography (1988)  [RISC]
 11043:11043:	BOOK        Yamaguchi, F.:  curves and surfaces in computer aided geometric design (1988)  [RISC]
 11044:11044:	BOOK        Bahrami, A.:  designing artificial intelligence based software (1988)  [RISC]
 11045:11045:	BOOK        Schauer, H.; Barta, G.:  Konzepte der Programmiersprachen (1986)  [RISC]
 11046:11046:	BOOK        Pang, G.K.H.; MacFarlane,A.G.J.:  an expert systems approach to computer-aided design of multivariable systems (1987)  [RISC]
 11047:11047:	BOOK        Cip system group:  the munich project CIP (1987)  [RISC]
 11066:11066:	BOOK        Adobe systems inc.:  postscript, Einfuehrung und Leitfaden (1988)  [RISC]
 11067:11067:	BOOK        Schrijver, A.:  theory of linear and integer programming (1987)  [RISC]
 11079:11079:	BOOK        Rydeheard, D.E.; Burstall, R.M.:  Computational category theory (1988)  [RISC]
 11080:11080:	BOOK        Dragalin, A.G.:  Mathematical intuitionism, introduction to proof theory (1987)  [RISC]
 11081:11081:	BOOK        Saridis, G.N. (ed.):  Advances in robotics, vol. 1, theory and applications (1985)  [RISC]
 11082:11082:	BOOK        Backhouse, R.C.:  program construction and verification (1986)  [RISC]
 11083:11083:	BOOK        Hoare, C.A.R.; Shepherdson, J.C. (eds.):  Mathematical logic and programming languages (1985)  [RISC]
 11087:11087:	BOOK        Chvatal, Vasek:  linear programming (1983)  [RISC]
 11093:11093:	BOOK        Jantzen, M.llis:  confluent string rewriting (1988)  [RISC]
 11094:11094:	BOOK        Keene, S.E.:  object-oriented programming in common lisp (1989)  [RISC]
 11095:11095:	BOOK        Harmon, P..llis; King, D.:  Expertensysteme in der Praxis (1989)  [RISC]
 11096:11096:	BOOK        Horowitz, Ellis; Sahni, Sartaj:  data structures in pascal (1984)  [RISC]
 11097:11097:	BOOK        Rome, E.; Uthmann, T.; Diederich, J.:  KI-workstations (1988)  [RISC]
 11106:11106:	BOOK        Reid, Miles:  undergraduate algebraic geometry (1988)  [RISC]
 11180:11180:	BOOK        Gardarin, G.; Valduriez, P.:  relational databases and knowledge bases (1989)  [RISC]
 11233:11233:	BOOK        Wolfram, St.:  Mathematica, A system for doing mathematics by computer (1988)  [RISC]
 11241:11241:	BOOK        Calingaert, P.:  program translation fundamentals (1987)  [RISC]
 11242:11242:	BOOK        Markov, A.A.; Nagorny, N.M.:  the theory of algorithms (1988)  [RISC]
 11243:11243:	BOOK        Tourlakis, G.J.:  computability (1984)  [RISC]
 11244:11244:	BOOK        Andrews, P.B.:  an introduction to mathematical logic and type theory: to truth through proof (1986)  [RISC]
 11249:11249:	PROCEEDINGS Aggarwal, A. (ed.):  compuational geometry 2nd annual symp. (1986)  [RISC]
 11250:11250:	BOOK        Kalmbach, G.:  diskreter Mathematik (1988)  [RISC]
 11251:11251:	BOOK        Turksen, I.B. (ed.):  computer integrated manufacturing (1988)  [RISC]
 11252:11252:	BOOK        Deubler, R.U.:  Kreuz und Quer (1987)  [RISC]
 11253:11253:	BOOK        Huebner, W.; Lux-Muelders, G.; Muth, M.:  Theseus (1987)  [RISC]
 11254:11254:	BOOK        Cordes, R.; et al.:  Prolog (1988)  [RISC]
 11255:11255:	BOOK        Puppe, F.:  Einf\"uhrung in Expertensysteme (1988)  [RISC]
 11256:11256:	PROCEEDINGS Ghione, F.; Peskine, C.; Sernesi, E. (eds.):  Space curves (1987)  [RISC]
 11257:11257:	PROCEEDINGS Noltemeier, H.:  computational geometry and its applications CG'88 (1988)  [RISC]
 11258:11258:	PROCEEDINGS Boerger, E.; et al.; (eds.):  CSL'87 1st workshop on computer science logic (1988)  [RISC]
 11259:11259:	BOOK        Bratko, I.; Lavrac, N.:  progress in machine learning (1987)  [RISC]
 11260:11260:	BOOK        Thayse, A.:  from standard logic to logic programming (1988)  [RISC]
 11261:11261:	BOOK        Amble, T.:  logic programming and knowledge engineering (1987)  [RISC]
 11262:11262:	BOOK        Goldberg, D.E.:  genetic algorithms in search, optimization, and machine learning (1989)  [RISC]
 11263:11263:	BOOK        Rogers, J.B.:  a prolog primer (1986)  [RISC]
 11264:11264:	BOOK        Maier, D.; Warren, D.S.:  computing with logic (1988)  [RISC]
 11265:11265:	BOOK        Ledgard, H.:  software engineering concepts (1987)  [RISC]
 11266:11266:	BOOK        Wilson, L.B.; Clark, R.G.:  comperative programming languages (1988)  [RISC]
 11267:11267:	BOOK        Bourne, S.R.:  the unix system (1983)  [RISC]
 11272:11272:	BOOK        Hunt, V.D.:  computer-integrated manufacturing-handbook (1989)  [RISC]
 11273:11273:	BOOK        Wang, P.:  an introduction to berkeley unix (1988)  [RISC]
 11276:11276:	PROCEEDINGS Bloch, Sp. J. (ed):  algebraic geometry (1987)  [RISC]
 11277:11277:	PROCEEDINGS Inada, N.; Soma, T. 9eds.):  2nd RIKEN int. symp. on symbolic and algebraic computation by computers (1985)  [RISC]
 11278:11278:	BOOK        Canny, J.:  the complexity of robot motion planning (1988)  [RISC]
 11287:11287:	BOOK        Knoerrer, H.; Schmidt, C.-G.; Schwermer, J.; Slodowy, P.:  Arithmetik und Geometrie Mathemaische Miniaturen 3 (1986)  [RISC]
 11288:11288:	BOOK        Davis, L.:  Genetic algorithms and simulated annealing (1988)  [RISC]
 11301:11301:	BOOK        Walther, H.; Naegler, G.:  Graphen, Algorithmen, Programme (1987)  [RISC]
 11312:11312:	BOOK        Akritas, A.G.:  elements of computer algebra with applications (1989)  [RISC]
 11313:11313:	BOOK        Jorden, Eleanor Harz:  beginning Japanese I (1963)  [RISC]
 11314:11314:	BOOK        Jorden, Eleanor Harz:  beginning Japanese II (1963)  [RISC]
 11334:11334:	BOOK        nn:  the world of learning 1989 (1989)  [RISC]
 11344:11344:	BOOK        Holland, J.H.; et al.:  Induction, processes of inference, learning and discovery (1989)  [RISC]
 11346:11346:	BOOK        Kongshi, Xu:  advances in chinese computer science (1988)  [RISC]
 11373:11373:	PROCEEDINGS Nn:  Computational geometry, 1987 (1987)  [RISC]
 11429:11429:	MANUAL      nn:  the brain simulator (1988)  [RISC]
 11459:11459:	BOOK        Anderson, J.A.; Rosenfeld, E.:  Neurocomputing, foundations of research (1988)  [RISC]
 11460:11460:	BOOK        Brodmann, M.:  Algebraische Geometrie (1989)  [RISC]
 11496:11496:	BOOK        Baase, S.:  computer algorithms, introduction to design and analysis (1988)  [RISC]
 11514:11514:	BOOK        Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.:  algebraische Spezifikation abstrakter Datentypen (1989)  [RISC]
 11560:11560:	PROCEEDINGS Tzafestas, S.; Eisinberg, A.; Carotenuto, L.:  system modeling and simulation (1989)  [RISC]
 11561:11561:	BOOK        Zhongwan, Lu:  mathematical logic for computer science (1989)  [RISC]
 11573:11573:	BOOK        Faltings, G.; Wuestholz, G.; et al.:  rational points (1992)  [RISC]
 11574:11574:	BOOK        Kauffels, F.-J.:  Alternativen der PC-Mainframe Kopplung (1987)  [RISC]
 11603:11603:	BOOK        Graham, R.L.; Knuth, D.E.; Patashnik, O.:  concrete mathematics (1989)  [RISC]
 11604:11604:	BOOK        Puppe, F.:  diagnostisches Problemloesen mit Expertensystemen (1987)  [RISC]
 11605:11605:	PROCEEDINGS Nossum, R.T. (ed.):  advanced topics in Artificial intelligence (1988)  [RISC]
 11606:11606:	PROCEEDINGS Meertens, L.G.L.T. (ed.):  program specification and transformation (1987)  [RISC]
 11607:11607:	BOOK        Morik, K. (ed.):  knowledge representation and organization in machine learning (1989)  [RISC]
 11608:11608:	BOOK        Buchanan, B.G.; Shortliffe, E.H.:  rule-based expert systems (1985)  [RISC]
 11609:11609:	BOOK        Chylla, P.; Hegering, H.-G.:  Ethernet-Lans Planung, Realisierung und Netz-Management (1988)  [RISC]
 11610:11610:	BOOK        Marquardt, R.; et al.:  Ethernet-Handbuch (1987)  [RISC]
 11611:11611:	PROCEEDINGS Cosnard, M.; Robert, Y.; Quinton, P.; Raynal, M (eds.):  parallel and distributed algorithms (1989)  [RISC]
 11612:11612:	PROCEEDINGS Dershowitz, N. (ed.):  rewriting techniques and applications (1989)  [RISC]
 11613:11613:	BOOK        Bobrow, D.G.:  qualitative reasoning about physical systems (1984)  [RISC]
 11614:11614:	PROCEEDINGS Sanella, D.; Tarlecki, A. (eds.):  recent trends in data type specification (1988)  [RISC]
 11615:11615:	PROCEEDINGS Grabowski, J.; Lescanne, P.; Wechler, W. (eds.):  algebraic and logic programming (1988)  [RISC]
 11616:11616:	BOOK        Guenther, O.:  efficient structures for geometric data management (1988)  [RISC]
 11715:11715:	BOOK        Della Dora, J.; Fitch, J.:  computer algebra and parallelism (1989)  [RISC]
 11739:11739:	BOOK        da Cruz, Frank:  Kermit, a file transfer protocol (1987)  [RISC]
 11744:11744:	BOOK        Davidson, J.:  an introduction to tcp/ip (1989)  [RISC]
 11746:11746:	BOOK        Futschek, G.:  Programmentwicklung und Verifikation (1989)  [RISC]
 11754:11754:	BOOK        Wegener, I.:  the complexity of boolean functions (1987)  [RISC]
 11755:11755:	BOOK        Doberkat, E.; Fox, D.:  Softwre prototyping mit SETL (1989)  [RISC]
 11756:11756:	BOOK        Drosten, K.:  Termersetzungsysteme (1989)  [RISC]
 11757:11757:	BOOK        Besnard, P.:  an introduction to default logic (1989)  [RISC]
 11758:11758:	BOOK        Mumford, David:  the red book of varieties and schemes (1988)  [RISC]
 11759:11759:	BOOK        Fehr, E.:  Semantik von Programmiersprachen (1989)  [RISC]
 11760:11760:	BOOK        Steiger, D.M.; Anderson, A.P.:  algorithm synthesis, a comparative study (1989)  [RISC]
 11761:11761:	PROCEEDINGS Broy, M. (ed.):  constructive methods in computing science (1988)  [RISC]
 11762:11762:	PROCEEDINGS van de Snepscheut, J.L.A.:  mathematics of program construction (1989)  [RISC]
 11763:11763:	PROCEEDINGS Davenport, J. (ed.):  EUROCAL'87 (1987)  [RISC]
 11764:11764:	PROCEEDINGS Koh, S.S.(ed.):  invariant theory (1985)  [RISC]
 11765:11765:	BOOK        Bourbaki, N.:  elements of mathematicsconstruction commutative algebra, chapt. 1-7 (1989)  [RISC]
 11766:11766:	BOOK        Bourbaki, N.:  elements of mathematicsconstruction Algebra I, chapt. 1-3 (1989)  [RISC]
 11775:11775:	BOOK        Troelstra , A.S.; Dalen, D. van:  constructivism in mathematics, vol. I (1988)  [RISC]
 11775:11775:	BOOK        Troelstra , A.S.; Dalen, D. van:  constructivism in mathematics, vol. II (1988)  [RISC]
 11776:11776:	BOOK        Troelstra:  construction in mathematics (    )  [RISC]
 11777:11777:	BOOK        Fulton, W.:  algebraic curves (1989)  [RISC]
 11778:11778:	BOOK        Takeuti, G.:  proof theory (1987)  [RISC]
 11779:11779:	BOOK        Harrington, L.A.; et al.:  Harvey Freidmans research on the foundations of mathematics (1985)  [RISC]
 11780:11780:	PROCEEDINGS Nn:  Logic colloquium 85 (1985)  [RISC]
 11781:11781:	BOOK        Chudnovsky, E.V.; Jenks, R.D.:  computer algebra (1989)  [RISC]
 11782:11782:	PROCEEDINGS Drake, F.R.; Truss, J.K.:  Logic colloquium 86 (1986)  [RISC]
 11783:11783:	BOOK        Richards, T.:  clausal form logic (1989)  [RISC]
 11784:11784:	PROCEEDINGS johnson, D.C.; lovis, F.:  informatics and the teaching of mathematics (1987)  [RISC]
 11797:11797:	BOOK        Ginsberg, M.L.:  readings in nonmonotonic reasoning (1987)  [RISC]
 11798:11798:	BOOK        Scheifler, R.W.; Gettys, J.; Newman, R.:  x window system, C library and protocol specification (1988)  [RISC]
 11799:11799:	BOOK        Girard, J.-Y.; Taylor, P.; Lafont, Y.:  proofs and types (1989)  [RISC]
 11800:11800:	BOOK        Lambek, J.; Scott, P.J.:  introduction to higher order categorical logic (1988)  [RISC]
 11801:11801:	BOOK        Ramsay, A.:  foraml methods in artifitial intelligence (1989)  [RISC]
 11802:11802:	BOOK        Mortimer, H.:  the logic of induction (1988)  [RISC]
 11803:11803:	BOOK        Spivey, J.M.:  understanding Z (1989)  [RISC]
 11804:11804:	BOOK        Blok, W.J.; don Pigozzi:  algebraizable logics (1989)  [RISC]
 11805:11805:	BOOK        Paull, M.C.:  algorithm design, a recursive transformation framework (1989)  [RISC]
 11806:11806:	BOOK        Michie, D.:  on machine intelligence (1986)  [RISC]
 11828:11828:	BOOK        Godwin, J.W.:  a theory ans system for nonmonotonic reasoning (1987)  [RISC]
 11836:11836:	BOOK        Coyne, R.:  logic models of design (1988)  [RISC]
 11837:11837:	BOOK        Thistlewaite, P.B.; McRobbie, M.A.; Meyer, R.K.:  automated theorem-proving in non-classical logics (1988)  [RISC]
 11838:11838:	BOOK        Herken, R.:  the universal turing machine, a half-century survey (1988)  [RISC]
 11848:11848:	BOOK        Hamilton, A.g.:  logic for mathematicians (1990)  [RISC]
 11849:11849:	BOOK        Young, M.:  the technical writer's handbook (1989)  [RISC]
 11850:11850:	BOOK        Hayes, J.E.; Michie, D.; Richards, J.:  machine intelligence 11 logic and acquisation of knowledge (1988)  [RISC]
 11851:11851:	BOOK        Segerberg, K.:  classical propositional operators an exercise in the foundations of logic (1982)  [RISC]
 11852:11852:	BOOK        Fitting, M.:  computability theory, semantics, and logic programming (1987)  [RISC]
 11853:11853:	BOOK        Smullyan, R.:  forever undecided a puzzle guide to Goedel (1987)  [RISC]
 11854:11854:	BOOK        Smith, G.C.:  the boole-de Morgan correspondence (1982)  [RISC]
 11855:11855:	BOOK        Barwise, J.; Etchemendy, J.:  the liar an essay on truth and circularity (1987)  [RISC]
 11856:11856:	BOOK        Bell, J.L.:  toposes and local set theories (1988)  [RISC]
 11889:11889:	BOOK        Fan, Ting-Jun:  describing and recognizing 3-D objects using surface properties (1990)  [RISC]
 11890:11890:	BOOK        Tangora, M.C. (ed.):  computers in geometry and topology (1989)  [RISC]
 11891:11891:	BOOK        Tangora, M.C. (ed.):  computers in algebra (1988)  [RISC]
 11906:11906:	BOOK        Goebel, M.; Mehl, M.:  Standards der graphischen Datenverarbeitung gks, gks-3d, phigs, cgi, cgm, x (1989)  [RISC]
 11907:11907:	BOOK        Hekmatpour, S.; Ince, D.:  software prototyping, formal methods and vdm (1988)  [RISC]
 11908:11908:	BOOK        Dromey, G.:  program derivation the development of programs from specifications (1989)  [RISC]
 11909:11909:	PROCEEDINGS Wirsing, M. (ed.):  formal description of programming concepts III Ebberup, Denmark, Aug. 1986 (1987)  [RISC]
 11919:11919:	BOOK        Welsh, D.:  codes and cryptography (1988)  [RISC]
 11920:11920:	BOOK        White, N. (ed.):  combinatorial geometries (1987)  [RISC]
 11921:11921:	BOOK        Meyer, B.:  object-oriented software construction (1988)  [RISC]
 11922:11922:	BOOK        Hennessy, M.:  algebraic theory of processes (1988)  [RISC]
 11923:11923:	BOOK        Hartmanis, J.:  computational complexity theory (1989)  [RISC]
 11924:11924:	BOOK        chang, Chin-Liang; Lee, R. Char-Tung:  symbolic logic and mechanical theorem proving (1973)  [RISC]
 11925:11925:	BOOK        Gibbins, P.:  Logic with prolog (1988)  [RISC]
 11926:11926:	BOOK        Weiskamp, K.; Flaming, B.:  the complete C++ primer (1990)  [RISC]
 11927:11927:	BOOK        Hockney, R.W.; Jesshope, C.R.:  parallel computers 2 (1988)  [RISC]
 11936:11936:	BOOK        Henson, M.C.:  elements of functional languages (1987)  [RISC]
 11940:11940:	BOOK        Akl, Selim, G.:  the design and analysis of parallel algorithms (1989)  [RISC]
 11950:11950:	MANUAL      Quercia, Valerie; O'Reilly, Tim:  X windows user's guide, vol. 3 (1990)  [RISC]
 11951:11951:	BOOK        Glaser, G.M.; et al.:  TCP/IP, Protokolle, Projektplanung, Realisierung (1990)  [RISC]
 11952:11952:	BOOK        Fitting, Melvin:  first-order logic and automated theorem proving (1990)  [RISC]
 11953:11953:	PROCEEDINGS Eckmiller, R.; Hartmann, G.; Hauske, G.; (eds.):  parallel processing in neural systems and computers (1990)  [RISC]
 11962:11962:	BOOK        Comer, D.:  internetworking with TCP/IP (1988)  [RISC]
 11963:11963:	BOOK        de Bakker, J.W.:  languages for parallel architectures (1989)  [RISC]
 11964:11964:	BOOK        Maeder, R.:  programming in mathematica (1990)  [RISC]
 11965:11965:	PROCEEDINGS de Bakker, J.W.; et al.:  linear time, branching time and partial order in logics and models for concurrency, 1988, Noordwijkerhout (1989)  [RISC]
 11966:11966:	BOOK        Arms, C. (ed.):  campus networking strategies (1988)  [RISC]
 11967:11967:	BOOK        McNamara, J.E.:  technical aspects of data communication (1988)  [RISC]
 11981:11981:	BOOK        Abeln, O.:  Die CA...-Techniken in der industriellen Praxis (1990)  [RISC]
 11986:11986:	BOOK        Haken, H.:  advanced synergetics instability hierarchies of self-organizing systems and devices (1987)  [RISC]
 11987:11987:	BOOK        Haken, H.:  information and self-organization (1988)  [RISC]
 11988:11988:	PROCEEDINGS Bergman, C.H.; Maddux, R.D.; Pigozzi, D.L. (eds):  algebraic logic and universal algebra in computer science (1988)  [RISC]
 11989:11989:	PROCEEDINGS de Bakker, J.W.; et al.; (eds.):  stepwise refinement of distributed systems (1989)  [RISC]
 11990:11990:	BOOK        Hoelldobler, St.:  foundations of equational logic programming (1989)  [RISC]
 11990:11990:	BOOK        Stark, W.R.:  lisp, lore, and logic an algebraic view of lisp (1990)  [RISC]
 11992:11992:	BOOK        Skiena, St.:  implementing discrete mathematics combinatorics and graph theory with mathematica (1990)  [RISC]
 11993:11993:	BOOK        Banerji, R.B.; (ed.):  formal techniques in artificial intelligence (1990)  [RISC]
 11994:11994:	BOOK        Silhol, R.:  real algebraic surfaces (1989)  [RISC]
 11995:11995:	BOOK        Haken, H.; (ed.):  computational systems -- natural and artificial (1987)  [RISC]
 11996:11996:	BOOK        Field, A.J.; Harrison, P.G.:  functioanl programming (1989)  [RISC]
 12039:12039:	BOOK        Wilf, H.S.:  generating functionology (1990)  [RISC]
 12040:12040:	BOOK        Treleaven, P.C.:  parallel computers object-oriented, functional, logic (1990)  [RISC]
 12041:12041:	BOOK        Gorlen, K.E.; Orlow, S.M.; Plexico, P.S.:  data abstraction and object-oriented programmin in c++ (1990)  [RISC]
 12042:12042:	BOOK        Taylor, St.:  parallel logic programming techniques (1989)  [RISC]
 12043:12043:	BOOK        Kelly, P.:  functional programming for loosely-coupled multiprocessors (1989)  [RISC]
 12044:12044:	BOOK        Bourbaki, N.:  Algebra II, chapters 4-7 (1990)  [RISC]
 12045:12045:	BOOK        Doolin, B.F.; Martin, C.F.:  introduction to differential geometry for engineers (1990)  [RISC]
 12046:12046:	BOOK        Brieskorn, E.; Knoerrer, H.:  plane algebraic curves (1986)  [RISC]
 12047:12047:	BOOK        Chudnovsky, D.V.; Jenks, R.D.:  computers in mathematics (1990)  [RISC]
 12048:12048:	BOOK        Brieskorn, E.:  lineare Algebra und analytische Geometrie, vol. I (1983)  [RISC]
 12049:12049:	BOOK        Brieskorn, E.:  lineare Algebra und analytische Geometrie, vol. II (1985)  [RISC]
 12065:12065:	BOOK        Gelernter, D.; Nicolau, A.; Padua, D. (eds.):  languages and compilers for parallel computing (1990)  [RISC]
 12105:12105:	BOOK        Traub, K.R.:  implementation of non-strict functional programming languages (1990)  [RISC]
 12105:12105:	BOOK        Traub, K.R.:  implementation of non-strict functional programming languages (1990)  [RISC]
 12280:12280:	BOOK        Abhyankar, S.S.:  algebraic geometry for scientists and engineers (1990)  [RISC]
 12281:12281:	PROCEEDINGS Nn:  4th int. conf. on functional programming languages and computer architecture, FPCA'89 (1989)  [RISC]
 12282:12282:	BOOK        Turner, D.A.:  research topics in functional programming (1990)  [RISC]
 12283:12283:	BOOK        Szymanski, B.K.:  parallel functional languages and compilers (1991)  [RISC]
 12306:12306:	BOOK        Gabbay, D.; Guenther, F.:  handbook of philosophical logic vol. iv, topics in the philosophy of language (1989)  [RISC]
 12319:12319:	BOOK        Mitchell, D.A.P.; et al.:  inside the transputer (1990)  [RISC]
 12320:12320:	BOOK        Harper, D.; Wooff, C.; Hodgkinson, D.:  a guide to  computer algebra systems (1991)  [RISC]
 12321:12321:	BOOK        Carriero, N.; Gelernter, D.:  how to write parallel programs a first course (1990)  [RISC]
 12367:12367:	BOOK        Kostrikin, A.I.; Shafarevich, I.R. (eds.):  algebra II noncommutative rings, identities (1991)  [RISC]
 12368:12368:	BOOK        Seroul, R.; Levy, S.:  a beginner's book of tex (1991)  [RISC]
 12369:12369:	PROCEEDINGS Davis, K.; Hughes, J.; (eds.):  functional programming Glasgow, 1989 (1989)  [RISC]
 12370:12370:	BOOK        Seaborn, James B.:  hypergeometric functions and their applications (1991)  [RISC]
 12371:12371:	BOOK        Partsch, H.A.:  specification and transformation of programs (1990)  [RISC]
 12372:12372:	PROCEEDINGS Deimel, L.E. (ed.):  software engineering education Pittsburgh, Pennsylvania, USA, 1990 (1990)  [RISC]
 12373:12373:	PROCEEDINGS Choffrut, C.; Lengauer, T.; (eds.):  STACS 90 Rouen, France, 1990 (1990)  [RISC]
 12374:12374:	BOOK        Davenport, J.H.:  on the integration of algebraic functions (1981)  [RISC]
 12375:12375:	BOOK        Watson, M.:  common lisp modules artificial intelligence in the era of neural networks (1991)  [RISC]
 12376:12376:	BOOK        Haken, H.:  synergetic computers and cognition (1990)  [RISC]
 12377:12377:	BOOK        Domany, E.; van Hemmen, J.L.; Schulten, K. (eds.):  models of neural networks (1991)  [RISC]
 12378:12378:	PROCEEDINGS Taylor, J.G.; Mannion, C.L.T. (eds.):  theory and applications of neural networks (190)  [RISC]
 12379:12379:	BOOK        Loogen, Rita:  parallel Implementierung funktionaler Programmiersprachen (1990)  [RISC]
 12380:12380:	BOOK        Jordanides, T.; Torby, B.:  expert systems and robotics (1991)  [RISC]
 12381:12381:	BOOK        Arikawa, S.; et al. (eds.):  algorithmic learning theory (1990)  [RISC]
 12382:12382:	BOOK        Char, B.; et al.:  Maple V (1991)  [RISC]
 12409:12409:	BOOK        Galton, Antony:  temporal logics and their applications (1987)  [RISC]
 12418:12418:	BOOK        Schreiner, A.T.; Friedman, G.:  Compiler bauen mit Unix Eine Einfuehrung (1985)  [RISC]
 12420:12420:	BOOK        Kochan, D.; Kuntsche, P.:  CAD/CAM Technik (1989)  [RISC]
 12421:12421:	BOOK        Koehle, Monika:  Neurale Netze (1990)  [RISC]
 12539:12539:	BOOK        Tanik, M.M.; chan, E.S.:  fundamentals of computing for software engineers (1991)  [RISC]
 12541:12541:	BOOK        Borwein, J.M.; Borwein, P.B.:  pi and the agm a study in analytic number theory and computational complexity (1987)  [RISC]
 12541:12541:	BOOK        Borwein, J.M.; Borwein, P.B.:  pi and the agm a study in analytic number theory and computational complexity (1987)  [RISC]
 12541:12541:	BOOK        Borwein, J.M.; Borwein, P.B.:  pi and the agm a study in analytic number theory and computational complexity (1987)  [RISC]
 12644:12644:	BOOK        Preparata, F.P.; Shamos, M.I.:  computational geometry an introduction (1985)  [RISC]
 12709:12709:	BOOK        Pethoe, A.; et al. (eds.):  computational number theory (1991)  [RISC]
 12709:12709:	BOOK        Pethoe, A.; et al. (eds.):  computational number theory (1991)  [RISC]
 12710:12710:	BOOK        Reischuk, K.R.:  Einfuehrung in die Komplexitaetstheorie (1990)  [RISC]
 12710:12710:	BOOK        Reischuk, K.R.:  Einfuehrung in die Komplexitaetstheorie (1990)  [RISC]
 12723:12723:	BOOK        MacLane, S.; Moerdijk, I.:  sheaves in geometry and logic a first introduction to topos theory (1992)  [RISC]
 12723:12723:	BOOK        MacLane, S.; Moerdijk, I.:  sheaves in geometry and logic a first introduction to topos theory (1992)  [RISC]
 12724:12724:	BOOK        Schmidt-Schauss, M.:  computational aspects of an order sorted logic with term declarations (1989)  [RISC]
 12724:12724:	BOOK        Schmidt-Schauss, M.:  computational aspects of an order sorted logic with term declarations (1989)  [RISC]
 12725:12725:	BOOK        Walker, R.J.:  algebraic curves (1992)  [RISC]
 12725:12725:	BOOK        Walker, R.J.:  algebraic curves (1992)  [RISC]
 12726:12726:	PROCEEDINGS Zippel, R.E. (ed.):  computer algebra and parallelism workshop, Ithaca, USA, May 1990 (1990)  [RISC]
 12726:12726:	PROCEEDINGS Zippel, R.E. (ed.):  computer algebra and parallelism workshop, Ithaca, USA, May 1990 (1990)  [RISC]
 12727:12727:	BOOK        Breu, R.:  algebraic specification techniques in object oriented programming environments (1991)  [RISC]
 12727:12727:	BOOK        Breu, R.:  algebraic specification techniques in object oriented programming environments (1991)  [RISC]
 12728:12728:	PROCEEDINGS Finkel, A.; Jantzen, M. (eds.):  STACS'92 9th symp. on theoretical aspects of computer science (1992)  [RISC]
 12728:12728:	PROCEEDINGS Finkel, A.; Jantzen, M. (eds.):  STACS'92 9th symp. on theoretical aspects of computer science (1992)  [RISC]
 12729:12729:	PROCEEDINGS Raoult, J.-C.:  CAAP'92 17th coll. on trees in algebra and programming (1992)  [RISC]
 12729:12729:	PROCEEDINGS Raoult, J.-C.:  CAAP'92 17th coll. on trees in algebra and programming (1992)  [RISC]
 12730:12730:	BOOK        Jacquet, J.-M.:  conclog: a methodological approach to concurrent logic programming (1991)  [RISC]
 12730:12730:	BOOK        Jacquet, J.-M.:  conclog: a methodological approach to concurrent logic programming (1991)  [RISC]
 12731:12731:	PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.):  VDM'91: formal software development methods vol 1: conference contributions (1991)  [RISC]
 12731:12731:	PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.):  VDM'91: formal software development methods vol 1: conference contributions (1991)  [RISC]
 12732:12732:	PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.):  VDM'91: formal software development methods vol 2: tutorials (1991)  [RISC]
 12732:12732:	PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.):  VDM'91: formal software development methods vol 2: tutorials (1991)  [RISC]
 12733:12733:	PROCEEDINGS Mattson, H.F.; et al.   (eds.):  AAECC-9: applied algebra, algebraic algorithms and error-correcting codes (1991)  [RISC]
 12733:12733:	PROCEEDINGS Mattson, H.F.; et al.   (eds.):  AAECC-9: applied algebra, algebraic algorithms and error-correcting codes (1991)  [RISC]
 12734:12734:	PROCEEDINGS Pitt, D.H.; et al. (eds.):  category theory and computer science Paris, France, Sept. 1991 (1991)  [RISC]
 12734:12734:	PROCEEDINGS Pitt, D.H.; et al. (eds.):  category theory and computer science Paris, France, Sept. 1991 (1991)  [RISC]
 12735:12735:	PROCEEDINGS Sakata, S. (ed.):  AAECC-8: applied algebra, algebraic algorithms and error-correcting codes (1990)  [RISC]
 12735:12735:	PROCEEDINGS Sakata, S. (ed.):  AAECC-8: applied algebra, algebraic algorithms and error-correcting codes (1990)  [RISC]
 12736:12736:	PROCEEDINGS Choffrut, C.; Jantzen, M. (eds.):  STACS'91 8th symp. on theoretical aspects of computer science (1991)  [RISC]
 12736:12736:	PROCEEDINGS Choffrut, C.; Jantzen, M. (eds.):  STACS'91 8th symp. on theoretical aspects of computer science (1991)  [RISC]
 12737:12737:	PROCEEDINGS Mora, T. (ed.):  AAECC-6: applied algebra, algebraic algorithms and error-correcting codes (1988)  [RISC]
 12737:12737:	PROCEEDINGS Mora, T. (ed.):  AAECC-6: applied algebra, algebraic algorithms and error-correcting codes (1988)  [RISC]
 12738:12738:	PROCEEDINGS Gottlob, G.; Nejdl, W. (eds.):  expert systems in engineering principles and applications (1990)  [RISC]
 12738:12738:	PROCEEDINGS Gottlob, G.; Nejdl, W. (eds.):  expert systems in engineering principles and applications (1990)  [RISC]
 12739:12739:	PROCEEDINGS Monien, B.; Cori, R. (eds.):  STACS'92 6th annual symp. on theoretical aspects of computer science (1989)  [RISC]
 12739:12739:	PROCEEDINGS Monien, B.; Cori, R. (eds.):  STACS'92 6th annual symp. on theoretical aspects of computer science (1989)  [RISC]
 12740:12740:	PROCEEDINGS Huguet, L.; Poli, A. (eds.):  AAECC-5: applied algebra, algebraic algorithms and error-correcting codes (1987)  [RISC]
 12740:12740:	PROCEEDINGS Huguet, L.; Poli, A. (eds.):  AAECC-5: applied algebra, algebraic algorithms and error-correcting codes (1987)  [RISC]
 12741:12741:	BOOK        Fejer, P.A.; Simovici, D.A.:  mathematical foundations of computer science vol. 1: sets, relations, and induction (1991)  [RISC]
 12741:12741:	BOOK        Fejer, P.A.; Simovici, D.A.:  mathematical foundations of computer science vol. 1: sets, relations, and induction (1991)  [RISC]
 12742:12742:	PROCEEDINGS Tarlecki, A. (ed.):  mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 (1991)  [RISC]
 12742:12742:	PROCEEDINGS Tarlecki, A. (ed.):  mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 (1991)  [RISC]
 12752:12752:	BOOK        Gelenbe, E.:  multiprocessor performance (1989)  [RISC]
 12752:12752:	BOOK        Gelenbe, E.:  multiprocessor performance (1989)  [RISC]
 12753:12753:	BOOK        Diller, A.:  compiling functional languages (1989)  [RISC]
 12753:12753:	BOOK        Diller, A.:  compiling functional languages (1989)  [RISC]
 12754:12754:	BOOK        Williams, S.A.:  programming models for parallel systems (1990)  [RISC]
 12754:12754:	BOOK        Williams, S.A.:  programming models for parallel systems (1990)  [RISC]
 12755:12755:	BOOK        Reeve, M.:  parallel processsing and artificial intelligence (1989)  [RISC]
 12755:12755:	BOOK        Reeve, M.:  parallel processsing and artificial intelligence (1989)  [RISC]
 12756:12756:	BOOK        Singer, M.:  differential equations and computer algebra (1991)  [RISC]
 12756:12756:	BOOK        Singer, M.:  differential equations and computer algebra (1991)  [RISC]
 12780:12780:	BOOK        Harris, Joe:  algebraic geometry a first course (1992)  [RISC]
 12780:12780:	BOOK        Harris, Joe:  algebraic geometry a first course (1992)  [RISC]
 12853:12853:	BOOK        Brackx, F.; Constales, D.:  computer algebra with lisp and reduce an introduction to computer-aided pure mathematics (1991)  [RISC]
 12853:12853:	BOOK        Brackx, F.; Constales, D.:  computer algebra with lisp and reduce an introduction to computer-aided pure mathematics (1991)  [RISC]
 12859:12859:	PROCEEDINGS Ebbinghaus, H.-D.;  et al.:  logic colloquium'87 1987, Granada, Spain (1987)  [RISC]
 12859:12859:	PROCEEDINGS Ebbinghaus, H.-D.;  et al.:  logic colloquium'87 1987, Granada, Spain (1987)  [RISC]
 12860:12860:	PROCEEDINGS Ferro, R.;  et al.:  logic colloquium'88 1988, Padova (1988)  [RISC]
 12860:12860:	PROCEEDINGS Ferro, R.;  et al.:  logic colloquium'88 1988, Padova (1988)  [RISC]
 12869:12869:	BOOK        Mora, T.; Traverso, C.:  effective methods in algebraic geometry (1991)  [RISC]
 12869:12869:	BOOK        Mora, T.; Traverso, C.:  effective methods in algebraic geometry (1991)  [RISC]
 12961:12961:	BOOK        Nemeth, E.; et al.:  unix system administration book (1989)  [RISC]
 13012:13012:	BOOK        Friedmann, A.:  mathematics in industrial problems part 4 (1991)  [RISC]
 13013:13013:	BOOK        Wloka, D.W.:  Robotersysteme, vol. 1 (1992)  [RISC]
 13014:13014:	BOOK        Wloka, D.W.:  Robotersysteme, vol. 2 (1992)  [RISC]
 13015:13015:	BOOK        Wloka, D.W.:  Robotersysteme, vol. 3 (1992)  [RISC]
 13016:13016:	BOOK        Strasser, W.; Seidel, H.-P. (eds.):  theory and practice of geometric modeling (1989)  [RISC]
 13017:13017:	PROCEEDINGS Pitt, D.H.; et al. (eds.):  category theory and computer science Edinburgh, UK, Sept. 1987 (1987)  [RISC]
 13018:13018:	BOOK        Lam, T.Y.:  a first course in noncommutative rings	 (1991)  [RISC]
 13019:13019:	BOOK        Becker, T.; WEispfenning, V.:  Groebner bases a computative approach to commutative algebra (1993)  [RISC]
 13032:13032:	BOOK        Geddes, K.O.; Czapor, S.R.; Labahn, G.:  algorithms for computer algebra (1993)  [RISC]
 13042:13042:	BOOK        Streicher, T.:  semantics of type theory correctness, completeness and independence results (1993)  [RISC]
 13043:13043:	BOOK        Loustau, J.; Dillon, M.:  linear geometry with computer graphics (1993)  [RISC]
 13044:13044:	BOOK        Perry, E.:  geoemtry axiomatic developments with problem solving (1992)  [RISC]
 13049:13049:	BOOK        Slomson, A.:  an introductin to combinatorics (1991)  [RISC]
 13058:13058:	BOOK        Choi, B.K.:  surface modeling for CAD/CAM  (1991)  [RISC]
 13086:13086:	BOOK        Cap, F.:  Wie loest man Randwertprobleme in Physik und Technik (1993)  [RISC]
 13087:13087:	BOOK        Hofbauer, D.; Kutsche, R.-D.:  Grundlagen des maschinellen Beweisens (1991)  [RISC]
 13088:13088 :	BOOK        Lutz, M.:  Untersuchungen zur Genauigkeit geometrischer Methoden in CAD-Systemen	 (1987)  [RISC]
 13098:13098 :	PROCEEDINGS Best, E. 9ed.):  concur'93 Hildesheim, Aug. 1993 (1993)  [RISC]
 13099:13099:	PROCEEDINGS Sommese, A.J. (eds.):  algebraic geometry L'Aquila, 1988 (1988)  [RISC]
 13100:13100 :	PROCEEDINGS Krieg-Brueckner, B. (ed.):  ESOP'92 REnnes, France, 1992 (1992)  [RISC]
 13101: 13101:	PROCEEDINGS Jones, N. (ed.):  ESOP'90 copenhagen, Denmark, 1990 (1990)  [RISC]
 13102: 13102:	PROCEEDINGS Hughes, J. (ed.):  functional programming languages and computer architecture Cambridge, USA, 1991 (1991)  [RISC]
 13103:13103:	BOOK        Vosselman, G.:  relational matching (1992)  [RISC]
 13104:13104 :	BOOK        Soare, R.I.:  recursively enumerable sets and degrees (1987)  [RISC]
 13105:13105 :	PROCEEDINGS Gianni, P. (ed.):  ISSAC'88 Rome, Italy, 1988 (1988)  [RISC]
 13106: 13106:	PROCEEDINGS Pearce, D. (eds.):  logics in AI Jelia'92, Berlin, Sept. 1992 (1992)  [RISC]
 13107:13107 :	BOOK        Kanatani, K.:  group-theoretic methods in image understanding (1990)  [RISC]
 13108:13108 :	BOOK        Cederberg, J.N:  a course in modern geometry (1991)  [RISC]
 13109:13109:	BOOK        Jones, C.B.; et al. :  mural: a formal development support system (1991)  [RISC]
 13110:13110:	BOOK        Yang, Kichoon:  complex algebraic geometry an introduction to curves and surfaces (1991)  [RISC]
 13112:13112:	BOOK        Kuga, M.:  Galois' dream group theory and differential equations (1993)  [RISC]
 13134:13134:	BOOK        Odifreddi, P.:  classical recursion theory (1992)  [RISC]
 13135:13135:	BOOK        BErge, C.:  hypergraphs (1989)  [RISC]
 13136: 13136:	BOOK        Youssin, B.:  newton polyhedra without coordinates newton polyhedra of ideals (1990)  [RISC]
 13137:13137:	BOOK        Cormen, T.H.; et al.:  introduction to algorithms (1991)  [RISC]
 13138:13138 :	BOOK        Hunt, K.H.:  kinematic geoemtry of mechanisms (1978)  [RISC]
 13139:13139 :	BOOK        Eberhart, R.C., et al.:  neural network PC tools (1990)  [RISC]
 13140: 13140:	PROCEEDINGS NN:  ISSAC'89 Portland, Oregon, USA, 1989 (1989)  [RISC]
 13141:13141:	BOOK        Zipple, R.:  effective polynomial computation (1993)  [RISC]
 13142:13142:	BOOK        King, J.P.:  the art of mathematics (1992)  [RISC]
 13143:13143:	BOOK        Sleep, M.R.; et al.:  term graph rewriting theory and practice (1993)  [RISC]
 13144:13144 :	BOOK        Juettner, G. et al.:  Entscheidungstabellen und wissensbasierte Systeme (1989)  [RISC]
 13145:13145:	BOOK        Vinberg, E.B. (ed.):  lie groups, their discrete subgroups, and invariant theory (1992)  [RISC]
 13146:13146:	BOOK        Lyche, T.; Schumaker, L.L.:  mathematical methods in computer aided geometric design (1989)  [RISC]
 13147: 13147:	PROCEEDINGS NN:  ISSAC'90 Tokyo, Japan, 1990 (1990)  [RISC]
 13148: 13148:	PROCEEDINGS Watt, S.M.:  ISSAC'91 Bonn, Germany, 1991 (1991)  [RISC]
 13149: 13149:	PROCEEDINGS Wang, P.S.:  ISSAC'92 Berkeley, CA, 1992 (1992)  [RISC]
 13150: 13150:	PROCEEDINGS Bronstein, M. (ed.):  ISSAC'93 Kiev, Ukraine, 1993 (1993)  [RISC]
 13151: 13151:	PROCEEDINGS NN:  1990 ACM conf. lisp and funct. programming Nice, Franzhce, 1990 (1990)  [RISC]
 13152: 13152:	PROCEEDINGS nn:  1992 lisp and functional programming SAn Francisco, USA, 1992 (1992)  [RISC]
 13153: 13153:	PROCEEDINGS Moriconi, M. (ed.):  internat. workshop on formal methods in software development Napa, California, 1990 (1990)  [RISC]
 13154:13154:	BOOK        Koepf, W.; et al.:  Mathematik mit DERIVE (1993)  [RISC]
 13155: 13155:	BOOK        Braden, B., et al.:  discovering calculus with mathematica	 (1992)  [RISC]
 13156:13156:	BOOK        Willisamson, S.G.:  combinatorics for computer science (1985)  [RISC]
 13161:13161 :	BOOK        Macconaill, P.A., et al.:  mechatronics and robotics vol. 1 (1991)  [RISC]
 13162:13162 :	BOOK        Froehlich, A.:  algebraic number theory (1991)  [RISC]
 13163:13163 :	BOOK        fomenko, A.T.:  variational problems in topology (1984)  [RISC]
 13164:13164 :	BOOK        Kronsjoe, L. et al.:  advances in parallel algorithms (1992)  [RISC]
 13165:13165:	BOOK        Dayhoff, J.E.:  neural network architectures	 (1990)  [RISC]
 13166: 13166:	BOOK        rose, M.T.:  the internet message closing the book with electronic mail (1993)  [RISC]
 13167:13167 :	BOOK        Kehoe, B.P.:  ZEN and the art of the internet  (1993)  [RISC]
 13168:13168 :	BOOK        Stender, J. (ed.):  parallel genetic algorithms: theory and applications (1993)  [RISC]
 13169:13169 :	BOOK        Martin, N.M.:  systems of logic (1989)  [RISC]
 13170:13170 :	BOOK        Malamud, C.:  exploring the internet a technical travelogue (1993)  [RISC]
 13171: 13171:	BOOK        Reif, J.:  synthesis of parallel algorithms	 (1993)  [RISC]
 13172:13172 :	BOOK        Plasmeijer, R., et al.:  fuctional programming and  parallel graph rewriting (1993)  [RISC]
 13187:13187:	BOOK        Curien, P.:  categorical combinators, sequential algorithms, and functional programming (1993)  [RISC]
 13188:13188:	BOOK        Adamek, J.; et al.:  abstract and concrete categories (1990)  [RISC]
 58301:58301:	BOOK        Barwise, Jon:  Admissible Sets and Structures An Approach to Definability Theory (1975)  [RISC]
 63821:63821:	BOOK        Barwise, Jon (Ed):  Handbook of Mathematical Logic (1977)  [RISC]