NUMBER: 12869 AUTHOR: Mora, T.; Traverso, C. TITLE: effective methods in algebraic geometry YEAR: 1991 NUMBER: 12859 AUTHOR: Ebbinghaus, H.-D.; et al. TITLE: logic colloquium'87 1987, Granada, Spain YEAR: 1987 NUMBER: 12860 AUTHOR: Ferro, R.; et al. TITLE: logic colloquium'88 1988, Padova YEAR: 1988 NUMBER: 12723 AUTHOR: MacLane, S.; Moerdijk, I. TITLE: sheaves in geometry and logic a first introduction to topos theory YEAR: 1992 NUMBER: 12853 AUTHOR: Brackx, F.; Constales, D. TITLE: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics YEAR: 1991 NUMBER: 12780 AUTHOR: Harris, Joe TITLE: algebraic geometry a first course YEAR: 1992 NUMBER: 12739 AUTHOR: Monien, B.; Cori, R. (eds.) TITLE: STACS'92 6th annual symp. on theoretical aspects of computer science YEAR: 1989 NUMBER: 12742 AUTHOR: Tarlecki, A. (ed.) TITLE: mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 YEAR: 1991 NUMBER: 12734 AUTHOR: Pitt, D.H.; et al. (eds.) TITLE: category theory and computer science Paris, France, Sept. 1991 YEAR: 1991 NUMBER: 12740 AUTHOR: Huguet, L.; Poli, A. (eds.) TITLE: AAECC-5: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1987 NUMBER: 12733 AUTHOR: Mattson, H.F.; et al. (eds.) TITLE: AAECC-9: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1991 NUMBER: 12735 AUTHOR: Sakata, S. (ed.) TITLE: AAECC-8: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1990 NUMBER: 12736 AUTHOR: Choffrut, C.; Jantzen, M. (eds.) TITLE: STACS'91 8th symp. on theoretical aspects of computer science YEAR: 1991 NUMBER: 12726 AUTHOR: Zippel, R.E. (ed.) TITLE: computer algebra and parallelism workshop, Ithaca, USA, May 1990 YEAR: 1990 NUMBER: 12741 AUTHOR: Fejer, P.A.; Simovici, D.A. TITLE: mathematical foundations of computer science vol. 1: sets, relations, and induction YEAR: 1991 NUMBER: 12725 AUTHOR: Walker, R.J. TITLE: algebraic curves YEAR: 1992 NUMBER: 12754 AUTHOR: Williams, S.A. TITLE: programming models for parallel systems YEAR: 1990 NUMBER: 12752 AUTHOR: Gelenbe, E. TITLE: multiprocessor performance YEAR: 1989 NUMBER: 12709 AUTHOR: Pethoe, A.; et al. (eds.) TITLE: computational number theory YEAR: 1991 NUMBER: 12724 AUTHOR: Schmidt-Schauss, M. TITLE: computational aspects of an order sorted logic with term declarations YEAR: 1989 NUMBER: 12756 AUTHOR: Singer, M. TITLE: differential equations and computer algebra YEAR: 1991 NUMBER: 12737 AUTHOR: Mora, T. (ed.) TITLE: AAECC-6: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1988 NUMBER: 12728 AUTHOR: Finkel, A.; Jantzen, M. (eds.) TITLE: STACS'92 9th symp. on theoretical aspects of computer science YEAR: 1992 NUMBER: 12755 AUTHOR: Reeve, M. TITLE: parallel processsing and artificial intelligence YEAR: 1989 NUMBER: 12753 AUTHOR: Diller, A. TITLE: compiling functional languages YEAR: 1989 NUMBER: 12738 AUTHOR: Gottlob, G.; Nejdl, W. (eds.) TITLE: expert systems in engineering principles and applications YEAR: 1990 NUMBER: 12732 AUTHOR: Prehn, S.; Toetenel, W.J. (eds.) TITLE: VDM'91: formal software development methods vol 2: tutorials YEAR: 1991 NUMBER: 12731 AUTHOR: Prehn, S.; Toetenel, W.J. (eds.) TITLE: VDM'91: formal software development methods vol 1: conference contributions YEAR: 1991 NUMBER: 12727 AUTHOR: Breu, R. TITLE: algebraic specification techniques in object oriented programming environments YEAR: 1991 NUMBER: 12730 AUTHOR: Jacquet, J.-M. TITLE: conclog: a methodological approach to concurrent logic programming YEAR: 1991 NUMBER: 12729 AUTHOR: Raoult, J.-C. TITLE: CAAP'92 17th coll. on trees in algebra and programming YEAR: 1992 NUMBER: 12710 AUTHOR: Reischuk, K.R. TITLE: Einfuehrung in die Komplexitaetstheorie YEAR: 1990 NUMBER: 57 AUTHOR: Pierce, Richard S. TITLE: Associate Algebras YEAR: 1982 NUMBER: 53 AUTHOR: Froehlicher, A.; Bucher, W. TITLE: Calculus in Vector Spaces without Norm YEAR: 1966 NUMBER: 52 AUTHOR: Oort, F. TITLE: Commutative group schemes YEAR: 1966 NUMBER: 49 AUTHOR: Hermes, Hans TITLE: Eine Termlogik mit Auswahloperator YEAR: 1965 NUMBER: 48 AUTHOR: Arkowitz, M.; Curjel, C. R. TITLE: Groups of Homotopy Classes YEAR: 1967 NUMBER: 42 AUTHOR: Protter, M. H.; Morrey, Charles B. Jr. TITLE: Intermediate Calculus YEAR: 1985 NUMBER: 60 AUTHOR: Halmos, Paul R. TITLE: A Hilbert Space Problem Book YEAR: 1982 NUMBER: 65 AUTHOR: Kfoury, A. J.; Moll, Robert N.; Arbib, Michael A. TITLE: A Programming Approach to Computability YEAR: 1982 NUMBER: 63 AUTHOR: Fischer, Emanuel TITLE: Intermediate Real Analysis YEAR: 1983 NUMBER: AUTHOR: Camion, Paul TITLE: Can a Fast Signature Scheme without Secret Key be Secure YEAR: 1985 NUMBER: 26 AUTHOR: Berg, Christian; Christensen, Jens Peter Reus; Ressel, Paul TITLE: Harmonic Analysis on Semigroups Theory of Positive Definite and Related Functions YEAR: 1984 NUMBER: 25 AUTHOR: Beardon, Alan F. TITLE: The Geometry of Discrete Groups YEAR: 1983 NUMBER: 24 AUTHOR: van Lint, J. H. TITLE: Introduction to Coding Theory YEAR: 1982 NUMBER: 28 AUTHOR: Bott, Raoul; Tu, Loring W. TITLE: Differential Forms in Algebraic Topology YEAR: 1982 NUMBER: 27 AUTHOR: Edwards, Harold M. TITLE: Galois Theory YEAR: 1984 NUMBER: 30 AUTHOR: Warner, Frank W. TITLE: Foundations of Differentiable Manifolds and Lie Groups YEAR: 1983 NUMBER: 29 AUTHOR: Forster, Otto TITLE: Lectures on Riemann Surfaces YEAR: 1981 NUMBER: 70 AUTHOR: Chow, Shui-Nee; Hale, Jack K. TITLE: Methods of Bifurcation Theory YEAR: 1982 NUMBER: AUTHOR: Bernutat-Buchmann, Ulrike; Ehlich, Hartmut; Schlo~er, Karl-Heinz TITLE: Proceedings of the 1982 Conferences on CYBER 200 in Bochum YEAR: 1982 NUMBER: 32 AUTHOR: Grove, L. C.; Benson, C. T. TITLE: Finite Reflection Groups YEAR: 1971 NUMBER: 31 AUTHOR: Brondsted, Arne TITLE: An Introduction to Convex Polytopes YEAR: 1983 NUMBER: 33 AUTHOR: Hartshorne, Robin TITLE: Algebraic Geometry YEAR: 1977 NUMBER: 34 AUTHOR: Ireland, Kenneth; Rosen, Michael TITLE: A Classical Introduction to Modern Number Theory YEAR: 1972 NUMBER: 35 AUTHOR: Varadarajan, V. S. TITLE: Lie Groups, Lie Algebras, and Their Representation YEAR: 1974 NUMBER: 36 AUTHOR: Kelly, Paul; Matthews, Gordon TITLE: The Non-Euclidean, Hyperbolic Plane Its Structure and Consistency YEAR: 1981 NUMBER: 67 AUTHOR: Kostrikin, A. I. TITLE: Introduction to Algebra YEAR: 1982 NUMBER: AUTHOR: Pichler Franz TITLE: Einige Anwendungen gerichteter Graphen in der mathematischen Systemtheorie YEAR: 1977 NUMBER: 64 AUTHOR: Silvester, Peter P. TITLE: The Unix System Guidebook An Introductory Guide for Serious Users YEAR: 1984 NUMBER: 9741 AUTHOR: Knuth, Donald E. TITLE: Fundamental Algorithms The Art of Computer Programming YEAR: 1973 NUMBER: 9751 AUTHOR: Banahan, M.; Rutter, A. TITLE: UNIX Lernen, verstehen, anwenden YEAR: 1984 NUMBER: 22 AUTHOR: Loeckx, Jacques; Sieber, Kurt TITLE: The Foundations of Program Verification YEAR: 1984 NUMBER: 61 AUTHOR: Naylor, Arch W.; Sell, George R. TITLE: Linear Operator Theory in Engineering and Science YEAR: 1982 NUMBER: 59 AUTHOR: Brown, Kenneth S. TITLE: Cohomology of Groups YEAR: 1982 NUMBER: 17 AUTHOR: Kulisch, U.; Ullrich, Ch. TITLE: Wissenschaftliches Rechnen und Programmiersprachen YEAR: 1982 NUMBER: 21 AUTHOR: Richter, M. M. TITLE: Logikkalkuele YEAR: 1978 NUMBER: 18 AUTHOR: Paul, W. J. TITLE: Komplexitaetstheorie YEAR: 1978 NUMBER: 20 AUTHOR: Schnorr, C. P. TITLE: Rekursive Funktionen und ihre Komplexitaet YEAR: 1974 NUMBER: 19 AUTHOR: Berstel, J. TITLE: Transductions and Context-Free Languages YEAR: 1979 NUMBER: 23 AUTHOR: Kemp, Rainer TITLE: Fundamentals of the Average Case Analysis of Particular Algorithms YEAR: 1984 NUMBER: 71 AUTHOR: Aubin, Thierry TITLE: Nonlinear Analysis on Manifolds. Monge-Ampere Equations YEAR: 1982 NUMBER: 62 AUTHOR: Pazy, A. TITLE: Semigroups of Linear Operators and Applications to Partial Differential Equations YEAR: 1983 NUMBER: 47 AUTHOR: Reisel, Robert B. TITLE: Elementary Theory of Metric Spaces YEAR: 1982 NUMBER: 46 AUTHOR: Naimark, M. A.; Stern, A. I. TITLE: Theory of Group Representations YEAR: 1982 NUMBER: 45 AUTHOR: Yosida, K. TITLE: Operational Calculus A Theory of Hyperfunctions YEAR: 1984 NUMBER: 51 AUTHOR: Diestel, Joseph TITLE: Sequences and Series in Banach Spaces YEAR: 1984 NUMBER: 50 AUTHOR: Lang, Serge TITLE: Introduction to Algebraic and Abelian Functions Second Edition YEAR: 1982 NUMBER: 9048 AUTHOR: Lawrence, J. Dennis TITLE: A Catalog of Special Plane Curves YEAR: 1972 NUMBER: 9488 AUTHOR: Danicic, I. TITLE: Lisp Programming YEAR: 1983 NUMBER: 58 AUTHOR: Broecker, Theodor; Dieck, Tammo tom TITLE: Representations of Compact Lie Groups YEAR: 1985 NUMBER: 55 AUTHOR: Jaenich, Klaus TITLE: Topology YEAR: 1984 NUMBER: 54 AUTHOR: Troutman, John L. TITLE: Variational Calculus with Elementary Convexity YEAR: 1983 NUMBER: 37 AUTHOR: Marchuk, G. I.; Shaidurov, V. V. TITLE: Difference Methods and Their Extrapolations YEAR: 1983 NUMBER: 56 AUTHOR: Martin, George E. TITLE: The Foundations of Geometry and the Non-Euclidean Plane YEAR: 1975 NUMBER: 69 AUTHOR: Smith, Larry TITLE: Linear Algebra Second Edition YEAR: 1984 NUMBER: 43 AUTHOR: Curtis, Morton L. TITLE: Matrix Groups Second Edition YEAR: 1984 NUMBER: 44 AUTHOR: Simmonds, James G. TITLE: A Brief on Tensor Analysis YEAR: 1982 NUMBER: 68 AUTHOR: Lidl, Rudolf; Pilz, Guenther TITLE: Applied Abstract Algebra YEAR: 1984 NUMBER: 66 AUTHOR: Washington, Lawrence C. TITLE: Introduction to Cyclotomic Fields YEAR: 1982 NUMBER: 41 AUTHOR: Ebbinghaus, H. D.; Flum, J.; Thomas, W. TITLE: Mathematical Logic YEAR: 1984 NUMBER: 40 AUTHOR: Macki, Jack; Strauss, Aaron TITLE: Introduction to Optimal Control Theory YEAR: 1982 NUMBER: 39 AUTHOR: Scharlau, W.; Opolka, Hans TITLE: From Fermat to Minkowski YEAR: 1985 NUMBER: 38 AUTHOR: Marchuk, G. I. TITLE: Methods of Numerical Mathematics Second Edition YEAR: 1982 NUMBER: 3297 AUTHOR: Hilbert, David TITLE: Grundlagen der Geometrie YEAR: 1968 NUMBER: 7779 AUTHOR: Hilbert, David; Cohn-Vossen, S. TITLE: Geometry and Imagination YEAR: 1952 NUMBER: AUTHOR: de Sainte-Catherine, M.; Viennot, G. TITLE: Combinatorial Interpretation of Integrals of Products of Hermite, Laguerre and Tchebycheff Polynomials YEAR: 1984 NUMBER: AUTHOR: Billaud, Michel TITLE: Une Formalisation des Structures de Controle de PROLOG YEAR: 1985 NUMBER: AUTHOR: Pittomvils, E.; Bruynooghe, M.; Willems, Y. D. TITLE: Towards a Real Time Garbage Collector for PROLOG YEAR: 1985 NUMBER: AUTHOR: Bruynooghe, M. TITLE: The Memory Management of PROLOG Implementations YEAR: 1980 NUMBER: AUTHOR: Muehlbacher, Joerg R. TITLE: Anschlu~ einer Mouse mit MODULA 2 unter DOS auf dem IBM-PC YEAR: 1985 NUMBER: AUTHOR: Gerth, Rob TITLE: Transition Logic - How to reason about temporal properties of programs in a compositional way YEAR: 1984 NUMBER: AUTHOR: Tappe, J.; van Leeuwen, J.; Wijshoff, H. A. G. TITLE: Parallel Memories, Periodic Skewing Schemes, and the Theory of Finite Abelian Groups YEAR: 1984 NUMBER: AUTHOR: van Leeuwen, J.; Wiedermann, J. TITLE: Array Processing Machines YEAR: 1984 NUMBER: AUTHOR: Novacek, Alfred TITLE: Die time stamp Methode zur Adressierung und Abspeicherung von erweiterbaren Matrizen YEAR: 1985 NUMBER: AUTHOR: Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H. TITLE: GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD Computation YEAR: 1984 NUMBER: AUTHOR: van Diepen, N. W. P.; de Roever, W. P. TITLE: Progam Derivation through Transformations The Evolution of List-copying Algorithms YEAR: 1985 NUMBER: AUTHOR: Benois, Michele; Sakarovitch, Jacques TITLE: The Complexity of Extended Word Problems YEAR: 1985 NUMBER: AUTHOR: File, Gilberto TITLE: Tree Automata and Logic Programs YEAR: 1984 NUMBER: AUTHOR: Berkling, K. J. TITLE: Reduction Languages for Reduction Machines YEAR: 1976 NUMBER: AUTHOR: Hommes, Ferdinand TITLE: The Internal Structure of the Reduction Machine YEAR: 1977 NUMBER: AUTHOR: Kluge, Werner E. TITLE: The Architecture of a Reduction Language Machine Hardware Model YEAR: 1979 NUMBER: AUTHOR: Zulehner, Walter TITLE: Homotopy Methods for Determining All Isolated Solutions of Polynomial Systems YEAR: 1984 NUMBER: AUTHOR: Conrads, D. TITLE: Elektronische Kommunikation 1984 Eine Uebersicht YEAR: 1984 NUMBER: AUTHOR: Char, Bruce W. TITLE: On Stieltjes' Continued Fraction for the Gamma Function YEAR: 1980 NUMBER: AUTHOR: de Roever Jr., Willem P. TITLE: The Quest for Compositionality Part 1: Concurrency based on Shared Variables YEAR: 1985 NUMBER: AUTHOR: Dershowitz, Nachum TITLE: Termination of Rewriting YEAR: 1985 NUMBER: AUTHOR: Dershowitz, Nachum; Plaisted, David A. TITLE: Logic Programming cum Applicative Programming YEAR: 1985 NUMBER: AUTHOR: Manna, Zohar; Pnueli, Amir TITLE: Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs YEAR: 1984 NUMBER: AUTHOR: Van Gelder, Allen TITLE: A Satisfiability Tester for Non-Clausal Propositional Calculus YEAR: 1984 NUMBER: AUTHOR: Anderson, Richard; Mayr, Ernst TITLE: Parallelism and Greedy Algorithms YEAR: 1984 NUMBER: AUTHOR: Kirousis, Lefteris; Papadimitriou, Christos H. TITLE: The Complexity of Recognizing Polyhedral Scenes YEAR: 1984 NUMBER: AUTHOR: Finger, J. J.; Genesereth, Michael R. TITLE: RESIDUE A Deductive Approach to Design Synthesis YEAR: 1985 NUMBER: AUTHOR: Helmbold, David; Mayr, Ernst TITLE: Fast Scheduling Algorithms on Parallel Computers YEAR: 1984 NUMBER: AUTHOR: Blicher, A. Peter TITLE: Edge Detection and Geometric Methods in Computer Vision YEAR: 1985 NUMBER: AUTHOR: Ollongren, Alexander TITLE: Handling Fourier-Expansions in PROLOG YEAR: 1986 NUMBER: AUTHOR: Mimno, Pieter TITLE: Bug-Free Systems A New Technology For Mathematically Provable Software YEAR: 1982 NUMBER: AUTHOR: Antoniou, Grigorios; Sperschneider, Volker TITLE: Incompleteness of Hoare's Calculus over Simple Datastructures YEAR: 1984 NUMBER: AUTHOR: Baaz, M. TITLE: YEAR: 1985 NUMBER: AUTHOR: Ham, Michael TITLE: Playing by the Rules YEAR: 1984 NUMBER: AUTHOR: TITLE: At home with the fifth generation family YEAR: 1984 NUMBER: AUTHOR: Richter, M. M. TITLE: Kuenstliche Intelligenz YEAR: NUMBER: AUTHOR: Biundo, Susanne; Zboray, Frantisek TITLE: Existence Proofs by Induction Using Methods of Program Synthesis YEAR: 1984 NUMBER: AUTHOR: Pavelle, Richard; Rothstein, Michael; Fitch, John TITLE: Computer-Algebra YEAR: 1982 NUMBER: AUTHOR: Murphy, T. TITLE: Artificial Intelligence Topics at IBM YEAR: 1984 NUMBER: AUTHOR: Hirsch, Abraham TITLE: Artificial Intelligence Comes of Age YEAR: 1984 NUMBER: AUTHOR: Orlowska, Ewa; Wierzchon, Slawomir TITLE: Mechanical Reasoning in Fuzzy Logic YEAR: 1985 NUMBER: AUTHOR: Tyrcha, Joanna TITLE: Knowledge Representation System in Medical Diagnosis YEAR: 1984 NUMBER: AUTHOR: Orlowska, Ewa TITLE: Reasoning about Database Constraints YEAR: 1984 NUMBER: AUTHOR: Orlowska, Ewa TITLE: Logic of Nondeterministic Information YEAR: 1984 NUMBER: AUTHOR: Orlowska, Ewa TITLE: Logic of Indiscernibility Relations YEAR: 1985 NUMBER: AUTHOR: Orlowska, Ewa TITLE: Semantical Analysis of Inductive Reasoning YEAR: 1984 NUMBER: AUTHOR: Orlowska, Ewa TITLE: The Montague Formalization of Natural Language YEAR: 1984 NUMBER: AUTHOR: Suraj, Zbigniew TITLE: On Certain Problem of Resource Allocation in Systems of Concurrent Programs YEAR: 1984 NUMBER: AUTHOR: Electronic Associates TITLE: SIMSTAR - Ein neues Multiprozessorkonzept zur Simulation schneller Systeme YEAR: 1985 NUMBER: AUTHOR: Hauffe, Heinz TITLE: Theory Dynamics and Knowledge Representation From an Information-Theoretical Point of View YEAR: 1984 NUMBER: AUTHOR: Berkling, K. J. TITLE: A Symmetric Complement to the Lambda Calculus YEAR: 1976 NUMBER: AUTHOR: Fehr, Elfriede TITLE: Dokumentation eines PROLOG-Interpreters implementiert in der funktionalen Sprache BRL YEAR: 1984 NUMBER: AUTHOR: Hommes, F.; Kluge, W.; Schluetter, H. TITLE: A Reduction Machine Architecture and Expression Oriented Editing YEAR: 1980 NUMBER: AUTHOR: Grigoriev, D. Yu.; Chistov, A. L. TITLE: Fast Decomposition of Polynomials into Irreducible ones and the Solution of Systems of Algebraic Equations YEAR: 1984 NUMBER: AUTHOR: Heinen, P.; Reusch, H.; Richter, M. M.; Wetter, Th. TITLE: Formal Description of Objects, Processes, and Levels of Expert Reasoning YEAR: 1985 NUMBER: AUTHOR: Haas, M.; Haux, R.; Ingenerf, J.; Repges, R. TITLE: EIDOS Ein Expertensystem zur Indexierung von Diagnosen am Beispiel SNOMED YEAR: 1985 NUMBER: AUTHOR: Baaz, M. TITLE: Laenge von Beweisen: Allsaetze und Einzelfaelle YEAR: 1985 NUMBER: AUTHOR: Hsiang, J. TITLE: YEAR: 1985 NUMBER: AUTHOR: Hsiang, J. TITLE: YEAR: 1985 NUMBER: AUTHOR: Knapp, Hans TITLE: Angewandte Mathematik Qualitative Theorie gewoehnlicher Differentialgleichungen YEAR: 1985 NUMBER: AUTHOR: Kaplan, S. TITLE: Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence YEAR: 1984 NUMBER: AUTHOR: Manna, Zohar; Waldinger, Richard TITLE: Special relations in theorem proving YEAR: 1985 NUMBER: AUTHOR: Manna, Zohar; Waldinger, Richard TITLE: The Origin of the Binary-Search Paradigm YEAR: 1985 NUMBER: AUTHOR: Manna, Zohar; Waldinger, Richard TITLE: Special Relations in Automated Deduction YEAR: 1985 NUMBER: AUTHOR: Courcelle, B. TITLE: Equivalences and Transformations of Regular Systems, Applications to Recursive Program Schemes and Grammars YEAR: 1984 NUMBER: AUTHOR: Malachi, Yonathan; Manna, Zohar; Waldinger, Richard TITLE: TABLOG: The Deductive-Tableau Programming Language YEAR: 1984 NUMBER: AUTHOR: Robinson, Lawrence; Roubine, Olivier TITLE: SPECIAL - A Specification and Assertion Language YEAR: 1977 NUMBER: AUTHOR: Roubine, Olivier; Robinson, Lawrence TITLE: SPECIAL - Reference Manual YEAR: 1977 NUMBER: AUTHOR: Strassen, Volker TITLE: Algebraische Berechnungskomplexitaet YEAR: 1984 NUMBER: AUTHOR: Kuske, E.; Lawitzky, G. TITLE: Generation of PLAs in Dynamic CMOS Technology YEAR: 1985 NUMBER: AUTHOR: Duzy, P.; de Marino, R.; Oechslein, H.; Schallenberger, B. TITLE: The Basecell Generator - A New Approach for VLSI Layout Generation YEAR: 1985 NUMBER: AUTHOR: Mueller, B.; Wallstab, S..; Endri~, H. TITLE: The Chipgenerator Concept - A New Approach to Full Custom CMOS IC Design YEAR: 1985 NUMBER: AUTHOR: Matsumoto, Tsutomu; Imai, Hideki; Harashima, Hiroshi; Miyakawa, Hiroshi TITLE: A Cryptographically Useful Theorem on the Connection between Uni and Multivariate Polynomials YEAR: 1985 NUMBER: AUTHOR: Chistov, A. L.; Grigoryev, D. Yu. TITLE: Polynomial-time Factoring of the Multivariable Polynomials over Global Field YEAR: 1982 NUMBER: AUTHOR: Bast, H. TITLE: TR: "Taschenrechner" fuer Resolution PROOF: Automatischer Beweiser durch 1-Resolution YEAR: 1985 NUMBER: AUTHOR: Sakata, Shojiro TITLE: Linear recurrent arrays YEAR: 1985 NUMBER: AUTHOR: Manna, Zohar; Waldinger, Richard TITLE: A Deductive Approach to Program Synthesis YEAR: 1980 NUMBER: AUTHOR: Murray, Neil V.; Rosenthal, Erik TITLE: On Deleting Links in Semantic Graphs YEAR: 1985 NUMBER: AUTHOR: Murray, Neil V.; Rosenthal, Erik TITLE: Semantic Graphs II YEAR: 1985 NUMBER: AUTHOR: Bellia, M.; Levi, G.; Martelli, M. TITLE: Relational and Functional Languages in Logic Programming YEAR: 1984 NUMBER: AUTHOR: Schluetter, Heinz TITLE: Introduction to the Reduction Machine Simulator YEAR: 1983 NUMBER: AUTHOR: Spreen, Heinz-Dieter TITLE: Rekursionstheorie auf Teilmengen partieller Funktionen YEAR: 1985 NUMBER: AUTHOR: Campbell, J. A. TITLE: Symbolic Computing and Program Verification YEAR: 1985 NUMBER: AUTHOR: Barber, Eric Ole TITLE: Expert Systems Survey YEAR: 1984 NUMBER: AUTHOR: Robbiano, Lorenzo TITLE: On the Theory of Graded Structures YEAR: 1985 NUMBER: AUTHOR: Parikh, R. J. TITLE: Some Results on the Length of Proofs YEAR: 1973 NUMBER: AUTHOR: McClellan, D. T. TITLE: LISP for your Personal Computer YEAR: 1985 NUMBER: AUTHOR: Bibel, Wolfgang TITLE: A Deductive Solution for Plan Generation YEAR: 1985 NUMBER: AUTHOR: Bibel, Wolfgang TITLE: Predicative Programming Revisited YEAR: 1985 NUMBER: AUTHOR: Evans, Trevor TITLE: Universal Algebra and Euler's Officer Problem YEAR: 1983 NUMBER: AUTHOR: Electronic Associates TITLE: The Technology behind SIMSTAR TM, An all new Simulation Multiprocessor YEAR: 1984 NUMBER: AUTHOR: Ebert, J. (ed.) TITLE: Alternative Konzepte fuer Sprachen und Rechner YEAR: 1985 NUMBER: AUTHOR: Astensiano, E.; Mascari, G. F.; Reggio, G.; Wirsing, M. TITLE: On the Parametrized Algebraic Specification of Concurrent Systems YEAR: 1984 NUMBER: AUTHOR: Padawitz, Peter TITLE: Parameter Preserving Data Type Specifications YEAR: 1984 NUMBER: AUTHOR: Wirsing, Martin TITLE: Denotational Semantics of Algebraic Specification Languages YEAR: 1985 NUMBER: AUTHOR: Hussmann, Heinrich TITLE: Unification in Conditional-Equational Theories YEAR: 1985 NUMBER: AUTHOR: Padawitz, Peter TITLE: Towards a Proof Theory of Parameterized Specification YEAR: 1985 NUMBER: AUTHOR: Broy, Manfred TITLE: Algebraic Characterisation of Models for Lambda-Calculus YEAR: 1985 NUMBER: AUTHOR: Hennicker, Rolf; Wirsing, Martin TITLE: Observational Specification: A Birkhoff-Theorem YEAR: 1985 NUMBER: AUTHOR: Hussmann, Heinrich TITLE: Rapid Prototyping for Algebraic Specifications - RAP - System User's Manual YEAR: 1985 NUMBER: AUTHOR: Liskov, Barbara; Herlihy, Maurice; Gilbert, Lucy TITLE: Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing YEAR: 1984 NUMBER: AUTHOR: Schaefer, G.; Weihrauch, K. TITLE: Admissible Representations of Effective CPO-s YEAR: 1981 NUMBER: AUTHOR: Kreitz, Christoph; Weihrauch, Klaus TITLE: Compactness in Constructive Analysis Revisited YEAR: 1984 NUMBER: AUTHOR: Kreitz, Christoph; Weihrauch, Klaus TITLE: Towards a Theory of Representations YEAR: 1984 NUMBER: AUTHOR: Dettki, Hans Joachim; Schuster, Heide TITLE: Rekursionstheorie auf F YEAR: 1983 NUMBER: AUTHOR: Weihrauch, Klaus; Kreitz, Christoph TITLE: Representations of the Real Numbers and of the Open Subsets of the Set of Real Numbers YEAR: 1984 NUMBER: AUTHOR: Kreitz, Christoph; Weihrauch, Klaus TITLE: A Unified Approach to Constructive and Recursive Analysis YEAR: 1984 NUMBER: AUTHOR: Kreitz, Christoph TITLE: Theorie der Darstellungen und ihre Anwendungen in der konstruktiven Analysis YEAR: 1984 NUMBER: AUTHOR: Kreitz, Christoph TITLE: Zulaessige CPO's ein Entwurf fuer ein allgemeines Berechenbarkeitskonzept YEAR: 1982 NUMBER: AUTHOR: Wierzchon, Slawomir TITLE: Decision-making with upper and lower probabilities YEAR: 1984 NUMBER: AUTHOR: Hauffe, Heinz TITLE: Informationsstrukturen moeglicher Welten oder Die Rolle des Redundanzbegriffs in der Theorie der semantischen Information YEAR: 1981 NUMBER: AUTHOR: Janson, Philippe A. TITLE: Operating Systems Structures and Mechanisms YEAR: 1985 NUMBER: AUTHOR: Godfrey, M. D.; Hendry, D. F.; Hermans, H. J.; Hessenberg, R. K. TITLE: Machine-independent Organic Software Tools (MINT) YEAR: 1985 NUMBER: AUTHOR: Snyder, Lawrence (ed.); Jamieson, Leah H.; Gannon, Dennis B.; Siegel, Howard Jay TITLE: Algorithmically Specialized Parallel Computers YEAR: 1985 NUMBER: AUTHOR: Coelho, Helder TITLE: Logic Programming and Prolog Bibliography YEAR: 1985 NUMBER: 76 AUTHOR: Muehlbacher, Joerg (ed.) TITLE: Mikroelektronik fuer den Menschen, Band 1 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin YEAR: 1985 NUMBER: 77 AUTHOR: Muehlbacher, Joerg (ed.) TITLE: Mikroelektronik fuer den Menschen, Band 2 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin YEAR: 1985 NUMBER: AUTHOR: Stoyan, Herbert TITLE: Formelmanipulation - Computeralgebra Systeme, Anwendungen, Algorithmen YEAR: NUMBER: 9789 AUTHOR: Brady, J. M. (ed.) TITLE: Computer Vision YEAR: 1981 NUMBER: 9791 AUTHOR: Roukens, J. (ed.); Renuart, J. F. TITLE: ESPRIT '84 Status Report of Ongoing Work YEAR: 1985 NUMBER: 9857 AUTHOR: Korf, Richard E. TITLE: Learning to Solve Problems by Searching for Macro-Operators YEAR: 1985 NUMBER: 9858 AUTHOR: Leighton, Frank Thomson TITLE: Complexity Issues in VLSI Optimal Layouts for the Shuffle-Exchange Graph and Other Networks YEAR: 1983 NUMBER: 9813 AUTHOR: Troelstra, A. S. (ed.); Van Dalen, D. TITLE: The L.E.J. Brouwer Centenary Symposium YEAR: 1982 NUMBER: 9817 AUTHOR: Van Dalen, D.; Lascar, D.; Smiley, T. J. TITLE: Logic Colloquium '80 YEAR: 1982 NUMBER: 9830 AUTHOR: Greco, S.; Strano, R. TITLE: Complete Intersections YEAR: 1984 NUMBER: 9799 AUTHOR: Krueger, Myron W. TITLE: Artificial Reality YEAR: 1983 NUMBER: 9790 AUTHOR: Pearl, J. (ed.) TITLE: Search and Heuristics YEAR: 1983 NUMBER: 9834 AUTHOR: Arbarello, E.; Cornalba, M.; Griffiths, P. A.; Harris, J. TITLE: Geometry of Algebraic Curves Volume I YEAR: 1985 NUMBER: 9818 AUTHOR: Shapiro, S. (ed.) TITLE: Intensional Mathematics YEAR: 1985 NUMBER: 9782 AUTHOR: Angell, I. O. TITLE: Advanced Graphics with the IBM Personal Computer YEAR: 1985 NUMBER: 9870 AUTHOR: Wegner, Peter (ed.) TITLE: Research Directions in Software Technology YEAR: 1979 NUMBER: 198 AUTHOR: Bramer, Max; Bramer, Dawn TITLE: The Fifth Generation An Annotated Bibliography YEAR: 1984 NUMBER: 9852 AUTHOR: Haugeland, John (ed.) TITLE: Mind Design Philosophy - Psychology - Artificial Intelligence YEAR: 1981 NUMBER: 9862 AUTHOR: Moreau, R. TITLE: The Computer Comes of Age The People, the Hardware, and the Software YEAR: 1984 NUMBER: 9861 AUTHOR: Meijer, Anton; Peeters, Paul TITLE: Computer network architectures YEAR: 1982 NUMBER: 9883 AUTHOR: Semple, J. G.; Roth, L. TITLE: Introduction to Algebraic Geometry YEAR: 1949 NUMBER: 9851 AUTHOR: Fisher, Alec TITLE: Formal Number Theory and Computability A Workbook YEAR: 1982 NUMBER: 9863 AUTHOR: Ohta, Yuichi TITLE: Knowledge-based Interpretation of Outdoor Natural Color Scenes YEAR: 1985 NUMBER: 9880 AUTHOR: Lloyd, J. W. TITLE: Foundations of Logic Programming YEAR: 1984 NUMBER: 9864 AUTHOR: Pylyshyn, Zenon W. TITLE: Computation and Cognition Toward a Foundation for Cognitive Science YEAR: 1984 NUMBER: AUTHOR: Jaeger, H. TITLE: Inverse Kinematics for Industrial Robots YEAR: 1985 NUMBER: 75 AUTHOR: Schinzinger, Robert; Yamamoto, Akira; Nambara, Minoru TITLE: Woerterbuch der deutschen und japanischen Sprache YEAR: 1980 NUMBER: 74 AUTHOR: Breitung, P. Eusebius TITLE: Deutsch-japanisches Woerterbuch YEAR: 1947 NUMBER: 9770 AUTHOR: Paul, Richard P. TITLE: Robot Manipulators: Mathematics, Programming, and Control The Computer Control of Robot Manipulators YEAR: 1981 NUMBER: 9820 AUTHOR: Dwivedi, Suren N. (ed.) TITLE: Robotics and Factories of the Future YEAR: 1984 NUMBER: 9844 AUTHOR: Brady, Michael (ed.); Paul, Richard (ed.) TITLE: Robotics Research The First International Symposium YEAR: 1984 NUMBER: AUTHOR: Hochschild, Peter H.; Mayr, Ernst W.; Siegel, Alan R. TITLE: Parallel Graph Algorithms YEAR: 1984 NUMBER: AUTHOR: Kornerup, Peter; Gregory, R. T. TITLE: Mapping Integers and Hensel Codes onto Farey Fractions YEAR: 1982 NUMBER: AUTHOR: Gregory, Robert Todd TITLE: The Use of Finite-Segment P-adic Arithmetic for Exact Computation YEAR: 1978 NUMBER: AUTHOR: Krishnamurthy, E. V.; Rao, T. Mahadeva; Subramanian, K. TITLE: Finite segment p-adic number system with applications to exact computation YEAR: 1974 NUMBER: AUTHOR: Krishnamurthy, E. V. TITLE: Matrix Processors Using p-adic Arithmetic for Exact Linear Computations YEAR: 1977 NUMBER: 51 AUTHOR: Deil, Thomas TITLE: Darstellungen und Berechenbarkeit reeller Zahlen YEAR: 1984 NUMBER: AUTHOR: Robbiano, Lorenzo TITLE: On the Theory of Graded Structures YEAR: 1985 NUMBER: AUTHOR: Davenport, James TITLE: Algebra for Computational Geometry YEAR: 1985 NUMBER: AUTHOR: Goldschlager, Leslie M. TITLE: A Computational Theory of Higher Brain Function YEAR: 1984 NUMBER: AUTHOR: Gregory, R. T. TITLE: Error-free Computation with Rational Numbers YEAR: 1981 NUMBER: 72 AUTHOR: Jouannaud, Jean-Pierre TITLE: Functional Programming Languages and Computer Architecture YEAR: 1985 NUMBER: AUTHOR: Metcalf, Michael TITLE: FORTRAN Optimization YEAR: 1985 NUMBER: AUTHOR: Arsac, Jacques TITLE: Foundations of Programming YEAR: 1985 NUMBER: 64 AUTHOR: Silvester, Peter P. TITLE: The Unix System Guidebook An Introductory Guide for Serious Users YEAR: 1984 NUMBER: AUTHOR: Bishop, Ron TITLE: Einfache Mikroprozessoren und der 6800 YEAR: 1979 NUMBER: AUTHOR: Allen, Larry W. TITLE: Design of a Kernel for Argus YEAR: 1985 NUMBER: AUTHOR: Weihl, William E. TITLE: Distributed Version Management for Read-Only Actions YEAR: 1985 NUMBER: AUTHOR: Boley, Harold TITLE: A Treatment of Collection Data as Constructor Algebras YEAR: 1984 NUMBER: AUTHOR: Brendel, W.; Nagl, M.; Weber, D. TITLE: Implementation of Sequential and Parallel Graph Rewriting Systems YEAR: NUMBER: AUTHOR: Amkreutz, Jan TITLE: Ein Graphenprozessor als Planungs- und Entwicklungsinstrument im Bauwesen YEAR: NUMBER: AUTHOR: Ottmann, Th.; Six, H. W.; Wood, D. TITLE: New Results in Balanced Search Trees YEAR: NUMBER: AUTHOR: Noltemeier, H. TITLE: Transitive Irreduzibilitaet YEAR: NUMBER: AUTHOR: Shoenfield, J. R. TITLE: Quantifier Elimination in Fields YEAR: 1977 NUMBER: AUTHOR: Blass, Andreas; Gurevich, Yuri TITLE: Equivalence Relations, Invariants, and Normal Forms YEAR: 1982 NUMBER: AUTHOR: Mehlhorn, K.; Preparata, F. P. TITLE: Area-time Optimal Division YEAR: 1985 NUMBER: AUTHOR: Mehlhorn, K.; Preparata, F. P.; Sarrafzadeh, M. TITLE: Channel Routing in Knock-Knee Mode: Simplified Algorithms and Proofs YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Conjugacy in Monoids with a Special Church-Rosser Presentation is Decidable YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems YEAR: 1984 NUMBER: AUTHOR: Bauer, G.; Otto, F. TITLE: Finite Complete Rewriting Systems and the Complexity of the Word Problem YEAR: 1984 NUMBER: AUTHOR: Miola, A. TITLE: Mathematics and Computer Science A Case Study: Algebraic Algorithms YEAR: 1984 NUMBER: AUTHOR: Miola, A.; Colagrossi, A. TITLE: Aritmetiche Esatte Basi Algebriche ed Algoritmi YEAR: NUMBER: AUTHOR: Miola, A. TITLE: Symbolic and Algebraic Manipulation Today: Systems, Algorithms, Applications YEAR: 1979 NUMBER: AUTHOR: Pavelle, Richard TITLE: MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences YEAR: 1985 NUMBER: AUTHOR: Lue, H.E.; Wang, P.S.P. TITLE: A Comment on A Fast Parallel Algorithm for Thinning Digital Pattern s YEAR: 1986 NUMBER: AUTHOR: Heiss, Hermann TITLE: Die explizite Loesung der kinematischen Gleichung fuer eine Klasse von Industrierobotern. YEAR: 1985 NUMBER: AUTHOR: Petri, C(arl) A(dam) TITLE: Concurrency theory. YEAR: 1986 NUMBER: AUTHOR: Fuss, H(ans) TITLE: A(synchronic) f(low) m(odel) g(enerator) for numerical simulations. YEAR: 1986 NUMBER: 9923 AUTHOR: Hodges, Andrew TITLE: Alan Turing: The enigma. YEAR: 1983 NUMBER: 9363 AUTHOR: Catell, R.G.G. TITLE: Formalization and Automatic Derivation of Code Generators YEAR: 1982 NUMBER: 4050 AUTHOR: Chang, C.C.; Keisler, H.J. TITLE: Model Theory YEAR: 1973 NUMBER: 4310 AUTHOR: Chang, Chin-Liang; Lee, Richard Char-Tung TITLE: Symbolic Logic and Mechanical Theorem Proving YEAR: 1973 NUMBER: 9803 AUTHOR: Charniak, Eugene; McDermott, Drew TITLE: Introduction to Artificial Intelligence YEAR: 1985 NUMBER: 8090 AUTHOR: Chellas, Brian F. TITLE: Moda Logic An Introduction YEAR: 1980 NUMBER: 9830 AUTHOR: Chong, C.T. TITLE: Techniques of Admissible Recursion Theory YEAR: 1984 NUMBER: 8473 AUTHOR: Chuaqui, Rolando Basim TITLE: Axiomaic Set Theory Impredicative Theories of Classes YEAR: 1981 NUMBER: 572 AUTHOR: Church, ALonzo TITLE: Introduction to Mathematical Logic YEAR: 1956 NUMBER: 9339 AUTHOR: Clark, K.L.; McCabe, F.G. TITLE: micro-PROLOG: Programming in Logic YEAR: 1984 NUMBER: 9423 AUTHOR: Clark, K.L. (Ed); Taernlund, S.-A. (Ed) TITLE: Logic Programming YEAR: 1982 NUMBER: 6497 AUTHOR: Coffman, E.G. (Ed) TITLE: Computer and Job-Shop Scheduling Theory YEAR: 1976 NUMBER: 4158 AUTHOR: Coffman, Edward G.; Denning, Peter J. TITLE: Operating Systems Theory YEAR: 1973 NUMBER: 8549 AUTHOR: Cohen, Donald N. TITLE: Knowledge Based Theorem Proving and Learning YEAR: 1981 NUMBER: 8534 AUTHOR: Clocksin, W.F.; Mellish, C.S. TITLE: Programming in PROLOG YEAR: 1981 NUMBER: 9266 AUTHOR: Cohen, Paul R. (Ed); Feigenbaum, Edward A. (Ed) TITLE: The Handbook of Artificial Intelligence Volume III YEAR: 1982 NUMBER: 9767 AUTHOR: Cohen, Paul R. TITLE: Heuristic Reasining about Uncertainty: An AI Approach YEAR: 1985 NUMBER: 8224 AUTHOR: Constable, Robert L.; O'Donnell, Michael J. TITLE: A Programming Logic with an Introduction to the PL/CV Verifier YEAR: 1978 NUMBER: 9551 AUTHOR: Constable, Robert L.; Johnson, S.D.; Eichenlaub, C.D. TITLE: An Introduction to the PL/CV2 Programming Logic YEAR: 1982 NUMBER: 4123 AUTHOR: Curry, Haskell B. TITLE: Formalist Philosophy of Mathematics YEAR: 1970 NUMBER: 043 AUTHOR: Curtis, Morton L. TITLE: Matrix Groups Second Edition YEAR: 1979 NUMBER: 7985 AUTHOR: Cutland, Nigel TITLE: Computability An Introduction to Recursive Function Theory YEAR: 1980 NUMBER: 6496 AUTHOR: Daigneault, Aubert (Ed) TITLE: Studies in Algebraic Logic Volume 9 YEAR: 1974 NUMBER: 9488 AUTHOR: Danicic, I. TITLE: LISP Programming YEAR: 1983 NUMBER: 9338 AUTHOR: Darlinton, J. (Ed); Henderson, P. (Ed); Turner, D.A. (Ed) TITLE: Functional Programming and its Applications An Advanced Course YEAR: 1982 NUMBER: 7347 AUTHOR: Davio, Marc; Deschamps, Jean-Pierre; Thayse, Andre TITLE: Discrete and Switching Functions YEAR: 1978 NUMBER: 9392 AUTHOR: Davis, Martin; Weyuker, Elaine J. TITLE: Computability, Complexity and Languages Foundamentals of Theoretical Computer Science YEAR: 1983 NUMBER: 9846 AUTHOR: Day, A. Colin TITLE: Text Processing YEAR: 1984 NUMBER: 9550 AUTHOR: Dehning, Waltraud; Essig, Heidrun; Maass, Sussanne TITLE: The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs YEAR: 1981 NUMBER: 3060 AUTHOR: Delong, Howard TITLE: A Profile of Mathematical Logic YEAR: 1970 NUMBER: 2211 AUTHOR: Dertouzos, Michael L. TITLE: Threshold Logic: A Synthesis Approach YEAR: 1965 NUMBER: 9847 AUTHOR: Devlin, Keith TITLE: Micro-Maths Mathematical Problems and Theorems to Consider and Solve on a Comp. YEAR: 1985 NUMBER: 9848 AUTHOR: Dew, P.M.; James, K.R. TITLE: Introduction to Numerical Computation in PASCAL YEAR: 1983 NUMBER: 5285 AUTHOR: Dickmann, M.A. TITLE: Large Infinitary Languages Model Theory YEAR: 1975 NUMBER: 7183 AUTHOR: Dijkstra, Edsger W. TITLE: A Discipline of Programming YEAR: 1976 NUMBER: 8948 AUTHOR: Dijkstra, Edsger W. TITLE: Selected Writings on Computing: A Personal Perspective YEAR: 1982 NUMBER: 9261 AUTHOR: Dobbs, David E.; Hanks, Robert TITLE: A Modern Course on the Theory of Equations YEAR: 1980 NUMBER: 9553 AUTHOR: Doberkat, Ernst-Erich TITLE: Stochastic Automata: Stability, Nondeterminism and Prediction YEAR: 1981 NUMBER: 7791 AUTHOR: Dodes, Irving Allen TITLE: Numerical Analysis for Computer Science YEAR: 1978 NUMBER: 7690 AUTHOR: Doerfler, W.; Fischer, R. TITLE: Beweisen im Mathematikunterricht YEAR: 1979 NUMBER: 8098 AUTHOR: Drake, F.R. (Ed); Wainer, S.S. (Ed) TITLE: Recursion Theory: Its Generalisations and Applications YEAR: 1980 NUMBER: 8029 AUTHOR: Dreben, Burton; Goldfarb, Warren D. TITLE: The Decision Problem Solvable Classes of Quantificational Formulas YEAR: 1979 NUMBER: 9750 AUTHOR: McDougall, Anne; Adams, Tony; Adams, Pauline TITLE: Einstieg in LOGO mit MIT-LOGO und Apple-LOGO YEAR: 1982 NUMBER: 9850 AUTHOR: Dyer, Michael George TITLE: In-Depth Understanding A Computer Model of Integrated Processing for Narrative Comprehensi YEAR: 1983 NUMBER: 1493 AUTHOR: Durst, Lincoln K. TITLE: The Grammar of Mathematics YEAR: 1969 NUMBER: 9849 AUTHOR: Dummett, Michael TITLE: Elements of Intuitionism YEAR: 1977 NUMBER: 9590 AUTHOR: Ebbinghaus, Heinz-Dieter TITLE: Einfuehrung in die Mengenlehre YEAR: 1979 NUMBER: 8007 AUTHOR: Edwards, R.E. TITLE: A Formal Background to Mathematics 1a Logic, Sets and Numbers YEAR: 1979 NUMBER: 4308 AUTHOR: Eilenberg, Samuel; Elgot, Calvin C. TITLE: Recursiveness YEAR: 1970 NUMBER: 9818 AUTHOR: Elithorn, Alick (Ed); Banerji, Ranan (Ed) TITLE: Artificial and Human Intelligence YEAR: 1984 NUMBER: 4307 AUTHOR: Enderton, Herbert E. TITLE: A Mathematical Introduction to Logic YEAR: 1972 NUMBER: 9160 AUTHOR: Engeler E. TITLE: Metamathematik der Elementarmathematik YEAR: 1983 NUMBER: 7948 AUTHOR: Epstein, Richard L. TITLE: Degrees of Unsolvability: Structures and Theory YEAR: 1979 NUMBER: 2807 AUTHOR: Felgner, Ulrich TITLE: Models of ZF-Set Theory YEAR: 1971 NUMBER: 8595 AUTHOR: Fitting, Melvin TITLE: Fundamentals of Generalized Recursion Theory YEAR: 1981 NUMBER: 9444 AUTHOR: Fitting, Melvin TITLE: Proof Methods for Modal and Intuitionistic Logics YEAR: 1983 NUMBER: 5585 AUTHOR: Foster, Caxton C. TITLE: Content Addressable Parallel Processors YEAR: 1976 NUMBER: 5974 AUTHOR: Fraenkel, Abraham A. TITLE: Abstract Set Theory Fourth Edition YEAR: 1976 NUMBER: 3406 AUTHOR: Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel TITLE: Foundations of Set Theory Second Edition YEAR: 1973 NUMBER: 4518 AUTHOR: Fraisse, Roland TITLE: Cours de Logique Mathematique Relation et formule logique YEAR: 1971 NUMBER: 4519 AUTHOR: Fraisse, Roland TITLE: Cours de Logique Mathematique Theorie des modeles YEAR: 1972 NUMBER: 3304 AUTHOR: Freudenthal, Hans TITLE: The Language of LOGIC YEAR: 1966 NUMBER: 9401 AUTHOR: Friedman, Daniel P. TITLE: The Little LISPer YEAR: 1974 NUMBER: 7954 AUTHOR: Flum, Joerg; Ziegler, Martin TITLE: Topological Model Theory YEAR: 1980 NUMBER: 7949 AUTHOR: Fenstad, Jens E. TITLE: General Recursion Theory An Axiomatic Approach YEAR: 1980 NUMBER: 7971 AUTHOR: Ferrante, Jeanne; Rackoff, Charles W. TITLE: The Computational Complexity of Logical Theories YEAR: 1979 NUMBER: 8311 AUTHOR: Ershov, A.P. TITLE: The British Lectures YEAR: 1980 NUMBER: 8837 AUTHOR: Ershov, A.P. (Ed); Knuth, D.E. (Ed) TITLE: Algorithms in Modern Mathematics and Computer Science YEAR: 1981 NUMBER: 9777 AUTHOR: Dunsmuir, M.R.M.; Davies, G.J. TITLE: Programming the UNIX System YEAR: 1985 NUMBER: 7155 AUTHOR: Drake, Frank R. TITLE: Set Theory An Introduction to Large Cardinals YEAR: 1974 NUMBER: 9845 AUTHOR: Cooke, D.J.; Bez, H.E. TITLE: Computer Mathematics YEAR: 1984 NUMBER: 4124 AUTHOR: Craig, William TITLE: Logic in Algebraic Form Three Languages and Theories YEAR: 1974 NUMBER: 4109 AUTHOR: Crossley, John N. TITLE: Constructive Order Types YEAR: 1969 NUMBER: 8909 AUTHOR: Csakany, B. (Ed); Rosenberg, I. (Ed) TITLE: Finite Algebra and Multiple-Valued Logic YEAR: 1981 NUMBER: 1215 AUTHOR: Curry, Haskell B. TITLE: Foundations of Mathematical Logic YEAR: 1963 NUMBER: 5977 AUTHOR: Curry, Haskell B.; Feys, Robert; Craig, William TITLE: Combinatory Logic Volume I YEAR: 1974 NUMBER: 9877 AUTHOR: Touretzky, David S. TITLE: LISP A Gentle Introduction to Symbolic Computation YEAR: 1984 NUMBER: 9486 AUTHOR: Stoyan, Herbert; Goerz, Guenter TITLE: LISP Eine Einfuehrung in die Programmierung YEAR: 1984 NUMBER: 9400 AUTHOR: Weissman, Clark TITLE: LISP 1.5 Primer YEAR: 1967 NUMBER: 9898 AUTHOR: Winston, Patrick Henry; Horn, Berthold Klaus Paul TITLE: LISP Second Edition YEAR: 1984 NUMBER: 4126 AUTHOR: Bar-Hillel, Yehoshua (Ed) TITLE: Mathemaical Logic and Foundations of Set Theory YEAR: 1970 NUMBER: AUTHOR: Bara, Bruno G. (Ed); Guida, Giovanni (Ed) TITLE: Computational Models of Natural Language Processing YEAR: 1984 NUMBER: 011 AUTHOR: Barendregt, H.P. TITLE: The Lambda Calculuss of Natural Language Processing Its Syntax and Semantics YEAR: 1984 NUMBER: 8401 AUTHOR: Barnes, Donald W.; Mack, John M. TITLE: An Algebraic Introduction to Mathematical Logic YEAR: 1975 NUMBER: 8493 AUTHOR: Barr, Avron (Ed); Feigenbaum, Edward A. (Ed) TITLE: The Handbook of Artificial Intelligence Volume I YEAR: 1981 NUMBER: 9265 AUTHOR: Barr, Avron (Ed); Feigenbaum, Edward A. (Ed) TITLE: The Handbook of Artificial Intelligence Volume II YEAR: 1982 NUMBER: 4516 AUTHOR: Bartee, Thomas C.; Lebow, Irwin I.; Reed, Irving S. TITLE: Theory and Design of Digital Machines. YEAR: 1962 NUMBER: 58301 AUTHOR: Barwise, Jon TITLE: Admissible Sets and Structures An Approach to Definability Theory YEAR: 1975 NUMBER: 63821 AUTHOR: Barwise, Jon (Ed) TITLE: Handbook of Mathematical Logic YEAR: 1977 NUMBER: 9840 AUTHOR: Barwise, Jon; Perry, John TITLE: Situations and Attitudes YEAR: 1983 NUMBER: 4120 AUTHOR: Basri, Saul A. TITLE: A Deductive Theory of Space and Time YEAR: 1966 NUMBER: 9804 AUTHOR: Batchelor, B.G. (Ed); Hill, D.A. (Ed); Hodgson, D.C. (Ed) TITLE: Automated Visual Inspection YEAR: 1985 NUMBER: 8259 AUTHOR: Bauer, F.L.; Woessner, H. TITLE: Algorithmische Sprache und Programmentwicklung YEAR: 1981 NUMBER: 9835 AUTHOR: CIP Language Group TITLE: The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L YEAR: 1985 NUMBER: 025 AUTHOR: Beardon, Alan F. TITLE: The Geometry of Discrete Groups YEAR: 1983 NUMBER: 6078 AUTHOR: Beck, Robert E. (Ed); Kolman, Bernard (Ed) TITLE: Computers in Nonassociative Rings and Algebras YEAR: 1977 NUMBER: 7470 AUTHOR: Beech, Graham (Ed) TITLE: Computer Assisted Learning in Science Education YEAR: 1978 NUMBER: 9829 AUTHOR: Beeson, Michael J. TITLE: Foundations of Constructive Mathematics YEAR: 1985 NUMBER: 6729 AUTHOR: Bell, J.L. TITLE: Boolean-Valued Models and Independence Proofs in Set Theory YEAR: 1977 NUMBER: 9648 AUTHOR: Bell, J.L.; Machover, M. TITLE: A Course in Mathematical Logic YEAR: 1977 NUMBER: 9244 AUTHOR: Berka, Karel; Kreiser, Lothar TITLE: Logik-Texte Kommentirte Auswahl zur Geschichte der modernen Logik YEAR: 1983 NUMBER: 484 AUTHOR: Bernays, Paul; Fraenkel, Abraham TITLE: Axiomatic Set Theory YEAR: 1968 NUMBER: 9805 AUTHOR: Bernolds, Thomas (Ed); Albers, Guenter (Ed) TITLE: Artificial Intelligence: Towards Practical Application YEAR: 1985 NUMBER: 8282 AUTHOR: Shapiro, Stuart C. TITLE: Techniques of Artificial Intelligence YEAR: 1979 NUMBER: 9502 AUTHOR: Allen, John TITLE: Anatomy of LISP YEAR: 1978 NUMBER: 6564 AUTHOR: Alspach, B. (Ed); Hell, P. (Ed); Miller, D.J. (Ed) TITLE: Annals of Discrete Mathematics Algorithmic Aspects of Combinatorics YEAR: 1978 NUMBER: 9691 AUTHOR: Alty, J.L.; Coombs, M.J. TITLE: Expert Systems Concepts and Examples YEAR: 1984 NUMBER: 8028 AUTHOR: Anderson, T. (Ed); Randell, B. (Ed) TITLE: Computing Systems Reliability YEAR: 1979 NUMBER: 8280 AUTHOR: Anderson, Robert B. TITLE: Proving Programs Correct YEAR: 1979 NUMBER: 4129 AUTHOR: Andrews, P.B. TITLE: A Transfinite Type Theory with Type Variables YEAR: 1965 NUMBER: 9780 AUTHOR: Angell, Ian O. TITLE: A Practical Introduction to Computer Graphics YEAR: 1981 NUMBER: 8332 AUTHOR: Arbib, Michael A.; Kfoury, A.J.; Moll, Robert N. TITLE: A Basis for Theoretical Computer Science YEAR: 1981 NUMBER: 8348 AUTHOR: Arsac, Jacques TITLE: La Construction de Programmes Structures YEAR: 1977 NUMBER: 9834 AUTHOR: Arbarello, E.; Cornalba, M.; Griffiths, P.A.; Harris, J. TITLE: Geometry of Algebraic Curves Volume 1 YEAR: 1985 NUMBER: 8087 AUTHOR: Arsenault, J.E. (Ed); Roberts, J.A. (Ed) TITLE: Reliability & Maintainability of Electronic Systems YEAR: 1980 NUMBER: 9594 AUTHOR: Asser, Guenter TITLE: Einfuehrung in die Mathematische Logik Teil 1: Aussagenkalkuel YEAR: 1983 NUMBER: 9595 AUTHOR: Asser, Guenter TITLE: Einfuehrung in die Mathematische Logik Teil 2: Praedikatenkalkuel der Ersten Stufe YEAR: 1976 NUMBER: 9596 AUTHOR: Asser, Guenter TITLE: Einfuehrung in die Mathematische Logik Teil 3: Praedikatenlogik Hoeherer Stufe YEAR: 1981 NUMBER: 9754 AUTHOR: Ausiello, G. (Ed); Lucertini, M. (Ed); Serafini, P. (Ed) TITLE: Algorithm Design for Computer System Design YEAR: 1984 NUMBER: 9580 AUTHOR: Ausiello, G. (Ed); Lucertini, M. (Ed) TITLE: Analysis and Design of Algorithms in Combinatorial Optimization YEAR: 1981 NUMBER: 071 AUTHOR: Aubin, Thierry TITLE: Nonlinear Analysis on Manifolds.s in Combinatorial Optimization Monge-Ampere Equations YEAR: 1982 NUMBER: 10173 AUTHOR: Brooks, Rodney A. TITLE: Programming in Common LISP YEAR: 1985 NUMBER: 9924 AUTHOR: Goldberg, Adele TITLE: Smalltalk-80, The Interactive Programming Environment YEAR: 1984 NUMBER: 10188 AUTHOR: Knuth, Donald E. TITLE: The TEXbook YEAR: 1986 NUMBER: 10248 AUTHOR: Knuth, Donald E. TITLE: The TEXbook YEAR: 1986 NUMBER: 10242 AUTHOR: Preparata, Franco P.; Shamos, Michael Ian TITLE: Computational Geometry. An introduction. YEAR: 1985 NUMBER: 10238 AUTHOR: Brauner, Heinrich TITLE: Lehrbuch der konstruktiven Geometrie. YEAR: 1986 NUMBER: 10233 AUTHOR: Peitgen, Heinz-Otto; Richter, Peter H. TITLE: The Beauty of fractals. YEAR: 1986 NUMBER: 10234 AUTHOR: Cox, Brad J. TITLE: Object-oriented Programming. An evolutionary approach. YEAR: 1986 NUMBER: 10235 AUTHOR: Demongeot, J. (Hrsg.); Goles, E. (Hrsg.); Tchuente, M. (Hrsg.) TITLE: Dynamical Systems and cellular automata. YEAR: 1985 NUMBER: 10255 AUTHOR: Rice, John R. (Hrsg.) TITLE: Mathematical Software. YEAR: 1971 NUMBER: 10254 AUTHOR: Giannesini, Francis; Kanoui, Henry; Pasero, Robert; van Caneghem, Michel TITLE: Prolog. YEAR: 1986 NUMBER: 10249 AUTHOR: Campbell, J.A.(Hrsg.) TITLE: Implementations of Prolog. YEAR: 1985 NUMBER: 10237 AUTHOR: Schiehlen, Werner TITLE: Technische Dynamik. Eine Einf. in die analyt. Mechanik u. ihre Anwe ndungen. YEAR: 1986 NUMBER: 10190 AUTHOR: Weste, Neil H.E.; Eshraghian, Kamran TITLE: Principles of Cmos VLSI Design YEAR: 1985 NUMBER: 10189 AUTHOR: Brownston, Lee; Farrell, Robert; Kant, Elaine; Martin, Nancy TITLE: Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming YEAR: 1985 NUMBER: 10187 AUTHOR: Tiberghien, J. (Ed) TITLE: New Computer Architectures YEAR: 1984 NUMBER: 10179 AUTHOR: Jackson, Peter TITLE: Introduction to Expert Systems YEAR: 1986 NUMBER: 10178 AUTHOR: Pavelle, Richard (Ed) TITLE: Application to Computer Algebra YEAR: 1985 NUMBER: 10059 AUTHOR: Riesel, Hans TITLE: Prime Numbers and Computer Methods for Factorization YEAR: 1985 NUMBER: 10058 AUTHOR: Cross, Mark; Moscardini, A.O. TITLE: Learning the Art of Mathematical Modelling YEAR: 1985 NUMBER: 10057 AUTHOR: Kernighan, Brian W.; Ritchie, Dennis M. TITLE: Programmieren in C YEAR: 1983 NUMBER: 10056 AUTHOR: Feuer, Alan R. TITLE: C-Puzzlebuch C-Programmier Training YEAR: 1985 NUMBER: 10055 AUTHOR: Balzert, Helmut (Ed) TITLE: Moderne Software-Entwicklungssysteme und -werkzeuge YEAR: 1985 NUMBER: 9925 AUTHOR: Goldberg, Adele; Robson, David TITLE: Smalltalk-80, The Language and its Implementation YEAR: 1983 NUMBER: 10054 AUTHOR: Waldschmidt, Helmut E.; Walter, Hermann K.-G. TITLE: Grundzuege der Informatik I YEAR: 1984 NUMBER: 10053 AUTHOR: Zima, Hans TITLE: Compilerbau II YEAR: 1983 NUMBER: 10052 AUTHOR: Zima, Hans TITLE: Compilerbau I YEAR: 1982 NUMBER: 10051 AUTHOR: Haase, Volkmar TITLE: Die Technik der neuen Medien YEAR: 1983 NUMBER: 10050 AUTHOR: Bruderer, Herbert E. TITLE: Nichtnumerische Datenverabeitung YEAR: 1980 NUMBER: 202 AUTHOR: Engeln-Muellges, Gisela; Reutter, Fritz TITLE: Formelsammlung zur Numerischen Mathematik mit Standard- FORTRAN 77-Programmen YEAR: 1986 NUMBER: 10076 AUTHOR: Ehrig, H.; Mahr, B. TITLE: Fundamentals of Algebraic Specification 1 YEAR: 1985 NUMBER: 10072 AUTHOR: Shirota, Yukari; Kunii, Tosiyasu L. TITLE: First Book on UNIX for Executives YEAR: 1984 NUMBER: 10070 AUTHOR: Hawkins, Cliffard (Ed); Sorgi, Maco (Ed) TITLE: Research How to Plan, Speak and Write About It YEAR: 1985 NUMBER: 10063 AUTHOR: Wulf, William A.; Shaw, Mary; Hilfinger, Paul N. TITLE: Fundaental Structures of Computer Science YEAR: 1981 NUMBER: 10064 AUTHOR: Quirk, W.J. (Ed) TITLE: Verification and Validation of Real-Time Software YEAR: 1985 NUMBER: 10062 AUTHOR: Saram, Hugh de (Ed) TITLE: Programming in micro-PROLOG YEAR: 1985 NUMBER: 10061 AUTHOR: Havey, Brian TITLE: Computer Science Logo Style Volume I, Intermediate Programming YEAR: 1985 NUMBER: 10074 AUTHOR: Siekmann, Joerg (Ed); Wrightson, Graham (Ed) TITLE: Automation of Reasoningtyle Classical Paers on Computational Logic 1957-1966 YEAR: 1983 NUMBER: 10073 AUTHOR: Stoyan, Herbert TITLE: Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation YEAR: 1984 NUMBER: 10104 AUTHOR: Lewis, Ted G. TITLE: PASCAL for the IBM Personal Computer YEAR: 1983 NUMBER: 10103 AUTHOR: Negoita, Constantin Virgil TITLE: Expert Systems and Fuzzy Systems YEAR: 1985 NUMBER: 10099 AUTHOR: Courcelle, B. (Ed) TITLE: Ninth Colloquium on Trees in Algebra and Programming YEAR: 1984 NUMBER: 10102 AUTHOR: Wagner, K.; Wechsung G. TITLE: Computational Complexity YEAR: 1986 NUMBER: 10097 AUTHOR: Hoae, C.A.R. TITLE: Communicating Sequential Processes YEAR: 1985 NUMBER: 10093 AUTHOR: Mansfield, Richard; Weitkamp, Galen TITLE: Recursive Aspects of Descriptive Set Theory YEAR: 1985 NUMBER: 10092 AUTHOR: Mendelsohn, Eric (Ed) TITLE: Algebraic and Geometric Combinatorics YEAR: 1982 NUMBER: 10088 AUTHOR: Reynolds, John C. TITLE: The Crat of Programming YEAR: 1981 NUMBER: 10087 AUTHOR: Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim TITLE: Automated Reasoning Introduction and Applicaions YEAR: 1984 NUMBER: 10086 AUTHOR: Craig, John J. TITLE: Introduction to Robotics Mechanics & Control YEAR: 1986 NUMBER: 10083 AUTHOR: Mehlhorn, Kurt TITLE: Multi-dimensional Searching and Computational Geometry YEAR: 1984 NUMBER: 10079 AUTHOR: ten Hagen, Paul J.W. TITLE: Eurographics Tutorials 83 YEAR: 1984 NUMBER: 10124 AUTHOR: Gersting, Judith L. TITLE: Mathematical Structures for Computer Science YEAR: 1982 NUMBER: 10089 AUTHOR: Lewis, Harry R.; Papadimitriou, Christos H. TITLE: Elements of the Theory of Computation YEAR: 1981 NUMBER: 10122 AUTHOR: Yovits, Marshall C. (Ed) TITLE: Advances in Computers Volume 24 YEAR: 1985 NUMBER: 10121 AUTHOR: Yovits, Marshall C. (Ed) TITLE: Advances in Computers Volume 23 YEAR: 1984 NUMBER: 10090 AUTHOR: Farmer, Doyne (Ed); Toffoli, Fommaso (Ed); Wolfram, Stephen (Ed) TITLE: Cellular Automata YEAR: 1984 NUMBER: 10117 AUTHOR: Sargent III, Murray; Shoemaker, Richard L TITLE: The IBM Personal Computer From the Inside Out YEAR: 1983 NUMBER: 10082 AUTHOR: Mehlhorn, Kurt TITLE: Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness YEAR: 1984 NUMBER: 10081 AUTHOR: Mehlhorn, Kurt TITLE: Data Structures and Algorithms 1: Sorting and Searching YEAR: 1984 NUMBER: 10116 AUTHOR: Myers, Roy E. TITLE: Microcomputer Graphics for the IBM PC YEAR: 1984 NUMBER: 10114 AUTHOR: Glasser, Lance A.; Dobberpuhl, Daniel W. TITLE: The Design and Analysis of VLSI Circuits YEAR: 1984 NUMBER: 10113 AUTHOR: Mead, Caver; Conway, Lynn TITLE: Introduction to VLSI Systems YEAR: 1980 NUMBER: 10120 AUTHOR: Hopgood, F.R.A.; Duce, D.A.; Gallop, J.R.; Sutcliffe, D.C. TITLE: Introduction to the Graphical Kernel System (GKS) YEAR: 1983 NUMBER: 10119 AUTHOR: Wagde, William W.; Ashcroft, Edward A. TITLE: Lucid, The Dataflow Programming Language YEAR: 1985 NUMBER: 10123 AUTHOR: Mandelbrot, Benoit B. TITLE: The Fractal Geometry of Nature YEAR: 1977 NUMBER: 10168 AUTHOR: Mitchell, David TITLE: An Adventure in Programing Techniques YEAR: 1986 NUMBER: 10132 AUTHOR: Reid-Green, Keith TITLE: Computerspiele und Computergrafik YEAR: 1984 NUMBER: 10127 AUTHOR: Koberg, Don; Bagnall, Jim TITLE: the Universal Traveler a Soft-Systems guide to: creativity, problem-solving ... YEAR: 1974 NUMBER: 10126 AUTHOR: Gadner, Martin TITLE: Aha, Insight YEAR: 1978 NUMBER: 10125 AUTHOR: Bransford, John D.; Stein, Barry S. TITLE: The Ideal Problem Solver A Guide for Improving Thinking, Learning and Creativity YEAR: 1984 NUMBER: 10112 AUTHOR: Bennetts, R.G. TITLE: Design of Testable Logic Circuits YEAR: 1984 NUMBER: 10109 AUTHOR: Gonnet, H.G. TITLE: Handbook of ALgorithms and Data Structures YEAR: 1984 NUMBER: 10111 AUTHOR: Park, Chan S. TITLE: Interactive Microcomputer Graphics YEAR: 1985 NUMBER: 10110 AUTHOR: Greenberg, Donald; Marcus, Aaron; Schmidt, Allan H.; Gorter, Vervon TITLE: The Compuer Image: Applications of Computer Graphics YEAR: 1982 NUMBER: 10108 AUTHOR: Shaw, Tony TITLE: dBASE IIuer Image: Applications of Computer Graphics Developing applications YEAR: 1984 NUMBER: 10107 AUTHOR: Traub, J.F.; Wasilkowski, G.W.; Wozniakowski, H. TITLE: Information, Uncertainty, Complexity YEAR: 1983 NUMBER: 10105 AUTHOR: Kelman, Peter; Bardige, Art; Choae, JOnathan; Hanify, George TITLE: Computers in Teaching Mathemaics YEAR: 1983 NUMBER: 10106 AUTHOR: Ross, Peter TITLE: Logo Programming for the IBM PC YEAR: 1985 NUMBER: 9258 AUTHOR: Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D. TITLE: Data Structures and Algorithms YEAR: 1983 NUMBER: 5759 AUTHOR: Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D. TITLE: The Design and Analysis of Computer Algorithms YEAR: 1974 NUMBER: 9625 AUTHOR: Aho, Alfred V.; Ullman, Jeffrey D. TITLE: Principles of Computer Design YEAR: 1977 NUMBER: 8579 AUTHOR: Ahl, David H. (Ed) TITLE: Computers in Mathematics: A Sourcebook of Ideas YEAR: 1979 NUMBER: 8729 AUTHOR: Agazzi, Evandro (Ed) TITLE: Modern Logic - A Survey Historical, Philosophical and Mathematical Aspects of ... YEAR: 1981 NUMBER: 7876 AUTHOR: Adian, S. I.; Boone, W.W.; Higman, G. TITLE: Word Problems II YEAR: 1980 NUMBER: 9748 AUTHOR: Adams, James L. TITLE: Ich Hab's YEAR: 1984 NUMBER: 4251 AUTHOR: Acton, Forman S. TITLE: Numerical Methods That Work YEAR: 1970 NUMBER: 4121 AUTHOR: Ackerman, W. TITLE: Solvable Cases of the Decision Problem YEAR: 1968 NUMBER: 9882 AUTHOR: Abney, Darrell H.; Rubin, Laurence; Sibrel, Donald W. TITLE: Computer Mathematics for Programmers YEAR: 1985 NUMBER: 9839 AUTHOR: Abelson, Harold; diSessa, Andrea A. TITLE: Turtle Geometry The Computer as a Medium for Exploring Mathematics YEAR: 1984 NUMBER: 10068 AUTHOR: Jones, C.B. (Ed) TITLE: Programming Languages and Their Definition YEAR: 1984 NUMBER: 10066 AUTHOR: Sherman, Mark Steven TITLE: Paragon:ing Languages and Their Definition A Language Using Type Hierarchies for the Specification ... YEAR: 1985 NUMBER: 10067 AUTHOR: Chytil M.P. (Ed); Koubek, V. (Ed) TITLE: Mathematical Foundations of Computer Science 1984 YEAR: 1984 NUMBER: 10065 AUTHOR: Thayse, Andre TITLE: P-Functions and Boolean Matrix Factorizaion YEAR: 1984 NUMBER: 10078 AUTHOR: Hartley, John TITLE: Flexible Automation in Japan YEAR: 1984 NUMBER: 10077 AUTHOR: Blaser, A. (Ed); Pistor, P. (Ed) TITLE: Datenbank-Systeme fuer B!ro, Technik und Wissenschaft YEAR: 1985 NUMBER: 10075 AUTHOR: Siekmann, Joerg (Ed); Wrightson, Graham (Ed) TITLE: Automation of Reasoning Classical Papers on Computational Logic 1967-1970 YEAR: 1983 NUMBER: 10069 AUTHOR: Mehlhorn, K. (Ed) TITLE: STACS 85 YEAR: 1985 NUMBER: 9926 AUTHOR: Krasner, Glenn (Ed) TITLE: Smalltalk-80, Bits of History, Words of Advice YEAR: 1984 NUMBER: 9927 AUTHOR: Kluzniak, Feliks; Szpakowicz, Stanislaw TITLE: PROLOG for Programmers YEAR: 1985 NUMBER: 9928 AUTHOR: Waterman, Donald A. TITLE: A Guide to Expert Systems YEAR: 1986 NUMBER: 9940 AUTHOR: Boerger, Egon TITLE: Berechenbarkeit, Komplexitaet, Logik YEAR: 1985 NUMBER: 9943 AUTHOR: Abelson, Harold; Sussman, Jay; Sussman, Julie TITLE: Structure and Interpretation of Computer Programs YEAR: 1985 NUMBER: 9946 AUTHOR: Danckwerts, Rainer; Vogel, Dakwart; Bovermann, Klaus TITLE: Elementare Methoden der Kombinatorik YEAR: 1985 NUMBER: 9957 AUTHOR: Moyne, John A. TITLE: Understanding Language Man or Machine YEAR: 1985 NUMBER: 9998 AUTHOR: Gabbay, D. (Ed); Guenthner F. (Ed) TITLE: Handbook of Philosophical Logic YEAR: 1986 NUMBER: 9994 AUTHOR: Cluley, J.C. TITLE: Transducers for Microprocessor Systems YEAR: 1985 NUMBER: 9993 AUTHOR: Burnham, W.D.; Hall, A.R. TITLE: Prolog Programming and Applicatons YEAR: 1985 NUMBER: 9989 AUTHOR: Nivat, Maurice (Ed); Reynolds, John C. (Ed) TITLE: Algebraic methods in semantics YEAR: 1985 NUMBER: 9975 AUTHOR: Plum, Thomasce (Ed) TITLE: Das C-Lernbuch YEAR: 1983 NUMBER: 9969 AUTHOR: O'Shea, Tim (Ed) TITLE: Advances in Artificial Intelligence YEAR: 1985 NUMBER: 9968 AUTHOR: Turski, Wladislaw M. TITLE: Infomatics A Propaedeutic View YEAR: 1985 NUMBER: 9967 AUTHOR: Rodrigue, Garry (Ed) TITLE: Parallel Computations YEAR: 1982 NUMBER: 10037 AUTHOR: Gander, Walter TITLE: Comptermathematik YEAR: 1985 NUMBER: 10036 AUTHOR: Davis, Philip J.; Chinn, William G. TITLE: 3.1416 And All That YEAR: 1985 NUMBER: 10034 AUTHOR: Neuwirth, E.; Schauer, H.; Tauber, M.J. TITLE: Kinder, Computer und Bildung YEAR: 1985 NUMBER: 10032 AUTHOR: Fraisse, R. TITLE: Theory of Relations YEAR: 1986 NUMBER: 10010 AUTHOR: Hogger, Christopher John TITLE: Introduction to Logic Programning YEAR: 1984 NUMBER: 10009 AUTHOR: Atkinson, Michael D. (Ed) TITLE: Computational Group Theory YEAR: 1984 NUMBER: 9784 AUTHOR: Paddon, D.J. (Ed) TITLE: Supercomputers and parallel Computation YEAR: 1984 NUMBER: 10046 AUTHOR: Brosowski, Bruno; Kress, Rainer TITLE: Einfuehrung in die Numerische Mathemaik I YEAR: 1975 NUMBER: 10045 AUTHOR: Kaucher, Edgar; Klatte, Rudi; Ullrich, Christian; von Gudenberg, Juergen Frhr. TITLE: $bungen und Tests in PASCAL YEAR: 1984 NUMBER: 10044 AUTHOR: Kaucher, Edgar; Klatte, Rudi; Ullrich, Christian TITLE: Programmiersprachen im Griff YEAR: 1981 NUMBER: 10011 AUTHOR: Barnhill Robert E. (Ed); Boehm, Wolfgang (Ed) TITLE: Surfaces in CAGD'84 YEAR: 1985 NUMBER: 10041 AUTHOR: Barringer, Howard. TITLE: A Survey of Verification Techniques for Parallel Programs YEAR: 1985 NUMBER: 9921 AUTHOR: Nagao, Makoto; Matsuyama, Takashi TITLE: A Structural Analysis of Complex Aerial Photographs. YEAR: 1980 NUMBER: AUTHOR: Cellier, Francois E. TITLE: Progress in Modelling and Simulation. YEAR: 1982 NUMBER: AUTHOR: Zissos, D. TITLE: System Design with Microprocessors. YEAR: 1984 NUMBER: 9922 AUTHOR: Preston, Kendall Jr.; Duff, Michael J.B. TITLE: Modern Cellular Automata Theory and Applications. YEAR: 1984 NUMBER: AUTHOR: Spriet, Jan A.; Vansteenkiste Ghislain C. TITLE: Computer-aided modelling and simulation. YEAR: 1982 NUMBER: 9920 AUTHOR: Bezdek, James C. TITLE: Pattern recognition with fuzzy objective function algorithms. YEAR: 1981 NUMBER: 10197 AUTHOR: Bratko, Ivan TITLE: PROLOG Programming for Artificial Intelligence YEAR: 1986 NUMBER: 10195 AUTHOR: Radermacher, Franz-Josef; Wirsing, Martin TITLE: Berichte aus den Informatikinstituten YEAR: 1986 NUMBER: 10194 AUTHOR: Barcan Marcus, Ruth (Ed); Dorn, Georg J.W. (Ed); Weingartner, Paul (Ed) TITLE: Logic, Methodology and Philosophy of Science VII YEAR: 1986 NUMBER: 10192 AUTHOR: Green, David TITLE: Modern Logic Design YEAR: 1986 NUMBER: 9779 AUTHOR: Berry, R.E.; Meekings, B.A.E. TITLE: A Book on C YEAR: 1984 NUMBER: 019 AUTHOR: Berstel, Jean TITLE: Transductions and Context-Free Languages YEAR: 1979 NUMBER: 8989 AUTHOR: Bibel, Wolfgang TITLE: Automated Theorem Proving YEAR: 1982 NUMBER: 2138 AUTHOR: Blackett, Donald W. TITLE: Elementary Topology A Combinatorial and Algebraic Approach YEAR: 1967 NUMBER: 7157 AUTHOR: Bochenski, I.M. TITLE: Ancient Formal Logic YEAR: 1968 NUMBER: 4875 AUTHOR: Boddenberg, Erich TITLE: Logik I YEAR: 1975 NUMBER: 9842 AUTHOR: Bolc, Leonard (Ed) TITLE: Natural Language Based Computer Systems YEAR: 1980 NUMBER: 9841 AUTHOR: Bolc, Leonard (Ed) TITLE: Natural Language Questing Answering Systems YEAR: 1980 NUMBER: 9843 AUTHOR: Bolc, Leonard (Ed) TITLE: Representation and Processing of Natural Language YEAR: 1980 NUMBER: 9564 AUTHOR: Bolc, Leonard (Ed); Kulpa, Zenon (Ed) TITLE: Digital Image Processing Systems YEAR: 1981 NUMBER: 9636 AUTHOR: Book, Ronald V. (Ed) TITLE: Formal Laguage Theory Perspectives and Open Problems YEAR: 1980 NUMBER: 8089 AUTHOR: Boolos, Georg TITLE: The Unprovability of Consistency An essay in modal logic YEAR: 1979 NUMBER: 9639 AUTHOR: Boolos, Georg; Jeffrey, Richard TITLE: Computatibility and Logic YEAR: 1980 NUMBER: 3462 AUTHOR: Bonne, W.W. (Ed); Cannonito, F.B. (Ed); Lyndon, R.C. (Ed) TITLE: Word Problems Decision Problems and the Burnside Problem in Group Theory YEAR: 1973 NUMBER: 9781 AUTHOR: Bornat, Richard TITLE: Understanding and Writing Compilers A do-it-yourself guide YEAR: 1979 NUMBER: 8034 AUTHOR: Bostock, David TITLE: Logic and Arithmetic Rational and Irrational Numbers YEAR: 1979 NUMBER: 028 AUTHOR: Bott, Raoul; Tu, Loring W. TITLE: Differential Forms in Algebraic Topology YEAR: 1982 NUMBER: 7980 AUTHOR: Bowen, Kenneth A. TITLE: Model Theory for Modal Logic YEAR: 1979 NUMBER: 9836 AUTHOR: Bowles, Kenneth L.; Franklin, Stephen D.; Volper, Dennis J. TITLE: Problem Solving Using UCSD Pascal Second Edition YEAR: 1984 NUMBER: 9773 AUTHOR: Brady, Michael (Ed); Hollerbach, John M. (Ed); Johnson, Timothy L. (Ed); Lozano-Perez, Tomas (Ed) TITLE: Robert Motion: Planning and Control YEAR: 1982 NUMBER: 9789 AUTHOR: Brady, Michael (Ed) TITLE: Computer Vision YEAR: 1981 NUMBER: 6730 AUTHOR: Bridge, Jane TITLE: Beginning Model Theory The Completeness Theorem and some Consequences YEAR: 1977 NUMBER: 058 AUTHOR: Broecker, Theodor; Dieck, Tammo tom TITLE: Representations of Compact Lie Groups YEAR: 1985 NUMBER: 9357 AUTHOR: Broy, Manfred (Ed); Schmidt, Gunther (Ed) TITLE: Theoretical Foundations of Programming Methodology YEAR: 1982 NUMBER: 8980 AUTHOR: Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed) TITLE: Computer Algebra Symbolic and Algebraic Computation YEAR: 1982 NUMBER: 001 AUTHOR: Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed) TITLE: Computer Algebra Symbolic and Algebraic Computation, Second Edition YEAR: 1982 NUMBER: 9616 AUTHOR: Buchberger, Bruno; Lichtenberger, Franz TITLE: Mathematik fuer Informatiker I Die Methode der Mathematik YEAR: 1981 NUMBER: 9491 AUTHOR: Bucher, Walter TITLE: Theoretische Grundlagen der Programmiersprachen Automaten und Sprachen YEAR: 1984 NUMBER: 4676 AUTHOR: Budach, Lothar; Hoehnke, Hans J. TITLE: Automaten und Fonktoren YEAR: 1975 NUMBER: 8292 AUTHOR: Bundy, A.; Burstall, R.M.; Weir, S.; Young, R.M. TITLE: Artificial Intelligence: An Introductory Course YEAR: 1980 NUMBER: 9399 AUTHOR: Bundy, Alan TITLE: The Computer Modelling of Mathematical Reasoning YEAR: 1983 NUMBER: 9528 AUTHOR: Bunse, Wolfgang; Bunse-Gerstner, Angelika TITLE: Numerische Lineare Algebra YEAR: 1985 NUMBER: 8699 AUTHOR: Bus, J.C.P. TITLE: Numerical Solution of Systems of Nonlinear Equations YEAR: 1980 NUMBER: 4031 AUTHOR: Byrne, George D. (Ed); Hall, Charles A. (Ed) TITLE: Numerical Solution of Systems of Nonlinear Equations. ...NSF-CBMS regional conference ... Pittsburgh, July 10-14, 1972. YEAR: 1973 NUMBER: AUTHOR: Zaks, Rodney TITLE: Programmierung des Z80. 2. Aufl. YEAR: 1983 NUMBER: 7796 AUTHOR: Mostowski, Andrezej TITLE: Foundational Studies Selected Works, Volume I YEAR: 1979 NUMBER: 7797 AUTHOR: Mostowski, Andrezej TITLE: Foundational Studies Selected Works, Volume II YEAR: 1979 NUMBER: 5922 AUTHOR: Mueller, Gert H. (Ed) TITLE: Sets and Classes on the work by Paul Bernays YEAR: 1976 NUMBER: 10260 AUTHOR: Rollinger, Claus-Rainer(Hrsg.); Horn, Werner (Hrsg.) TITLE: GWAI-86 (10th German workshop on artificial intelligence) und 2. oesterreichische Artificial-Intelligence-Tagung YEAR: 1986 NUMBER: 10265 AUTHOR: Bishop, Judy (Judith Mary) TITLE: Data abstraction in programming languages. YEAR: 1986 NUMBER: 9148 AUTHOR: Nagl, Manfred TITLE: Einfuehrung in die Programmiersprache Ada YEAR: 1982 NUMBER: 9406 AUTHOR: Nakajima, R. (Ed); Yuasa, T. (Ed) TITLE: The IOTA Programming System A Modular Programming Environment YEAR: 1983 NUMBER: 9815 AUTHOR: Nastasescu, C.; Oystaeyen, F. van TITLE: Graded Ring Theory YEAR: 1982 NUMBER: 4234 AUTHOR: Neumann, John von TITLE: Theory of Self-Reproducing Automata YEAR: 1966 NUMBER: 5218 AUTHOR: Newborn, Monroe TITLE: Computer Chess YEAR: 1975 NUMBER: 5246 AUTHOR: Nijenhuis, Albert; Wilf, Herbert S. TITLE: Combinatorial Algorithms YEAR: 1975 NUMBER: 9568 AUTHOR: Nijholt, Anton TITLE: Context-Free Grammars: Covers, Normal Forms, and Parsing YEAR: 1980 NUMBER: 8026 AUTHOR: Normann, Dag TITLE: Recursion on the Countable Functionals YEAR: 1980 NUMBER: 9581 AUTHOR: Novikov, P.S. TITLE: Grundzuege der mathematischen Logik YEAR: 1973 NUMBER: 909 AUTHOR: Oberschelp, Arnold TITLE: Aufbau des Zahlensystems YEAR: 1968 NUMBER: 9186 AUTHOR: Ohno, Y. (Ed) TITLE: Requirements, Engineering, Environments YEAR: 1982 NUMBER: 8712 AUTHOR: Orzech, Grace; Orzech, Morris TITLE: Plane Algebraic Curves An Introduction Via Valuations YEAR: 1981 NUMBER: 9576 AUTHOR: Overmars, Mark H. TITLE: The Design of Dynamic Data Structures YEAR: 1983 NUMBER: 8402 AUTHOR: Noltemeier, Hartmut TITLE: Informatik I Einfuehrung in Algorithmen und Berechenbarkeit YEAR: 1981 NUMBER: 7641 AUTHOR: Noordman, Leonard G.M. TITLE: Inferring from Language YEAR: 1979 NUMBER: 9209 AUTHOR: Myers, Glenford J. TITLE: Methodisches Testen von Programmen YEAR: 1982 NUMBER: 9778 AUTHOR: Herman, Gary TITLE: Micro-Music for the Commodore 64 and BBC Computer YEAR: 1985 NUMBER: 8536 AUTHOR: Kaiser, H.; Mlitz, R.; Zeilinger, G. TITLE: Algebra fuer Informatiker YEAR: 1981 NUMBER: 1653 AUTHOR: Kamlah, Wilhelm; Lorenzen, Paul TITLE: Logische Propaedeutik oder Vorschule des vernuenftigen Redens YEAR: 1967 NUMBER: 9693 AUTHOR: Kant, Elaine TITLE: Efficiency in Program Synthesis YEAR: 1981 NUMBER: 9385 AUTHOR: Karp, Richard Alan TITLE: Proving Operating Systems Correct YEAR: 1983 NUMBER: 10048 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern. Teil 1. E. Einf. in die Theorie u. in die Programmierung in BASIC. YEAR: 1984 NUMBER: 4099 AUTHOR: Keisler, H. Jerome TITLE: Model Theory For Infinitary Logic Logic with Countable Conjunctions and Finite Quantifiers YEAR: 1971 NUMBER: 9368 AUTHOR: Kemmerer, Richard A. TITLE: Formal Verification of an Operating System Security Kernel YEAR: 1982 NUMBER: 9613 AUTHOR: Klaeren, H.A. TITLE: Algebraische Spezifikation Eine Einfuehrung YEAR: 1983 NUMBER: 6279 AUTHOR: Knuth, Donald E. TITLE: Surreal Numbers YEAR: 1974 NUMBER: 7111 AUTHOR: Kohavi, Zvi TITLE: Switching and Finite Automata Theory. 2. ed. YEAR: 1978 NUMBER: 9403 AUTHOR: Kohonen, Teuvo TITLE: Self-Organization and Associative Memory YEAR: 1984 NUMBER: 8633 AUTHOR: Konheim, Alan G. TITLE: Cryptography A Primer YEAR: 1981 NUMBER: 9857 AUTHOR: Korf, Richard E. TITLE: Learning to Solve Problems by Searching for Macro-Operators YEAR: 1985 NUMBER: 222 AUTHOR: Korfhage, Robert R. TITLE: Logic and Algorithms With Applications to the Computer Information Sciences YEAR: 1966 NUMBER: 4306 AUTHOR: Korfhage, Robert R. TITLE: Discrete Computational Structures YEAR: 1974 NUMBER: 8692 AUTHOR: Krekel, Dietrich; Trier, Wolfgang TITLE: Die Programmiersprache PASCAL Eine Beschreibung und Anleitung zur Benutzung YEAR: 1981 NUMBER: 9644 AUTHOR: Kronsjo, Lydia I. TITLE: Algorithms: Their Complexity and Efficiency YEAR: 1979 NUMBER: 8312 AUTHOR: Kulisch, Ulrich W.; Miranker, Willard L. TITLE: Computer Arithmetik in Theory and Practice YEAR: 1981 NUMBER: 9874 AUTHOR: Kulp, Martin TITLE: Menschliches und maschinelles Denken YEAR: 1968 NUMBER: 8113 AUTHOR: Kunen, Kenneth TITLE: Set Theory An Introduction to Independence Proofs YEAR: 1980 NUMBER: 8559 AUTHOR: Kunii, Tosijasu L. (Ed) TITLE: VLSI Engineering Beyond Software Engineering YEAR: 1984 NUMBER: 5644 AUTHOR: Kuratowski, K.; Mostowski, A. TITLE: Set Theory. With an Introduction to Descriptive Set Theory. 2. Aufl. YEAR: 1976 NUMBER: 6895 AUTHOR: Lamprecht, Guenther TITLE: Einfuehrung in die Programmiersprache FORTRAN IV. Anleitung zum Selbststudium. 3. Aufl. 3. Nachdr. YEAR: 1978 NUMBER: 9181 AUTHOR: Larson, Loren C. TITLE: Problem-Solving Through Problems YEAR: 1983 NUMBER: 9588 AUTHOR: Laufer, Henry B. TITLE: Discrete Mathematics and Applied Modern Algebra YEAR: 1984 NUMBER: 4290 AUTHOR: Lausch, Hans; Noebauer, Wilfried TITLE: Algebra of Polynomials YEAR: 1973 NUMBER: 7158 AUTHOR: Leblanc, Hugues TITLE: Truth-Value Semantics YEAR: 1976 NUMBER: 9875 AUTHOR: Leblanc, Hugues; Mendelson, Elliott TITLE: Foundations: Logic, Language and Mathematics YEAR: 1984 NUMBER: 4206 AUTHOR: Leclercq, Rene TITLE: The Logic of the Plausible and Some of its Applications YEAR: 1974 NUMBER: 5877 AUTHOR: Ledgard, Henry F. TITLE: Programming Proversbs YEAR: 1975 NUMBER: 9346 AUTHOR: Ledgard, Henry F. TITLE: ADA An Introduction YEAR: 1983 NUMBER: 9795 AUTHOR: Lee, C.S.G.; Gonzalez, R.C.; Fu, K.S. TITLE: Tutorial on ROBOTICS YEAR: 1983 NUMBER: 1717 AUTHOR: Leech, John (Ed) TITLE: Computational Problems in Abstract Algebra YEAR: 1970 NUMBER: 9413 AUTHOR: Lehmann, Eberhard TITLE: Lineare Algebra mit dem Computer YEAR: 1983 NUMBER: 4165 AUTHOR: Leisenring, A.C. TITLE: Mathematical Logic and Hilbert`s E-Symbol YEAR: 1969 NUMBER: 9859 AUTHOR: Leiserson, Charles Eric TITLE: Area-Efficient VLSI Computation YEAR: 1983 NUMBER: 9410 AUTHOR: Lerman, Manuel TITLE: Degrees of Unsolvability Local and Global Theory YEAR: 1983 NUMBER: 8094 AUTHOR: Lewis, Harry R. TITLE: Unsolvable Classes of Quantificational Formulas YEAR: 1979 NUMBER: 6490 AUTHOR: Lightstone, A.H. TITLE: Mathematical Logic An Introduction to Model Theory YEAR: 1978 NUMBER: 5344 AUTHOR: Linstone, Harold A. (Ed); Turoff, Murray (Ed) TITLE: The Delphi Method Techniques and Applications YEAR: 1975 NUMBER: 8474 AUTHOR: Lipson, John D. TITLE: Elements of Algebra and Algebraic Computation YEAR: 1981 NUMBER: 8705 AUTHOR: Liskov, Barbara; Atkinson, Russell; Bloom, Toby; Moss, Eliot TITLE: CLU Reference Manual YEAR: 1981 NUMBER: 6800 AUTHOR: Loveland, Donald W. TITLE: Automated Theorem Proving: A Logical Basis YEAR: 1978 NUMBER: 4059 AUTHOR: Luckhardt, Horst TITLE: Extensional Goedel Functional Interpretation A Consistency Proof of Classical Analysis YEAR: 1973 NUMBER: 7154 AUTHOR: Lukasiewicz, Jan TITLE: Selected Works YEAR: 1970 NUMBER: 4104 AUTHOR: Luschei, Eugene C. TITLE: The Logical Systems of Lesniewski YEAR: 1962 NUMBER: 7638 AUTHOR: Klein, Wolfgang; Dittmar, Norbert TITLE: Developing Grammars The Acquisition of German Syntax by Foreign Workers YEAR: 1979 NUMBER: 9380 AUTHOR: Klix, Friedhart (Ed) TITLE: Human and Artificial Intelligence YEAR: 1979 NUMBER: 073 AUTHOR: Kluzniak, Feliks; Szpakowicz, Stanislaw TITLE: PROLOG for Programmers YEAR: 1985 NUMBER: 10049 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern. Teil 2. BASIC-Programme. YEAR: 1984 NUMBER: 707 AUTHOR: Hermes, Hans TITLE: Einfuehrung in die Mathematische Logik Klassische Pr"dikatenlogik YEAR: 1963 NUMBER: 403 AUTHOR: Hermes, Hans; Mittenecker, Erich TITLE: Methoden der Logik und Mathematik Statistische Methoden YEAR: 1968 NUMBER: 9610 AUTHOR: Heyting, A. TITLE: Mathematische Grundlagenforschung Intuitionismus, Beweistheorie YEAR: 1974 NUMBER: 2870 AUTHOR: Heyting, A. TITLE: Intuitionism An Introduction YEAR: 1971 NUMBER: 8708 AUTHOR: Hibbard, Peter; Hisgen, Andy; Rosenberg, Jonathan; Shaw, Mary TITLE: Studies in Ada Style YEAR: 1981 NUMBER: 1857 AUTHOR: Hilbert, D.; Ackermann, W. TITLE: Grundzuege der theoretischen Logik YEAR: 1967 NUMBER: 4057 AUTHOR: Hilbert, D.; Bernays, P. TITLE: Grundlagen der Mathematik II YEAR: 1970 NUMBER: 9853 AUTHOR: Hildreth, Ellen Catherine TITLE: The Measurement of Visual Motion YEAR: 1984 NUMBER: 6551 AUTHOR: Hinman, Peter G. TITLE: Recursion-Theoretic Hierarchies YEAR: 1978 NUMBER: 4115 AUTHOR: Hintikka, Jaakko (Ed); Suppes, Patrick (Ed) TITLE: Aspects of Inductive Logic YEAR: 1966 NUMBER: 9561 AUTHOR: Hirst, Graeme TITLE: Anaphora in Natural Language Understanding: A Survey YEAR: 1981 NUMBER: 8185 AUTHOR: Howard, James C. TITLE: Practical Applications of Symbolic Computation YEAR: 1980 NUMBER: 9854 AUTHOR: Huggins, Eric TITLE: Mastering Pascal Programming YEAR: 1983 NUMBER: 5217 AUTHOR: Hunt, Earl B. TITLE: Artificial Intelligence YEAR: 1975 NUMBER: 9855 AUTHOR: Hyman, Anthony TITLE: Charles Babbage Pioneer of the Computer YEAR: 1984 NUMBER: 9783 AUTHOR: Ibbett, Roland N. TITLE: The Architecture of High Performance Computers YEAR: 1982 NUMBER: 9768 AUTHOR: Jamieson, M. J. TITLE: Elementary Numerical Methods YEAR: 1983 NUMBER: 9872 AUTHOR: Jankel, Annabel; Morton, Rocky TITLE: Creative Computer Graphics YEAR: 1984 NUMBER: AUTHOR: Janson, Philippe A. TITLE: Operating Systems Structures and Mechanisms YEAR: 1985 NUMBER: 9833 AUTHOR: Jensen, Kahleen; Wirth, Niklaus TITLE: Pascal User Manual and Report YEAR: 1974 NUMBER: 9362 AUTHOR: Johnson, Scott D. TITLE: A Computer System for Checking Proofs YEAR: 1982 NUMBER: 9856 AUTHOR: Johnson, Steven D. TITLE: Synthesis of Digital Designs from Recursion Equations YEAR: 1984 NUMBER: 9443 AUTHOR: Jones, Andrew J. I. TITLE: Communicaion and Meaning An Essay in Applied Modal Logic YEAR: 1983 NUMBER: 3750 AUTHOR: Jech, Thomas J. TITLE: The Axiom of Chioce YEAR: 1973 NUMBER: 9567 AUTHOR: Guessarian, Irene TITLE: Algebraic Semantics YEAR: 1981 NUMBER: 10257 AUTHOR: Bezout, Etienne TITLE: Theorie generale des equations algebriques. YEAR: 1779 NUMBER: 10259 AUTHOR: Paris, J. B. (Hrsg.); Wilkie, A. J. (Hrsg.); Wilmers, G. M. (Hrsg.) TITLE: Logoc colloquium '84. Proceedings of the colloquium held in Manchester, July 1984. YEAR: 1986 NUMBER: 10047 AUTHOR: Engeln-Muellges, Gisela; Reutter, Fritz TITLE: Numerische Mathematik fuer Ingenieure. 4. ueberarb. Aufl. YEAR: 1985 NUMBER: 8063 AUTHOR: Gschwendtner, Hermann TITLE: Schaltalgebra fuer Fachschulen Technik YEAR: 1977 NUMBER: 4520 AUTHOR: Grzegorczyk, Andrzej TITLE: An Outline of Mathematical Logic YEAR: 1974 NUMBER: 9810 AUTHOR: Griffiths, M. (Ed); Tagg, E. D. (Ed) TITLE: The Role of Programming in Teaching Informatics YEAR: 1985 NUMBER: 7212 AUTHOR: Gries, David (Ed) TITLE: A Collection of Articles by Members of IFIP WG2.3 YEAR: 1978 NUMBER: 8550 AUTHOR: Greene, Daniel H.; Knuth, Donald E. TITLE: Mathematics for the Analysis of Algorithms YEAR: 1981 NUMBER: 6667 AUTHOR: Grandy, Richard E. TITLE: Advanced Logic for Applications YEAR: 1977 NUMBER: 9753 AUTHOR: Graf, Ulrich TITLE: Darstellende Geometrie Elfte Auflage YEAR: 1978 NUMBER: 9255 AUTHOR: Gottinger, Hans W. TITLE: Coping with Complexity Perspecives for Economics, Management and ... YEAR: 1983 NUMBER: 8051 AUTHOR: Gosling, John B. TITLE: Design of Arithmetic Units for Digital Computers YEAR: 1980 NUMBER: 4130 AUTHOR: Goodstein, R.L. TITLE: Recursive Analysis YEAR: 1961 NUMBER: 4131 AUTHOR: Goodstein, R.L. TITLE: Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free ... YEAR: 1964 NUMBER: 9802 AUTHOR: Gonzalez, Rafael C.; Wintz, Paul TITLE: Digital Image Processing YEAR: 1977 NUMBER: 9749 AUTHOR: Goldschlager, Les; Lister, Andrew TITLE: Informatik Eine moderne Einfuehrung YEAR: 1984 NUMBER: 8839 AUTHOR: Goldblatt, Robert TITLE: Axiomatising the Logic of Computer Programming YEAR: 1982 NUMBER: AUTHOR: Godfrey, M.D.; Hendry, D.F.; Hermans, H.J.; Hessenberg, R.K. TITLE: Machine-Independent Organic Software Tools (Mint) YEAR: 1985 NUMBER: 9822 AUTHOR: Gleaves, Richard TITLE: Modula-2 fuer Pacsal-Programmierer YEAR: 1985 NUMBER: 8057 AUTHOR: Gipper, Hans TITLE: Rationalisierung in der SW-Erstellung durch ein verallgemeinertes Genratorprinzip YEAR: 1979 NUMBER: 2194 AUTHOR: Ginzburg, Abraham TITLE: Algebraic Theory of Automata YEAR: 1968 NUMBER: 4742 AUTHOR: Ginsburg, Seymour TITLE: Algebraic and Automata-Theoretic Properties of Formal Languages YEAR: 1975 NUMBER: 7343 AUTHOR: Gewald, Klaus; Haake, Gisela; Pfadler, Werner TITLE: Software Engineering Grundlagen und Technik rationeller Programmentwicklung YEAR: 1979 NUMBER: 4344 AUTHOR: Genuys, F. (Ed) TITLE: Programming Languages NATO Advanced Study Institute YEAR: 1968 NUMBER: 9764 AUTHOR: Gascoigne, Serafim TITLE: Microchild Learning through LOGO YEAR: 1984 NUMBER: 9445 AUTHOR: Gabbay, D. (Ed); Guenthner, F. (Ed) TITLE: Handbook of Philosophical Logic Volume II: Extensions of Classical Logic YEAR: 1984 NUMBER: 4110 AUTHOR: Szabo, M.E. (Ed) TITLE: The Collected Papers of Gerhard Gentzen YEAR: 1969 NUMBER: 4119 AUTHOR: Henkin. Leon; Monk, J. Donald; Tarski, Alfred TITLE: Cylindrical Algebras Part I YEAR: 1971 NUMBER: 8294 AUTHOR: Henderson, Peter TITLE: Functional Programming Application and Implementation YEAR: 1980 NUMBER: 6391 AUTHOR: Heijenoort, Jean van TITLE: From Frege to Goedel A Source Book in Mathematical Logic YEAR: 1967 NUMBER: 9618 AUTHOR: Heidler, Klaus; Hermes, Hans; Mahn, Friedrich-K. TITLE: Rekursive Funktionen YEAR: 1977 NUMBER: 9626 AUTHOR: hayes-Roth, Frederick; Waterman, Donald A.; Lenat, Douglas B. TITLE: Building Expert Systems YEAR: 1983 NUMBER: 1455 AUTHOR: Hayden, Seymour; Kennison, John F. TITLE: Zermelo-Fraenkel Set Theory YEAR: 1968 NUMBER: 1940 AUTHOR: Hasenjaeger, Gisbert TITLE: Einfuehrung in die Grundbegriffe und Probleme der Modernen Logik YEAR: 1962 NUMBER: 9798 AUTHOR: Hasemer, Tony TITLE: A Beginner's Guide to LISP YEAR: 1984 NUMBER: 9876-68 AUTHOR: Halpern, Richard TITLE: Microcomputer Graphics Using PASCAL For the Apple II Family YEAR: 1985 NUMBER: 683 AUTHOR: Halmos, Paul R. TITLE: Algebraic Logic YEAR: 1962 NUMBER: 5050 AUTHOR: Hallerberg, Arthur E. TITLE: Logic in Mathematics: An Elementary Approach YEAR: 1974 NUMBER: 653 AUTHOR: Gleason, Andrew M. TITLE: Fundamentals of Abstract Analysis YEAR: 1966 NUMBER: 9313 AUTHOR: Gries, David TITLE: The Science of Programming YEAR: 1981 NUMBER: 7213 AUTHOR: Machtey, Michael; Young, Paul TITLE: An Introduction to General Theory of Algorithms YEAR: 1978 NUMBER: 3507 AUTHOR: Mal`cev, A.I. TITLE: The Metamathematics of Algebraic Systems YEAR: 1971 NUMBER: 9607 AUTHOR: Malitz, Jerome TITLE: Intoriduction to Mathematical Logic Set Theory Computable Functions Model Theory YEAR: 1979 NUMBER: 9860 AUTHOR: Mallgren, William R. TITLE: Formal Specification of Interactive Graphics Programming Languages YEAR: 1983 NUMBER: 4929 AUTHOR: Manaster, Alfred B. TITLE: Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic YEAR: 1975 NUMBER: 9612 AUTHOR: Manin, Yu.I. TITLE: A Course in Mathematical Logic YEAR: 1977 NUMBER: 5132 AUTHOR: Manna, Zohar TITLE: Mathematical Theory of Computation YEAR: 1974 NUMBER: 9647 AUTHOR: Manna, Zohar; Waldinger, Richard TITLE: Studies in Automatic Programming Logic YEAR: 1977 NUMBER: 4904 AUTHOR: Marcus, Solomon TITLE: Algebraic Linguistics; Analytic Models YEAR: 1967 NUMBER: 9440 AUTHOR: Marek, Wiktor; Onyszkiewicz, Janusz TITLE: Elements of Logic and Foundations of Mathematics in Problems YEAR: 1982 NUMBER: 4348 AUTHOR: Margaris, Angelo TITLE: First Order Mathematical Logic YEAR: 1967 NUMBER: 8531 AUTHOR: Marlin, Christopher D. TITLE: Coroutines A Programming Methodology, a Language Design and an Implementation YEAR: 1980 NUMBER: 9155 AUTHOR: Marty, Rudolf TITLE: Methodik der Programmierung in Pascal YEAR: 1983 NUMBER: 8702 AUTHOR: Marty, Rudolf TITLE: PISA A Programming System for Interactive Production of App. SW. YEAR: 1981 NUMBER: 6297 AUTHOR: Mazurkiewicz, Antoni; Pawlak, Zdzislaw TITLE: Mathematical Foundations of Computer Science YEAR: 1974 NUMBER: 9366 AUTHOR: McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy P. TITLE: LISP 1.5 Programmer`s Manual 2. Edition, 3. Printing YEAR: 1981 NUMBER: 9879 AUTHOR: McDonald, Bernard R. TITLE: Linear Algebra Over Commutative Rings YEAR: 1984 NUMBER: 7994 AUTHOR: Metropolis, N. (Ed); Howlett, J. (Ed); Rota, Gian-Carlo (Ed) TITLE: A History of Computing in the Twentieth Century A Collection of Essays YEAR: 1980 NUMBER: AUTHOR: Metcalf, Michael TITLE: FORTRAN Optimization YEAR: 1985 NUMBER: 6485 AUTHOR: Meschkowski, Herbert TITLE: Richtigkeit und Wahrheit in der Mathematik YEAR: 1978 NUMBER: 865 AUTHOR: Meschkowski, Herbert TITLE: Unendliche Reihen YEAR: 1962 NUMBER: 9776 AUTHOR: McKeown, G.P.; Rayward-Smith, V.J. TITLE: Mathematics for Computing YEAR: 1982 NUMBER: 9765 AUTHOR: McGregor, James J.; Watt, Alan H. TITLE: Pascal for Science and Engineering YEAR: 1983 NUMBER: 4122 AUTHOR: Moschovakis, Yiannis N. TITLE: Elementary Induction on Absgtract Structures YEAR: 1974 NUMBER: 7924 AUTHOR: Moschovakis, Yiannis N. TITLE: Descriptive Set Theory YEAR: 1980 NUMBER: 7640 AUTHOR: Miller, Max TITLE: The Logic of Language Development in Early Childhood YEAR: 1979 NUMBER: 9575 AUTHOR: Milner, Robin TITLE: A Calculus of Communicating Systems YEAR: 1980 NUMBER: 9645 AUTHOR: Palmer, D.C.; Morris, B.D. TITLE: Computing Science YEAR: 1980 NUMBER: 9821 AUTHOR: Pan, Victor TITLE: How to Multiply Matrices Faster YEAR: 1984 NUMBER: 8032 AUTHOR: Parkin, Andrew TITLE: System Analysis YEAR: 1980 NUMBER: 9800 AUTHOR: Pearl, Jedea TITLE: HEURISTICS Intelligent Search Strategies for Computer Prob. Solving YEAR: 1984 NUMBER: 9586 AUTHOR: Peters, Fritz Eduard TITLE: Einfuehrung in Mathematische Methoden der Informatik YEAR: 1974 NUMBER: 8532 AUTHOR: Peterson, James L. TITLE: Computer Programs for Spelling Correction: An Experiment in Program Design YEAR: 1980 NUMBER: 9766 AUTHOR: Politakis, Peter G. TITLE: Empirical Analysis for Expert Systems YEAR: 1985 NUMBER: 8670 AUTHOR: Potthoff, Klaus TITLE: Einfuehrung in die Modelltheorie und ihre Anwendungen YEAR: 1981 NUMBER: 9637 AUTHOR: Prather, Ronald E. TITLE: Discrete Mathematical Structures for Computer Science YEAR: 1976 NUMBER: 9775 AUTHOR: Queinnec, Christian TITLE: LISP and Engineering YEAR: 1984 NUMBER: 3743 AUTHOR: Quine, Willard Van Orman TITLE: Mengenlehre und ihre Logik YEAR: 1973 NUMBER: 5920 AUTHOR: Rabinowitz, Philip (Ed) TITLE: Numerical Methods for Nonlinear Algebraic Equations YEAR: 1970 NUMBER: 9542 AUTHOR: Rand, R.H. TITLE: Computer Algebra in Applied Mathematics: An Introduction to MACSYMA YEAR: 1984 NUMBER: 5581 AUTHOR: Raphael, Bertram TITLE: The Thinking Computer Mind Inside Matter YEAR: 1976 NUMBER: 4128 AUTHOR: Rasiowa, Helena TITLE: An Algebraic Approach to Non-Classical Logics YEAR: 1974 NUMBER: 8190 AUTHOR: Rautenberg, Wolfgang TITLE: Klassische und nichtklassische Aussagenlogik YEAR: 1979 NUMBER: 2185 AUTHOR: Rescher, Nicholas TITLE: Many-valued Logic YEAR: 1969 NUMBER: 8160 AUTHOR: Resnik, Michael D. TITLE: Frege and The Philosophy of Mathematics YEAR: 1980 NUMBER: 9435 AUTHOR: Retti, J.; Bibel, W.; Buchberger, B.; Buchberger, E. TITLE: Artificial Intelligence - Eine Einfuehrung YEAR: 1984 NUMBER: 7679 AUTHOR: Rheinboldt, Werner C. TITLE: Methods for Solving Systems of Nonlinear Equations YEAR: 1974 NUMBER: 8109 AUTHOR: Riddle, W.E.; Fairley, R.E. TITLE: Software Development Tools YEAR: 1980 NUMBER: 012 AUTHOR: Rine, David C. (Ed) TITLE: Computer Science and Multiple-Valued Logic Theory and Applications YEAR: 1984 NUMBER: 4167 AUTHOR: Robbin, Joel W. TITLE: Mathematical Logic A First Course YEAR: 1969 NUMBER: 8058 AUTHOR: Robinson, J.A. TITLE: Logic: Forma and Function The Mechanization of Deductive Reasoning YEAR: 1979 NUMBER: 8913 AUTHOR: Robinson, Abraham TITLE: Complete Theories YEAR: 1956 NUMBER: 1248 AUTHOR: Robinson, Abraham TITLE: Introduction to Model Theory and to the Metamathematics of Algebra YEAR: 1965 NUMBER: 9785 AUTHOR: Rogers, M.W. (Ed) TITLE: Ada: Language, Compilers and Bibliography YEAR: 1980 NUMBER: 9763 AUTHOR: Rohl, J.S. TITLE: Recursion via Pascal YEAR: 1984 NUMBER: 8542 AUTHOR: Rohlfing, Helmut TITLE: SIMULA Eine Einfuehrung YEAR: 1973 NUMBER: 9555 AUTHOR: Ronse, Christian TITLE: Feedback Shift Registers YEAR: 1984 NUMBER: 9865 AUTHOR: Rose, H.E. TITLE: Subrecursion Functions and Hierarchies YEAR: 1984 NUMBER: 8033 AUTHOR: Rozenberg, Grzegorz; Salomaa, Arto TITLE: The Mathematical Theory of L Systems YEAR: 1980 NUMBER: 9816 AUTHOR: Rubin, Herman; Rubin, Jean E. TITLE: Equivalents of the Axiom of Choice, II YEAR: 1985 NUMBER: 4164 AUTHOR: Rudeanu, Sergiu TITLE: Boolean Functions and Equations YEAR: 1974 NUMBER: 8037 AUTHOR: Saarinen, Esa (Ed) TITLE: Game-Theoretical Semantics YEAR: 1979 NUMBER: 4182 AUTHOR: Sacks, Gerald E. TITLE: Degrees of Unsolvability Second Edition YEAR: 1966 NUMBER: 9866 AUTHOR: Salman, W.P.; Tisserand, O.; Toulout, B. TITLE: FORTH YEAR: 1984 NUMBER: 9505 AUTHOR: Salomaa, Arto TITLE: Jewels of Formal Language Theory YEAR: 1981 NUMBER: 4675 AUTHOR: Salomaa, Arto TITLE: Formal Languages YEAR: 1973 NUMBER: 9873 AUTHOR: Salomaa, Arto TITLE: Computation and Automata YEAR: 1985 NUMBER: 8530 AUTHOR: Sandford, David M. TITLE: Using Sophisticated Models in Resolution Theorem Proving YEAR: 1980 NUMBER: 5105 AUTHOR: Schank, Roger C. TITLE: Computer Models of Thought and Language YEAR: 1973 NUMBER: 8787 AUTHOR: Schinzel, Andrzej TITLE: Selected Topics on Polynomials YEAR: 1982 NUMBER: 9156 AUTHOR: Schmidt, Joachim W.; Brodie, Michael L. TITLE: Relational Database Systems Analysis and Comparison YEAR: 1983 NUMBER: 1027 AUTHOR: Schmidt, Arnold H. TITLE: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik YEAR: 1960 NUMBER: 9592 AUTHOR: Schneider, Hans-Juergen TITLE: Compiler Aufbauweise und Arbeitsweise YEAR: 1975 NUMBER: 3463 AUTHOR: Schoenfield, Joseph R. TITLE: Mathematical Logic YEAR: 1967 NUMBER: 9487 AUTHOR: Sims, Charles S. TITLE: Abstract Algebra A Computational Approach YEAR: 1984 NUMBER: 7643 AUTHOR: Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M. TITLE: The Child`s Conception of Language YEAR: 1978 NUMBER: 4111 AUTHOR: Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A. TITLE: Mathematical Interpretation of Formal Systems YEAR: 1971 NUMBER: 9484 AUTHOR: Sleeman, D. (Ed); Brown, J.S. (Ed) TITLE: Intelligent Tutoring Systems YEAR: 1982 NUMBER: 8159 AUTHOR: Sluga, Hans D. TITLE: Gottlob Frege YEAR: 1980 NUMBER: 380 AUTHOR: Slupecki, J.; Borkowski, L. TITLE: Elements of Mathematical Logic and Set Theory YEAR: 1967 NUMBER: 5207 AUTHOR: Smith, Karl J. TITLE: Finite Mathematics A Discrete Approach YEAR: 1975 NUMBER: 9062 AUTHOR: Solow, Daniel TITLE: How to Read and do Proofs An Introduction to Mathematical Thought Process YEAR: 1982 NUMBER: 9627 AUTHOR: Spencer, Donald D. TITLE: Computer Science Mathematics YEAR: 1976 NUMBER: 6138 AUTHOR: Spies, P.P. (Ed) TITLE: Modelle fuer Rechensysteme YEAR: 1977 NUMBER: 6241 AUTHOR: Stanat, Donald F.; McAllister, David F. TITLE: Discrete Mathematics in Computer Science YEAR: 1977 NUMBER: 5777 AUTHOR: Stewart, Ian TITLE: Concepts of Modern Mathematics YEAR: 1975 NUMBER: 6010 AUTHOR: Stoer, Josef TITLE: Einfuehrung in die Numerische Mathematik I YEAR: 1976 NUMBER: 9374 AUTHOR: Siklossy, Laurent TITLE: Let`s Talk LISP YEAR: 1976 NUMBER: 4423 AUTHOR: Silberg, Bruce (Ed) TITLE: Decision Table Bibliography YEAR: 1972 NUMBER: 6062 AUTHOR: Schuette, Kurt TITLE: Proof Theorie YEAR: 1977 NUMBER: 9473 AUTHOR: Schwabhaeuser, W.; Szmielew, W.; Tarski, A. TITLE: Metamathematische Methoden in der Geometrie YEAR: 1983 NUMBER: 4346 AUTHOR: Shannon, C.E. (Ed); McCarthy, J. (Ed) TITLE: Studien zur Theorie der Automaten YEAR: 1956 NUMBER: 9867 AUTHOR: Shapiro, Ehud Y. TITLE: Algorithmic Program Debugging YEAR: 1983 NUMBER: 9827 AUTHOR: Shaw, Mary (Ed) TITLE: The Carnegie-Mellon Curriculum for Undergraduate Computer Science YEAR: 1985 NUMBER: 8800 AUTHOR: Shaw, Mary (Ed) TITLE: ALPHARD: Form and Content YEAR: 1981 NUMBER: 7160 AUTHOR: Shelah, S. TITLE: Classification Theory and the Number of Non-Isomorphic Models YEAR: 1978 NUMBER: 9868 AUTHOR: Stoy, Joseph E. TITLE: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory YEAR: 1977 NUMBER: 4112 AUTHOR: Sullivan, Mark W. TITLE: Apuleian Logic The Nature, Sources and Influence of Apuleius`s YEAR: 1967 NUMBER: 1018 AUTHOR: Suppes, Patrick TITLE: Axiomatic Set Theory YEAR: 1960 NUMBER: 6524 AUTHOR: Szabo, M.E. TITLE: Algebra of Proofs YEAR: 1978 NUMBER: 5651 AUTHOR: Takeuti, G.; Zaring, W.M. TITLE: Introduction to Axiomatic Set Theory YEAR: 1971 NUMBER: 5135 AUTHOR: Takeuti, Gaisu TITLE: Proof Theory YEAR: 1975 NUMBER: 4116 AUTHOR: Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. TITLE: Undecidable Theories YEAR: 1971 NUMBER: 4117 AUTHOR: Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni TITLE: Ordinal Algebras YEAR: 1970 NUMBER: 9579 AUTHOR: Tarski, Alfred TITLE: Einfuehrung in die mathematische Logik 5. Auflage YEAR: 1977 NUMBER: 8485 AUTHOR: Thiagarajan, Sivasailam; Stolovitch, Harold D. TITLE: Games With the Pocket Calculator YEAR: 1976 NUMBER: 9801 AUTHOR: Tou, Julius T.; Gonzalez, Rafael C. TITLE: Pattern Recognition Principles YEAR: 1974 NUMBER: 2470 AUTHOR: Traub, J.F. TITLE: Iterative Methods for the Solution of Equations YEAR: 1964 NUMBER: 5502 AUTHOR: Traub, J.F. (Ed) TITLE: Analytic Computational Complexity YEAR: 1976 NUMBER: 5888 AUTHOR: Traub, J.F. (Ed) TITLE: Algorithms and Complexity New Directions and Recent Results YEAR: 1976 NUMBER: 9650 AUTHOR: Tremblay, J.P.; Manohar, R. TITLE: Discrete Mathematical Structures with Applications to Computer Science YEAR: 1975 NUMBER: 9869 AUTHOR: Troelstra, A.S. TITLE: Choice Sequences A Chapter of Intuitionistic Mathematics YEAR: 1977 NUMBER: 2397 AUTHOR: Unger, Stephen H. TITLE: Asynchronous Sequential Switching Circuits YEAR: 1969 NUMBER: 8458 AUTHOR: Uspenskij, V.A. TITLE: Theory of Equations YEAR: 1948 NUMBER: 409 AUTHOR: Varga, Tamas TITLE: Mathematische Logik fuer Anfaenger YEAR: 1966 NUMBER: 8528 AUTHOR: Wahlster, Wolfgang TITLE: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... YEAR: 1981 NUMBER: 7554 AUTHOR: Wait, R. TITLE: The Numerical Solution of Algebraic Equations YEAR: 1979 NUMBER: 10048 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC YEAR: 1984 NUMBER: 10049 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme YEAR: 1984 NUMBER: 7156 AUTHOR: Williams, Neil H. TITLE: Combinatorial Set Theory YEAR: 1977 NUMBER: 9771 AUTHOR: Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed) TITLE: Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... YEAR: 1979 NUMBER: 9772 AUTHOR: Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed) TITLE: Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... YEAR: 1979 NUMBER: 9404 AUTHOR: Wong, C.K. TITLE: Algorithmic Studies in Mass Storage Systems YEAR: 1983 NUMBER: 9364 AUTHOR: Woods, John Lowe TITLE: Path Selection for Symbolic Execution Systems YEAR: 1982 NUMBER: 4321 AUTHOR: Yasuhara, Ann TITLE: Recursive Function Theory and Logic YEAR: 1971 NUMBER: 6242 AUTHOR: Yeh, Raymond T. (Ed) TITLE: Current Trends in Programming Methodology Volume I: Software Specification and Design YEAR: 1977 NUMBER: 7959 AUTHOR: Zuse, Konrad TITLE: Beschreibung des Plankalkuels YEAR: 1977 NUMBER: 9823 AUTHOR: Zuse, Konrad TITLE: Der Computer Mein Lebenswerk YEAR: 1984 NUMBER: 8100 AUTHOR: Wand, Mitchell TITLE: Induction, Recursion and Programming YEAR: 1980 NUMBER: 5133 AUTHOR: Wang, Hao TITLE: From Mathematics to Philosophy YEAR: 1974 NUMBER: 8732 AUTHOR: Webb, Judson Chambers TITLE: Mechnaism, Mentalism and Metamathematics YEAR: 1980 NUMBER: 8037 AUTHOR: Saarinen, Esa (Ed) TITLE: Game-Theoretical Semantics YEAR: 1979 NUMBER: 4182 AUTHOR: Sacks, Gerald E. TITLE: Degrees of Unsolvability Second Edition YEAR: 1966 NUMBER: 9866 AUTHOR: Salman, W.P.; Tisserand, O.; Toulout, B. TITLE: FORTH YEAR: 1984 NUMBER: 9505 AUTHOR: Salomaa, Arto TITLE: Jewels of Formal Language Theory YEAR: 1981 NUMBER: 4675 AUTHOR: Salomaa, Arto TITLE: Formal Languages YEAR: 1973 NUMBER: 9873 AUTHOR: Salomaa, Arto TITLE: Computation and Automata YEAR: 1985 NUMBER: 8530 AUTHOR: Sandford, David M. TITLE: Using Sophisticated Models in Resolution Theorem Proving YEAR: 1980 NUMBER: 5105 AUTHOR: Schank, Roger C. TITLE: Computer Models of Thought and Language YEAR: 1973 NUMBER: 8787 AUTHOR: Schinzel, Andrzej TITLE: Selected Topics on Polynomials YEAR: 1982 NUMBER: 9156 AUTHOR: Schmidt, Joachim W.; Brodie, Michael L. TITLE: Relational Database Systems Analysis and Comparison YEAR: 1983 NUMBER: 1027 AUTHOR: Schmidt, Arnold H. TITLE: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik YEAR: 1960 NUMBER: 9592 AUTHOR: Schneider, Hans-Juergen TITLE: Compiler Aufbauweise und Arbeitsweise YEAR: 1975 NUMBER: 3463 AUTHOR: Schoenfield, Joseph R. TITLE: Mathematical Logic YEAR: 1967 NUMBER: 9487 AUTHOR: Sims, Charles S. TITLE: Abstract Algebra A Computational Approach YEAR: 1984 NUMBER: 7643 AUTHOR: Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M. TITLE: The Child`s Conception of Language YEAR: 1978 NUMBER: 4111 AUTHOR: Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A. TITLE: Mathematical Interpretation of Formal Systems YEAR: 1971 NUMBER: 9484 AUTHOR: Sleeman, D. (Ed); Brown, J.S. (Ed) TITLE: Intelligent Tutoring Systems YEAR: 1982 NUMBER: 8159 AUTHOR: Sluga, Hans D. TITLE: Gottlob Frege YEAR: 1980 NUMBER: 380 AUTHOR: Slupecki, J.; Borkowski, L. TITLE: Elements of Mathematical Logic and Set Theory YEAR: 1967 NUMBER: 5207 AUTHOR: Smith, Karl J. TITLE: Finite Mathematics A Discrete Approach YEAR: 1975 NUMBER: 9062 AUTHOR: Solow, Daniel TITLE: How to Read and do Proofs An Introduction to Mathematical Thought Process YEAR: 1982 NUMBER: 9627 AUTHOR: Spencer, Donald D. TITLE: Computer Science Mathematics YEAR: 1976 NUMBER: 6138 AUTHOR: Spies, P.P. (Ed) TITLE: Modelle fuer Rechensysteme YEAR: 1977 NUMBER: 6241 AUTHOR: Stanat, Donald F.; McAllister, David F. TITLE: Discrete Mathematics in Computer Science YEAR: 1977 NUMBER: 5777 AUTHOR: Stewart, Ian TITLE: Concepts of Modern Mathematics YEAR: 1975 NUMBER: 6010 AUTHOR: Stoer, Josef TITLE: Einfuehrung in die Numerische Mathematik I YEAR: 1976 NUMBER: 9374 AUTHOR: Siklossy, Laurent TITLE: Let`s Talk LISP YEAR: 1976 NUMBER: 4423 AUTHOR: Silberg, Bruce (Ed) TITLE: Decision Table Bibliography YEAR: 1972 NUMBER: 6062 AUTHOR: Schuette, Kurt TITLE: Proof Theorie YEAR: 1977 NUMBER: 9473 AUTHOR: Schwabhaeuser, W.; Szmielew, W.; Tarski, A. TITLE: Metamathematische Methoden in der Geometrie YEAR: 1983 NUMBER: 4346 AUTHOR: Shannon, C.E. (Ed); McCarthy, J. (Ed) TITLE: Studien zur Theorie der Automaten YEAR: 1956 NUMBER: 9867 AUTHOR: Shapiro, Ehud Y. TITLE: Algorithmic Program Debugging YEAR: 1983 NUMBER: 9827 AUTHOR: Shaw, Mary (Ed) TITLE: The Carnegie-Mellon Curriculum for Undergraduate Computer Science YEAR: 1985 NUMBER: 8800 AUTHOR: Shaw, Mary (Ed) TITLE: ALPHARD: Form and Content YEAR: 1981 NUMBER: 7160 AUTHOR: Shelah, S. TITLE: Classification Theory and the Number of Non-Isomorphic Models YEAR: 1978 NUMBER: 9868 AUTHOR: Stoy, Joseph E. TITLE: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory YEAR: 1977 NUMBER: 4112 AUTHOR: Sullivan, Mark W. TITLE: Apuleian Logic The Nature, Sources and Influence of Apuleius`s YEAR: 1967 NUMBER: 1018 AUTHOR: Suppes, Patrick TITLE: Axiomatic Set Theory YEAR: 1960 NUMBER: 6524 AUTHOR: Szabo, M.E. TITLE: Algebra of Proofs YEAR: 1978 NUMBER: 5651 AUTHOR: Takeuti, G.; Zaring, W.M. TITLE: Introduction to Axiomatic Set Theory YEAR: 1971 NUMBER: 5135 AUTHOR: Takeuti, Gaisu TITLE: Proof Theory YEAR: 1975 NUMBER: 4116 AUTHOR: Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M. TITLE: Undecidable Theories YEAR: 1971 NUMBER: 4117 AUTHOR: Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni TITLE: Ordinal Algebras YEAR: 1970 NUMBER: 9579 AUTHOR: Tarski, Alfred TITLE: Einfuehrung in die mathematische Logik 5. Auflage YEAR: 1977 NUMBER: 8485 AUTHOR: Thiagarajan, Sivasailam; Stolovitch, Harold D. TITLE: Games With the Pocket Calculator YEAR: 1976 NUMBER: 9801 AUTHOR: Tou, Julius T.; Gonzalez, Rafael C. TITLE: Pattern Recognition Principles YEAR: 1974 NUMBER: 2470 AUTHOR: Traub, J.F. TITLE: Iterative Methods for the Solution of Equations YEAR: 1964 NUMBER: 5502 AUTHOR: Traub, J.F. (Ed) TITLE: Analytic Computational Complexity YEAR: 1976 NUMBER: 5888 AUTHOR: Traub, J.F. (Ed) TITLE: Algorithms and Complexity New Directions and Recent Results YEAR: 1976 NUMBER: 9650 AUTHOR: Tremblay, J.P.; Manohar, R. TITLE: Discrete Mathematical Structures with Applications to Computer Science YEAR: 1975 NUMBER: 9869 AUTHOR: Troelstra, A.S. TITLE: Choice Sequences A Chapter of Intuitionistic Mathematics YEAR: 1977 NUMBER: 2397 AUTHOR: Unger, Stephen H. TITLE: Asynchronous Sequential Switching Circuits YEAR: 1969 NUMBER: 8458 AUTHOR: Uspenskij, V.A. TITLE: Theory of Equations YEAR: 1948 NUMBER: 409 AUTHOR: Varga, Tamas TITLE: Mathematische Logik fuer Anfaenger YEAR: 1966 NUMBER: 8528 AUTHOR: Wahlster, Wolfgang TITLE: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... YEAR: 1981 NUMBER: 7554 AUTHOR: Wait, R. TITLE: The Numerical Solution of Algebraic Equations YEAR: 1979 NUMBER: 10048 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC YEAR: 1984 NUMBER: 10049 AUTHOR: Weissinger, Johannes TITLE: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme YEAR: 1984 NUMBER: 7156 AUTHOR: Williams, Neil H. TITLE: Combinatorial Set Theory YEAR: 1977 NUMBER: 9771 AUTHOR: Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed) TITLE: Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... YEAR: 1979 NUMBER: 9772 AUTHOR: Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed) TITLE: Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... YEAR: 1979 NUMBER: 9404 AUTHOR: Wong, C.K. TITLE: Algorithmic Studies in Mass Storage Systems YEAR: 1983 NUMBER: 9364 AUTHOR: Woods, John Lowe TITLE: Path Selection for Symbolic Execution Systems YEAR: 1982 NUMBER: 4321 AUTHOR: Yasuhara, Ann TITLE: Recursive Function Theory and Logic YEAR: 1971 NUMBER: 6242 AUTHOR: Yeh, Raymond T. (Ed) TITLE: Current Trends in Programming Methodology Volume I: Software Specification and Design YEAR: 1977 NUMBER: 7959 AUTHOR: Zuse, Konrad TITLE: Beschreibung des Plankalkuels YEAR: 1977 NUMBER: 9823 AUTHOR: Zuse, Konrad TITLE: Der Computer Mein Lebenswerk YEAR: 1984 NUMBER: 8100 AUTHOR: Wand, Mitchell TITLE: Induction, Recursion and Programming YEAR: 1980 NUMBER: 5133 AUTHOR: Wang, Hao TITLE: From Mathematics to Philosophy YEAR: 1974 NUMBER: 8732 AUTHOR: Webb, Judson Chambers TITLE: Mechnaism, Mentalism and Metamathematics YEAR: 1980 NUMBER: AUTHOR: Brauer, Wilfried; Indermark, Klaus TITLE: Algorithmen, rekursive Funktionen und formale Sprachen. YEAR: 1968 NUMBER: AUTHOR: Hofstadter, Douglas R. TITLE: Goedel, Escher, Bach. An eternal golden braid. A metaphorical fugue on minds and machines in the spirit of Lewis Carol. YEAR: 1982 NUMBER: AUTHOR: Lang, Serge TITLE: Algebra. 2. ed. YEAR: 1984 NUMBER: AUTHOR: LeVeque, William Judson TITLE: Topics in number theory. Vol. 2. 2. print. YEAR: 1961 NUMBER: AUTHOR: Borewicz, Senon I.; Safarevic, Igor R. TITLE: Zahlentheorie. Aus dem Russ. uebers. von Helmut Koch. Mit e. Geleitwort von Helmut Hasse. YEAR: 1966 NUMBER: AUTHOR: Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.) TITLE: Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. 2. Aufl. Band 4. Geometrie. YEAR: 1980 NUMBER: AUTHOR: Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.) TITLE: Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. Band 5. Geometrie. YEAR: 1971 NUMBER: AUTHOR: Ravenel, Douglas C. TITLE: Complex cobordism and stable homotopy groups of spheres. YEAR: 1986 NUMBER: AUTHOR: Sagle, Arthur A.; Walde, Ralph E. TITLE: Introduction to Lie groups and Lie algebras. YEAR: 1973 NUMBER: AUTHOR: Franz, Wolfgang TITLE: Topologie. 1. Allgemeine Topologie. 3. Auflage. YEAR: 1968 NUMBER: AUTHOR: Rogers, Hartley TITLE: Theory of recursive functions and effective computability. YEAR: 1967 NUMBER: AUTHOR: Hardy, G. H.; Wright, E. M. TITLE: An introduction to the theory of numbers. 5. ed. repr. YEAR: 1985 NUMBER: AUTHOR: van der Waerden, B. L. TITLE: Algebra. Unter Benutzung von Vorlesungen von E(mil) Artin und E(mmy) Noether. 5. Aufl.d. Modernen Algebra. 2. Teil. YEAR: 1967 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Lectures in abstract algebra. Vol.1. Basic concepts. YEAR: 1951 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Basic algebra. 1. YEAR: 1974 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Basic algebra. 2. YEAR: 1980 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Lectures in abstract algebra. Vol.2. Linear algebra. YEAR: 1953 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Lectures in abstract algebra. Vol.3. Field theory and Galois theory. YEAR: 1964 NUMBER: AUTHOR: Jacobson, Nathan TITLE: Structure of rings. Revised ed. repr. YEAR: 1968 NUMBER: 4515 AUTHOR: Holt, Richard C. TITLE: On deadlock in computer systems. YEAR: 1972 NUMBER: 9623 AUTHOR: Manna, Zohar TITLE: Lectures on the logic of computer programming. YEAR: 1980 NUMBER: 9622 AUTHOR: Winograd, Shmuel TITLE: Arithmetic complexity of computations. YEAR: 1980 NUMBER: 10115 AUTHOR: Lamport, Leslie TITLE: LATEX. A document preparation system. YEAR: 1986 NUMBER: 10038 AUTHOR: Kunz, Ernst TITLE: Introduction to commutative algebra and algebraic geometry. Transl. by Michael Ackerman. Preface by David Mumford. YEAR: 1985 NUMBER: 4492 AUTHOR: Nilsson, Nils J. TITLE: Problem-solving methods in artificial intelligence. YEAR: 1971 NUMBER: 8565 AUTHOR: Nilsson, Nils J. TITLE: Principles of artificial intelligence. YEAR: 1980 NUMBER: 10349 AUTHOR: Selman, Alan L. (Hrsg.) TITLE: Structure in complexity theory. Proceedings ... Berkeley, June 2-5, 1986. YEAR: 1986 NUMBER: 10352 AUTHOR: Shapiro, Ehud (Hrsg.) TITLE: Third (3.) international conference on logic programming. ... London ... July 14-18, 1986. Proceedings. YEAR: 1986 NUMBER: 10350 AUTHOR: Bibel, Wolfgang (Hrsg.); Kowalski, Robert (Hrsg.) TITLE: 5. conference on automated deduction. Les Arcs, France, July 8-11, 1980. YEAR: 1980 NUMBER: 10348 AUTHOR: van der Waerden, B. L. TITLE: Einfuehrung in die algebraische Geometrie. 2. Aufl. YEAR: 1973 NUMBER: 10346 AUTHOR: van der Waerden, B. L. TITLE: (Teils.) Zur algebraische Geometrie. Selected papers. Mit einem Geleitwort von F(riedrich) Hirzebruch. YEAR: 1983 NUMBER: 10345 AUTHOR: Hawksley, Chris; White, Neil TITLE: Assembly language programming on the IBM PC. YEAR: 1987 NUMBER: 10351 AUTHOR: Stanton, Dennis; White, Dennis TITLE: Constructive combinatorics. YEAR: 1986 NUMBER: 10071 AUTHOR: Vogel, W. TITLE: Lectures on results on Bezout's theorem. Notes by D. P. Patil. YEAR: 1984 NUMBER: 10080 AUTHOR: Miklosko, J. (Hrsg.); Kotov, V. E. (Hrsg.) TITLE: Algorithms, software and hardware of parallel computers. (Weitere Beitr.:) J. Chudnik, G. David, N.N. Mirenkov, J. Ondas u.a. YEAR: 1984 NUMBER: 9752 AUTHOR: Ben-Ari, M. TITLE: Grundlagen der Parallel-Programmierung. (Principles of concurrent programming. Deutsch.) YEAR: 1985 NUMBER: 9786 AUTHOR: Siegel, Howard Jay TITLE: Interconnection networks for large-scale parallel processing. Theory and case studies. YEAR: 1985 NUMBER: 4322 AUTHOR: Traub, Joe Fred TITLE: Complexity of sequential and parallel numerical algorithms. Proceedings ... Carnegie-Mellon, Pittsburgh, May 16-18, 1986. YEAR: 1973 NUMBER: 8836 AUTHOR: Wallach, Y. TITLE: Alternating sequential/parallel processing. YEAR: 1982 NUMBER: AUTHOR: Shelah, Saharon TITLE: Around classification theory of models. (14 loosely connected papaers by Shelah.) YEAR: 1986 NUMBER: 9235 AUTHOR: Evans, David J. (Hrsg.) TITLE: Parallel processing systems. YEAR: 1982 NUMBER: 9806 AUTHOR: Bertolazzi, Paola (Hrsg.); Luccio, Fabrizio (Hrsg.) TITLE: VLSI, algorithms and architectures. Proceedings ... Amalfi, May 23-25, 1984. YEAR: 1985 NUMBER: 10091 AUTHOR: Feilmeier, Manfred (Hrsg.); Joubert, Gerhard (Hrsg.); Schendel, Udo (Hrsg.) TITLE: Parallel computing 83. Proceedings ... Berlin, 26-28 September, 1983. YEAR: 1984 NUMBER: 9365 AUTHOR: Oleinick, Peter N. TITLE: Parallel algorothms on a multiprocessor. YEAR: 1982 NUMBER: 9808 AUTHOR: Danthine, Andre (Hrsg.); Geradin, Michel (Hrsg.) TITLE: Advanced software in robotics. Proceedings ... Liege, May 6-8, 1984. YEAR: 1984 NUMBER: 9591 AUTHOR: Ecker, Klaus TITLE: Organisation von parallelen Prozessen. Theorie deterministischer Schedules. YEAR: 1977 NUMBER: 9714 AUTHOR: Chow, Wushow (Hrsg.); Cotton, Ira W.; Falk, Gilbert; Lam, Simon S. TITLE: Computer communications. Vol. 1. Principles. (Weitere Beitraeger:) Patrick V. McGregor, R.Andrews Pickens, Helen M. Wood YEAR: 1983 NUMBER: 9715 AUTHOR: Tanenbaum, Andrew S. TITLE: Computer networks. YEAR: 1981 NUMBER: 8186 AUTHOR: Knoedel, W. (Hrsg.); Schneider, H. J. TITLE: Parallel processes and related automata. YEAR: 1981 NUMBER: 9360 AUTHOR: Kwong, Yat-sang TITLE: On reductions and livelocks in asynchronous parallel computing. YEAR: 1982 NUMBER: 10337 AUTHOR: Wirth, Niklaus TITLE: Systematisches Programmieren. Eine Einfuehrung. 5. Aufl. YEAR: 1985 NUMBER: 10338 AUTHOR: Wirth, Niklaus TITLE: Algorithmen und Datenstrukturen mit Modula-2. 4. Aufl. YEAR: 1986 NUMBER: 10323 AUTHOR: Conlon, Tom TITLE: Learning Micro-PROLOG. YEAR: 1985 NUMBER: 10323 AUTHOR: Conlon, Tom TITLE: Learning Micro-PROLOG. A problem solving approach. 2. printing. YEAR: 1986 NUMBER: 9562 AUTHOR: Casanova, Marco Antonio TITLE: The concurrency control problem for database systems. YEAR: 1981 NUMBER: 9415 AUTHOR: Ruschitzka, Manfred (Hrsg.); Christensen, M. (Hrsg.); Ames, W. F. (Hrsg.); Vichnevetsky, R. (Hrsg.) TITLE: Parallel and large-scale computers. Performance, architecture, applications...10th IMACS world congress. Montreal 8-13 Aug.1982 YEAR: 1983 NUMBER: AUTHOR: Becker, Eberhard TITLE: On the real spectrum of a ring and its application to semialgebraic geometry. YEAR: 1986 NUMBER: 10319 AUTHOR: M(a)cGregor, Jim (James) J.; Watt, Alan H. TITLE: The art of graphics for the IBM PC. YEAR: 1986 NUMBER: 10311 AUTHOR: M(a)cCorduck, Pamela TITLE: Machines who think. A personal inquiry into the history and prospects of artificial intelligence. (With several photographs.) YEAR: 1979 NUMBER: AUTHOR: Grabiner, Judith V. TITLE: Computers and the nature of man. A historian's perspective on controversies about artificial intelligence. YEAR: 1986 NUMBER: AUTHOR: Kolchin, E(llis) R. TITLE: Differential algebra and algebraic groups. YEAR: 1973 NUMBER: AUTHOR: Farmer, William M. TITLE: A unification algorithm for second-order monadic terms. YEAR: 1985 NUMBER: AUTHOR: Netto, Eugen TITLE: Vorlesungen ueber Algebra. 2. Band. (Nur 30.-45. Vorlesung.) YEAR: 1900 NUMBER: AUTHOR: Labonte, Gilles TITLE: A method of solution of polynomial equations defining finite rings. YEAR: 1986 NUMBER: 8200 AUTHOR: Horowitz, Ellis; Sahni, Sartaj TITLE: Fundamentals of computer algorithms. YEAR: 1978 NUMBER: 10296 AUTHOR: Meier, Andreas TITLE: Methoden der grafischen und geometrischen Datenverarbeitung. YEAR: 1986 NUMBER: 10297 AUTHOR: Kleine Buening, Hans; Schmitgen, Stefan TITLE: PROLOG. Grundlagen u. Anwendungen. YEAR: 1986 NUMBER: 10271 AUTHOR: Groebner, W(olfgang) TITLE: Gruppi, anelli e algebre di Lie. YEAR: 1975 NUMBER: 10270 AUTHOR: Ritt, Joseph Fels TITLE: Differential algebra. YEAR: 1950 NUMBER: 10286 AUTHOR: Siekmann, Joerg H. (Hrsg.) TITLE: 8th (eigth) International conference on automated deduction. Oxford, England, July 27 - August 1, 1986. Proceedings. YEAR: 1986 NUMBER: 10310 AUTHOR: Dubois, Donald Ward (Hrsg.); Recio, Thomas (Hrsg.) TITLE: Ordered fields and real algebraic geometry. Proceedings of the special session ... San Francisco, CA, January 7-11, 1981. YEAR: 1982 NUMBER: 10392 AUTHOR: Pieper, Herbert TITLE: Zahlen aus Primzahlen. 2. durchges. u. erw. Aufl. YEAR: 1984 NUMBER: 10309 AUTHOR: Carrell, James B. (Hrsg.); Geramita, A.V.(Hrsg.); Russell, Peter (Hrsg.) TITLE: Proceedings of the 1984 Vancouver conference in algebraic geometry. Held July 2-12, 1984. YEAR: 1986 NUMBER: ATP-26-III-84 AUTHOR: Fronhoefer, Bertram TITLE: Heuristics for Recursion Improvement YEAR: 1984 NUMBER: 045 AUTHOR: Bast, Heinz TITLE: Resolution auf Kleinrechnern: Taschenrechner und 1-Klausen-Verfahre n auf einem Z80-System YEAR: 1985 NUMBER: 135/85 AUTHOR: Otto, Friedrich TITLE: On Deciding Whether A Monoid is a Free Monoid Or is a Group YEAR: 1985 NUMBER: ATP-35-X-84 AUTHOR: Bibel, Wolfgang TITLE: Artificial Intelligence in Europe YEAR: 1984 NUMBER: ATP-25-III-84 AUTHOR: Furbach, Ulrich; Dirlich, Gerhard; Freska, Christian TITLE: Towards a Theory of Knowledge Representation Systems YEAR: 1984 NUMBER: ATP-23-I-84 AUTHOR: caferra, R.; Eder, E. Gerhard; Froenhofer, B.; Bibel, W. TITLE: Extensions of PROLOG Through MAtrix Reduction YEAR: 1984 NUMBER: AUTHOR: Bieri, H.; Nef, W. TITLE: A Sweep-Plane Algorithm for Computing the Euler-Characteristic of P olyhedra Represented in Boolean Form YEAR: 1985 NUMBER: RC11248 AUTHOR: Wagner, E.G.; Ehrig, H. TITLE: Canonical Constraints for Parameterized Data Types YEAR: 1985 NUMBER: AUTHOR: Buettner, Wolfram TITLE: Unification in the Data Structure Set YEAR: 1983 NUMBER: TUM-I8521 AUTHOR: Kroeger, Fred TITLE: Temporal Logic of Programs YEAR: 1985 NUMBER: 8505 AUTHOR: Kroeger, Henner TITLE: A Summary of a System for Partial Evaluation, Residual Evaluation, Code Generation and Semantics Directed Compiler Generation YEAR: 1985 NUMBER: AUTHOR: Kapur, Deepak; Narendran, Paliath TITLE: An Equational Approach to Theorem Proving in First-Order Predicate Calculus YEAR: 1984 NUMBER: AUTHOR: Kapur, Deepak; Srivas, Mandayam TITLE: A Rewrite Rule Based Approach for Synthesizing Abstract Data Types YEAR: 1985 NUMBER: AUTHOR: Kapur, Deepak; Narendran, Paliath; Sivakumar, G. TITLE: A Path Ordering for Proving Termination of Term Rewriting Systems YEAR: 1985 NUMBER: AUTHOR: Bokowski, Juergen; Sturmfels, Bernd TITLE: Coordinatization of Oriented Matroids YEAR: NUMBER: ATP-31-VII-84 AUTHOR: Fronhoefer, B.gen; Caferra, R.Bernd; Jacquet, P. TITLE: Improvement of Recursive Programs from a Logic Programming Point of View YEAR: 1984 NUMBER: ATP-32-VII-84 AUTHOR: Brena, R.; Caferra, R.; Fronhoefer, B.; Gresse, C. TITLE: Program Synthesis Through Problem Splitting: a Method for Subproble m Characterization YEAR: 1984 NUMBER: ATP-33-VII-84 AUTHOR: Eder, Elmar TITLE: An Implementation Theorem Prover Based on the Connection Method YEAR: 1984 NUMBER: ATP-20-IX-83 AUTHOR: Fronhoefer, B. TITLE: On Refinements of the Connection Method YEAR: 1983 NUMBER: ATP-22-XII-83 AUTHOR: Bibel, Wolfgang; Bruynooghe, M.; Freska, C.; Haddawy, P. TITLE: An Overview of Formalisms, Issues, Languages and Systems for the Re presentation of Knowledge YEAR: 1984 NUMBER: W122 AUTHOR: Barber, Eric Ole TITLE: Expert Systems Survey YEAR: 1984 NUMBER: W116 AUTHOR: Ford, L.Eric Ole TITLE: The Value of Natural Language to the Novice Programmer Learning to Structure Programs YEAR: 1983 NUMBER: W111 AUTHOR: Yazdani, Masoud TITLE: How to Build an Expert System YEAR: 1984 NUMBER: W100 AUTHOR: Campbell, J.A.d TITLE: Symbolic Computing and Program Verification YEAR: 1984 NUMBER: W126 AUTHOR: Davies, Roy; James, Brian TITLE: Expert Systems and Cataloguing YEAR: 1984 NUMBER: W132 AUTHOR: Lamb, M.A.R.; Turner, S.J. TITLE: Error Detection and Recovery for a LALR (1) ADA PArser YEAR: 1984 NUMBER: W133 AUTHOR: Campbell, J.A. TITLE: Expert Systems and Professional Liability YEAR: 1984 NUMBER: W127 AUTHOR: Campbell, J.A.; Froman, O.; Walles, E. TITLE: Explicit Series Formulae for the Evaluation of Integrals by the Met hod of Steepest Descents YEAR: 1984 NUMBER: CSD-TR-583 AUTHOR: Abhyankar, Shreeram; Bajaj, Chanderjit TITLE: Automatic Rational Parameterization of Curves and Surfaces I: Conic s and Conoids YEAR: 1984 NUMBER: AUTHOR: Torriani, Hugo TITLE: Conservation Laws for teh Korteweg-de Vries Equation and the Theory of Partitions YEAR: 1985 NUMBER: CSD-TR-567 AUTHOR: Bajaj, Chanderjit TITLE: Limitations to Algorithm Solvability: Galois Methods and Models of Computation YEAR: 1986 NUMBER: AUTHOR: Eder, E. TITLE: The Functional Differential Equation x'(t) = x(x(t)) YEAR: 1984 NUMBER: AUTHOR: Eder, E. TITLE: Existence, Uniqueness and Iterative Construction of Motions of Char ged Particles with Retarded Interactions YEAR: 1983 NUMBER: AUTHOR: Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H. TITLE: Programming Languages for Algebraic Manipulation YEAR: 1985 NUMBER: AUTHOR: Schoenfeld, Alan H. TITLE: Teaching Problem-Solving Skills YEAR: 1980 NUMBER: AUTHOR: Schoenfeld, Alan H. TITLE: Can Heuristics Be Taught? YEAR: 1979 NUMBER: AUTHOR: Bibel, Wolfgang; Eder, Elmar; Fronhoefer, Bertram TITLE: Towards an Advanced Implementation of the Connection Method YEAR: 1983 NUMBER: FBI-HH-B-112/85 AUTHOR: Sakharov, Alexander TITLE: D/M: An Interactive Functional Language for the Modular Constructio n of Programs YEAR: 1985 NUMBER: AUTHOR: Eder, Elmar TITLE: Bestimmung der Reichweiten allgemeiner rekursiver Definitionsprozes se fuer Ordinalzahlen und Ordinalzahlfunktionen YEAR: 1977 NUMBER: AUTHOR: Eder, Elmar TITLE: On the Question of the Existance of a Canonically Defined Distance Function for Metrics with Indefinite Signature on a Given Manifold YEAR: 1980 NUMBER: AUTHOR: Eder, Elmar TITLE: Verallgemeinerungen der Rellichschen Abschaetzung und eines Satzes v on E. Wienholtz YEAR: 1973 NUMBER: AUTHOR: Aurenhammer, Franz TITLE: The One-Dimensional Weighted Voronoi Diagram YEAR: 1986 NUMBER: AUTHOR: Pavelle, Richard; Rothstein, Michael; Fitch, John TITLE: Computer-Algebra YEAR: 1982 NUMBER: 018 AUTHOR: Paule, P. TITLE: Ein neuer Weg zur q-Lagrange Inversion YEAR: 1982 NUMBER: AUTHOR: Schwab, Guenther TITLE: Raumwirksamkeit der Fakultaet fuer Bauingenieurwesen und Architektur an der Universitaet Innsbruck (EIn Vergleich mit Wien und Graz) YEAR: 1986 NUMBER: AUTHOR: Paule, Peter TITLE: On Identities of the Rogers-Ramanujan Type YEAR: 1985 NUMBER: AUTHOR: Paule, Peter TITLE: A Note on Goulden-Jackson's q-Inversion Model YEAR: NUMBER: 021 AUTHOR: Paule, Peter TITLE: Ueber das Involutionsprinzip von Garisa und Milne YEAR: 1986 NUMBER: ICSCA-CMP-44 AUTHOR: Boyer, Robert S.; Moore, J. Strother TITLE: Integrating Decision Procedures into Heuristic Theorem Provers: A C ase Study of Linear Arithmetic YEAR: 1985 NUMBER: 043 AUTHOR: Shankar, N. . TITLE: Towards Mechanical Metamathematics YEAR: 1985 NUMBER: 045 AUTHOR: Shankar, N. . TITLE: A Mechanical Proof of the Church-Rosser Theorem YEAR: 1985 NUMBER: SEKI-85-03 AUTHOR: Boley, Harold; Kammermeier, Franz TITLE: LISPLOG: Momentaufnahmen einer LISP/PROLOG - Vereinheitlichung YEAR: 1985 NUMBER: SEKI-85-10 AUTHOR: Dahmen, Michael; Herr, Juergen; Hinkelmann, Knut; Morgenstern, Harry TITLE: LISPLOG: Beitraege zur LISP/PROLOG Vereinheitlichung YEAR: 1985 NUMBER: SEKI-86-04 AUTHOR: Boley, Harold TITLE: RELFUN: A Realtional/Functional Integration with Valued Clauses YEAR: 1986 NUMBER: AUTHOR: Aurenhammer, Franz TITLE: Improved Algorithms for Discs and Balls Using Power Diagrams YEAR: NUMBER: TR-06-84 AUTHOR: Valiant L.G. TITLE: Deductive Learning YEAR: 1984 NUMBER: TR-20-84 AUTHOR: Denenberg, Lawrence TITLE: Computational Complexity of Logical Problems: Formulas, Dependencie s, and Circuits YEAR: 1984 NUMBER: 85-11 AUTHOR: Drosten, K. TITLE: Term Rewriting Systems with Restricted Variables YEAR: 1985 NUMBER: AUTHOR: Buekner, W. TITLE: Implementierung von Computer-Algebra-Systemen (CAS) auf PCs YEAR: 1985 NUMBER: AUTHOR: Ehrig, Hartmut; Habel, Annegret; Rosen, Barry K. TITLE: Concurrent Transformations of Rrelational Structures YEAR: 1986 NUMBER: AUTHOR: Ehrig, Hartmut; Mahr, B. TITLE: Fundamentals of ALgebraic Specification 1: Equations and Initial Se mantics YEAR: 1985 NUMBER: AUTHOR: Sloane, N.J.A. TITLE: My Friend MACSYMA YEAR: 1986 NUMBER: AUTHOR: Bibel, Wolfgang; Eder, E.; Fronhoefer, B. TITLE: Towards an Advanced Implementation of the Connection Method YEAR: 1983 NUMBER: 84-645 AUTHOR: Constable, R.L.; Knoblock, T.B.; Bates, J.L. TITLE: Writing Programs That Construct Proofs YEAR: 1984 NUMBER: 85-13 AUTHOR: Rieckhoff, Catharina TITLE: Induzierte Korrektheit parametrisierter algebraischer Spezifikation en unter der Anwendung kategorieller Methoden YEAR: 1985 NUMBER: 85-11 AUTHOR: Langen, Anno TITLE: PERSIST ein Programm zur Ueberpruefung syntaktischer, hinreichender B ed. fuer Persistenz parametrisierter, algebraischer Spezifikationen YEAR: 1985 NUMBER: 85-17 AUTHOR: Hummert, Udo; Werner, Klaus-Juergen TITLE: A Storage Management System. An Example for an Algebraic Specificat ion and its Proof Techniques YEAR: 1985 NUMBER: 85-12 AUTHOR: Langen, Anno TITLE: Algorithmen zur Ueberpruefung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE YEAR: 1985 NUMBER: AUTHOR: Hasler, Klaus Peter; de Meer, Jan TITLE: OSI Transport Service Considered as an Abstract Data Type YEAR: 1985 NUMBER: 85-10 AUTHOR: Grude, Ulrich TITLE: Algebraische Spezifikation und Korrektheit von Compilen YEAR: 1985 NUMBER: AUTHOR: Ehrig, H.; Weber, H. TITLE: Towards Programming in the Large with Algebraic Module Specificatio ns YEAR: 1985 NUMBER: AUTHOR: Ehrig, H.; Habel, A. TITLE: Graph Grammars with Application Conditions YEAR: 1985 NUMBER: R-107 AUTHOR: Gardin, Francesco; Campbell, John A. TITLE: Integration of Expert-Systems Techniques and Specification of Patte rns in Testing of Program Behaviour YEAR: 1981 NUMBER: R-110 AUTHOR: Turner, S.J. TITLE: Extensible Languages: Which Parsing Method? YEAR: 1982 NUMBER: R-103 AUTHOR: Campbell, John A.; Gardin, Francesco TITLE: A Rule-Based Approach to the Optimisation of a Many-Variable Comput ation YEAR: 1981 NUMBER: R-146 AUTHOR: Yazdani, Masoud; Lawler, Robert TITLE: Artificial Intelligence and Education: An Overview YEAR: 1985 NUMBER: R-136 AUTHOR: Yazdani, Masoud TITLE: Intelligent Tutorial Systems: An Overview YEAR: 1985 NUMBER: R-127 AUTHOR: Cumming, R.C. TITLE: Using PROLOG to Learn Grammars from Examples YEAR: 1984 NUMBER: R-125 AUTHOR: Blatt, D.W.E.; Narayanan, A.; Nymeyer, A.; Wallis, W.D. TITLE: LISP Through ULISP YEAR: 1984 NUMBER: R-123 AUTHOR: Campbell, John A.; Froeman, O.; Walles, E. TITLE: Explicit Series Formulae for the Evaluation of Integrals by the Met hod of Steepest Descents YEAR: 1984 NUMBER: R-120 AUTHOR: Turner, S.J. TITLE: W-Grammars for Logic Programming YEAR: 1984 NUMBER: R-112 AUTHOR: GArdin, Francesco; Campbell, John A. TITLE: A Knowledge-Based Approach to user-Freindliness in Symbolic Computi ng YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Some Undecidability Results for Non-Monadic Church-Rosser Thue Syst ems YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich; Wrathall, Celia TITLE: A Note on Thue Systems with a Single Defining Relation YEAR: 1985 NUMBER: AUTHOR: Narendran, Paliath; Otto, Friedrich TITLE: Complexity Results on the Conjugacy Problem for Monoids YEAR: 1985 NUMBER: AUTHOR: Bauer, G.; Otto, Friedrich TITLE: Finite Complete Rewriting Systems and the Complexity of the Word Pr oblem YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Conjugacy in Monoids with a Special Church-Rosser Presentation is D ecidable YEAR: 1984 NUMBER: AUTHOR: Otto, Friedrich TITLE: Classes of Regular and Context-Free languages Over Countably Infini te Alphabets YEAR: 1984 NUMBER: AUTHOR: NN TITLE: SYPAC, systeme Pascal d'aide au calcul formel YEAR: NUMBER: AUTHOR: Schmittner, Guenther; Ramaseder, Josef TITLE: Simulation fuer das Verkehrsgeschehen in einem Stadtteil YEAR: NUMBER: AUTHOR: Mueller-Schloer, C. TITLE: Standardentwurfsverfahren YEAR: 1986 NUMBER: 216 AUTHOR: Aurenhammer, Franz TITLE: Efficient Computation of Low-Order Voronoi Diagrams via Convex Hull s YEAR: 1985 NUMBER: 205 AUTHOR: Aurenhammer, Franz TITLE: A Criterion for the Affine Equivalence of Cell Complexes in R-d and Convex Polyhedra in R-d+1 YEAR: 1985 NUMBER: 203 AUTHOR: Aurenhammer, Franz TITLE: recognizing Polytopical Cell Complexes and Constructing Projection Polyhedra YEAR: 1985 NUMBER: F120 AUTHOR: Aurenhammer, Franz TITLE: Power Diagrams, Properties, Algorithms, and Applications YEAR: 1983 NUMBER: F110 AUTHOR: Aurenhammer, Franz TITLE: The One-Dimensional Weighted Voronoi Diagram YEAR: 1983 NUMBER: F109 AUTHOR: Aurenhammer, Franz; Edelsbrunner, H. TITLE: An Optimal Algorithm for Constructing the Weighted Voronoi Diagram in the Plane YEAR: 1983 NUMBER: 8601 AUTHOR: Krause, Manfred; Roessig, Stephan TITLE: A New Class Concept Supporting Abstract Data Types YEAR: 1986 NUMBER: 8611 AUTHOR: Olderog, E.R.; Apt, K.R. TITLE: Fairness in Parallel Programs: The Transformational Approach YEAR: 1986 NUMBER: 8506 AUTHOR: Olderog, E.R.; Hoare, C.A.R. TITLE: Specification-oriented -semantics for Communicating Processes YEAR: 1986 NUMBER: 8507 AUTHOR: Olderog, Ernst Ruediger TITLE: Process Theory: Semantics, Specification and Verification YEAR: 1985 NUMBER: R-100 AUTHOR: Gardin, Francesco; Campbell, John A. TITLE: Tracing Occurences of Patterns in Symbolic Computations YEAR: 1981 NUMBER: AUTHOR: Grigorev, D. Yu. TITLE: Additive Complexity in Directed Computations YEAR: 1982 NUMBER: CS-84-13 AUTHOR: Char, Bruce; Fee, Gregory; Geddes, Keith O.; Gonnet, Gaston TITLE: On the Design and Performance of the MAPLE System YEAR: 1984 NUMBER: CS-83-06 AUTHOR: Char, Bruce; Geddes, Keith O.; Gentleman, Morven; Gonnet, Gaston TITLE: The Design of MAPLE: A Compact, Portable, and Powerful Computer Algebra System YEAR: 1983 NUMBER: AUTHOR: Char, Bruce; Geddes, Keith O.; Gonnet, GAston TITLE: First Leaves: A Tutorial Introduction to MAPLE YEAR: 1985 NUMBER: AUTHOR: Char, Bruce; Geddes, Keith O.; Gonnet, GAston TITLE: Programming Languages for Algebraic Manipulation YEAR: 1985 NUMBER: PRG-23 AUTHOR: Hoare, C.A.R. TITLE: A Calculus of Total Correctness for Communicating Processes YEAR: 1981 NUMBER: PRG-29 AUTHOR: Hoare, C.A.R. TITLE: Specifications, Programs and Implementations YEAR: 1981 NUMBER: PRG-6 AUTHOR: Scott, Dana; Strachey, Christopher TITLE: Toward a Mathematical Semantics for Computer Languages YEAR: 1981 NUMBER: PRG-5 AUTHOR: Scott, Dana TITLE: Data Types as Lattices YEAR: 1981 NUMBER: PRG-3 AUTHOR: Scott, Dana TITLE: The Lattice of Flow Diagrams YEAR: 1981 NUMBER: PRG-2 AUTHOR: Scott, Dana TITLE: Outline of a Mathematical Theory of Computation YEAR: 1981 NUMBER: PRG-22 AUTHOR: Hoare, C.A.H. TITLE: A Model for Communicating Sequential Processes YEAR: 1981 NUMBER: PRG-52 AUTHOR: Hoare, C.A.H.; Jifeng, He TITLE: Algebraic Specification and Proof of Properties of Communicating Se quential Processes YEAR: 1981 NUMBER: PRG-37 AUTHOR: Olderog, E.R.; Hoare, C.A.R. TITLE: Specification-Oriented Semantics for Communicating Processes YEAR: 1981 NUMBER: PRG-44 AUTHOR: Hoare, C.A.H.; Jifeng, He TITLE: The Weakest Prespecification YEAR: 1984 NUMBER: PRG-20 AUTHOR: Chen, Zhou Chao; Hoare, C.A.H. TITLE: Partial Correctness of Communicating Processes and Protocols YEAR: 1981 NUMBER: PRG-39 AUTHOR: Sheeran, Maryao TITLE: muFP - An Algebraic VLSI Design Language YEAR: 1983 NUMBER: AUTHOR: Ganzinger, Harald TITLE: Ground Term Confluence in Parametric Conditional Equational Specifi cations YEAR: 1986 NUMBER: 5/86 AUTHOR: Kemper, Alfons; Wessel, Mechtild TITLE: An Analysis of Geometric Modelling in Database Management Systems YEAR: 1986 NUMBER: 4/86 AUTHOR: Kemper, Alfons TITLE: Abstract Datatypes in CIM Databases YEAR: 1986 NUMBER: 10/86 AUTHOR: Bockmayr, Alexander TITLE: Conditional Rewriting and Narrowing as a Theoretical Framework for Logic-Functional Programming YEAR: 1986 NUMBER: 218 AUTHOR: Loewen, Ulrich TITLE: Logical Decision Problems and Compexity of Logic Programs YEAR: 1986 NUMBER: 213 AUTHOR: Boerger, E. TITLE: Logic as Machine: Complexity Relations Between Programs and formula e YEAR: 1985 NUMBER: 18/86 AUTHOR: Knoedler, Brigitte; Rosenstiel, Wolfgang TITLE: KI - Maschinen YEAR: 1986 NUMBER: SWP-86-02 AUTHOR: Eiden, Hans-Werner; Linster, Marc TITLE: HIQUAL. Implementierung eines Systems zur Darstellung von Zeit und Kausalitaet YEAR: 1986 NUMBER: SWP-86-04 AUTHOR: Lessel, Michael TITLE: micro-UNIXPERT. Ein wissensbasiertes System zur Behandlung von Prob lemen bei UNIX-Druckauftraegen YEAR: 1986 NUMBER: SWP-86-05 AUTHOR: Hinkelmann, Knut TITLE: Uebersetzung von LISPLOG-Programmen nach CPROLOG YEAR: 1986 NUMBER: SR-86-14 AUTHOR: Beierle, Christoph; Vo~, Angelika TITLE: On Implementations of Loose Abstract Data Type Specifications and t heir Vertical Composition YEAR: 1986 NUMBER: SR-86-13 AUTHOR: Beierle, Christoph; Vo~, Angelika TITLE: Hierarchical Structures and Dynamic Parameterization without Parame ters YEAR: 1986 NUMBER: SR-86-11 AUTHOR: Socher, Rolf TITLE: Verification of COBOL Programs YEAR: 1986 NUMBER: SR-86-09 AUTHOR: Olthoff, Walter TITLE: The Augmentation of Object-Oriented Programming by Concepts of Abst ract Data Type theory: The ModPascal Experience YEAR: 1986 NUMBER: SR-86-08 AUTHOR: Schmidt-Schau~, Manfred TITLE: Some Undecidable Classes of Clause Sets YEAR: 1986 NUMBER: SR-86-07 AUTHOR: Schmidt-Schau~, Manfred TITLE: Unification Properties of Idempotent Semigroups YEAR: 1986 NUMBER: SR-86-06 AUTHOR: Goebel, Richard TITLE: Completion of Globally Finite Term Rewriting Systems for Inductive Proofs YEAR: 1986 NUMBER: SR-86-05 AUTHOR: Buerckert, Hans-Juergen TITLE: Some Relationships between Unification Restricted Unification and M atching YEAR: 1986 NUMBER: SR-86-04 AUTHOR: Boley, Harold TITLE: RELFUN: A Relational/Functional Integration with Valued Clauses YEAR: 1986 NUMBER: SR-86-03 AUTHOR: Reinfrank, Michael; Beetz, Michael; Freitag, Hartmut; Klug, Juergen TITLE: Kapri: A Rule Based Non-Monotonic Inference Engine with an Integrat ed Reason Maintenance System YEAR: 1986 NUMBER: SR-86-02 AUTHOR: Beierle, Christoph; Vo~, Angelika TITLE: Specification, Horizontal Composition and Parameterization of Algeb raic Implementations YEAR: 1986 NUMBER: SR-86-15 AUTHOR: Beierle, Christoph; Vo~, Angelika TITLE: Stepwise Software Development: Combining Axiomatic and Algorithmic Approaches in Algebraic Specifications YEAR: 1986 NUMBER: SR-86-01 AUTHOR: Blaesius, Karl-Hans TITLE: Construction of Equality Graphs YEAR: 1986 NUMBER: SR-86-16 AUTHOR: Herold, Alexander TITLE: Narrowing Techniques Applied to Idempotent Unification YEAR: 1986 NUMBER: SR-86-18 AUTHOR: Goebel, Richard TITLE: Ground Confluence YEAR: 1986 NUMBER: SWP-86-01 AUTHOR: Puppe, Frank; Voss, Hans TITLE: Qualitative Modelle in wissensbasierten Systemen YEAR: 1986 NUMBER: SEKI-85-10 AUTHOR: Dahmen, Michael; Herr, Juergen; Hinkelmann, Knut; Morgenstern, Harry TITLE: LISPLOG: Beitraege zur LISP/PROLOG Vereinheitlichung YEAR: 1986 NUMBER: AUTHOR: Wang, Patrick Shen-pei TITLE: A New Character Recognition Scheme with Lower Ambiguity and Higher Recognizability YEAR: 1985 NUMBER: AUTHOR: Wang, Patrick Shen-pei TITLE: Hierarchical Structures and Compexities of Parallel Isometric Langu ages YEAR: 1983 NUMBER: AUTHOR: Wang, Patrick Shen-pei TITLE: A New Hierarchy of Two-Dimensional Array Languages YEAR: 1982 NUMBER: AUTHOR: Wang, Patrick Shen-pei TITLE: Generation and Parsing of Isometric Parallel Context-Free Array Pat terns YEAR: NUMBER: AUTHOR: Wang, Patrick Shen-pei TITLE: Finite-Turn Repetive Checking Automata and Sequential/Parallel Matr ix Languages YEAR: 1981 NUMBER: AUTHOR: Wang, Patrick Shen-pei; Grosky, William TITLE: SIMPARAG - Simultaneous Parallel Array Grammars YEAR: 1975 NUMBER: 153/86 AUTHOR: Boley, Harold TITLE: RELFUN: A Relational/Functional Integration with Valued Clauses YEAR: 1986 NUMBER: 219 AUTHOR: Ohsendoth, Christoph; Schulz, Paul TITLE: SMAUG - Benutzerhandbuch YEAR: 1986 NUMBER: AUTHOR: Baaz, Mathias; Leitsch, Alexander TITLE: Die Anwendung starker Reduktionsregeln im automatischen Beweisen YEAR: 1986 NUMBER: AUTHOR: Connor, J.N.L.; Farrelly, D. TITLE: Theory of Cusped Rainbows in Elastic Scattering: Uniform Semiclassi cal Calculations Using Pearcy's Integral YEAR: 1981 NUMBER: AUTHOR: Connor, J.N.L.; Farrelly, D. TITLE: Molecular Collisions and Cusp Catastrophes: Three Methods for the C alculation of Pearcy's Integral and its Derivatives YEAR: 1981 NUMBER: AUTHOR: Connor, J.N.L.; Curtis, P.R. TITLE: A Method for the Numerical Evaluation of the Oscillatory Integrals Associated with the Cuspoid Catastrophes... YEAR: 1982 NUMBER: AUTHOR: Connor, J.N.L.; Curtis, P.R.; Farrelly, D. TITLE: A Differential Equational Method for the Numerical Evaluation of th e Airy, Pearcey and Swallowtail Canonical Integrals and Deriv. YEAR: 1983 NUMBER: AUTHOR: Connor, J.N.L.; Curtis, P.R.; Edge, C.J.; Lagana, A. TITLE: The Uniform Asymptotic Swallotail Approximation: Application to the Collinear H+F2 Chemical Reaction YEAR: 1984 NUMBER: AUTHOR: Connor, J.N.L.; Curtis, P.R. TITLE: Differential Equations for the Cuspoid Canonical Integrals YEAR: 1984 NUMBER: AUTHOR: Connor, J.N.L.; Curtis, P.R.; Farrelly, D. TITLE: The Uniform Asymtotic Swallotail Aproximation: Practical Methods fo r Oscillating Integrals with Four Coalescing Saddle Points YEAR: 1984 NUMBER: ETH AUTHOR: Kuechlin, Wolfgang TITLE: Equational Completion by Proof Transformation YEAR: 1986 NUMBER: AUTHOR: Renschuch, Bodo; Bresinsky, Henrik; Meinhold, Ute TITLE: Beitraege zur konstruktiven Theorie der Polynomideale. XXII: Einige Anwendungen von Groebner Basen YEAR: 1986 NUMBER: AUTHOR: Renschuch, Bodo; et al. TITLE: Beitraege zur konstruktiven Theorie der Polynomideale. XXI: Syzygien berechnung bei moeglichen Reduktionen auf Potenzproduktideale YEAR: 1986 NUMBER: AUTHOR: Muth, Gerhard; Nesselmann, Dieter; Renschuch, Bodo TITLE: Eigenschaften von Polynomidealen in Abhaengigkeit von der Charakteri stik YEAR: 1986 NUMBER: AUTHOR: Rasputin, Georgij; Renschuch, Bodo TITLE: Ueber Basen nulldimensionaler Polynomideale YEAR: 1986 NUMBER: AUTHOR: Walter, Eric; Lecourtier, Yves TITLE: Global Approaches to identifiability Testing for Linear and Nonline ar Stat Space Models YEAR: 1982 NUMBER: AUTHOR: Sasaki, Tateaki TITLE: Cramer-type Formula for the Polynomial Solutions of Coupled Linear Equations with Polynomial Cefficients YEAR: 1985 NUMBER: AUTHOR: Moeller, Michael TITLE: On the Construction of Cubature Formulae with Few Nodes Using Groebn er Bases YEAR: 1986 NUMBER: AUTHOR: Mora, Teo TITLE: Standard Bases YEAR: NUMBER: AUTHOR: Schiffels, Gerhard TITLE: Graduierte Ringe und Moduln YEAR: 1960 NUMBER: AUTHOR: Schiffels, Gerhard TITLE: Zur Stetigkeit der Wurzeln der algebraischen Gleichungen ueber topol ogischen Integritaetsbereichen YEAR: NUMBER: AUTHOR: Novacek, Alfred TITLE: Datentransfer zwischen PC's verschiedener Typen YEAR: 1986 NUMBER: 211 AUTHOR: Shilling, Werner TITLE: A Time- and Space-optimal Divide-and-Conquer Algorithm for the Rect angular Closure Problem YEAR: 1985 NUMBER: 217 AUTHOR: Szwillus, Gerder; Hemmer, Wilfried TITLE: Die automatische Erzeugung effizienter Scanner YEAR: 1986 NUMBER: 220 AUTHOR: Ganzinger, Harald; Giegerich, Robert; Vach, Martin TITLE: MARVIN. A Tool for Applicative and Modular Compiler Specifications YEAR: 1986 NUMBER: AUTHOR: Bresinsky, Henrik; Renschuch, Bodo TITLE: On Generating Sets of Minimal Length for Polynomial Ideals YEAR: NUMBER: AUTHOR: Conway, J.H. TITLE: FRACTRAN. A Simple Universal Programming Language for Arithmetic YEAR: NUMBER: AUTHOR: Bachmair, Leo; Dershowitz, Nachum TITLE: Completion for Rewriting Modulo a Congruence YEAR: NUMBER: AUTHOR: Renschuch, Bodo TITLE: Beitraege zur konstruktiven Theorie der Polynomideale. XX. Abhyankar sche Ideale sechster Ordnung und allgemeine Nullstellen mit Unbest. YEAR: 1984 NUMBER: AUTHOR: Renschuch, Bodo TITLE: Beitraege zur konstruktiven Theorie der Polynomideale. XIX. Zur Bere chnung dritter und hoeherer Syzygienmoduln YEAR: 1984 NUMBER: AUTHOR: Basu, S.; Bose, N.K. TITLE: Stability of 2-D Matrix Rational Approximationts from Input Data YEAR: 1981 NUMBER: AUTHOR: Fujise, Tetsuro; kobayashi, Hidesune; Furukawa, Akio TITLE: Solving Algebraic Equations by General Elimination Method YEAR: NUMBER: AUTHOR: Sasaki, Tateaki TITLE: Cramer-type Formula for the Polynomial Solutions of Coupled Linear Equations with Polynomial Cefficients YEAR: NUMBER: AUTHOR: Mora, Ferdinando; Moeller, Michael TITLE: The Computation of the Hilbert Function YEAR: NUMBER: AUTHOR: Mora, Ferdinando TITLE: New Constructive Methods in Classical Ideal Theory YEAR: NUMBER: AUTHOR: nn TITLE: On Groebner Bases YEAR: NUMBER: AUTHOR: Hoehnke, Hans-Juergen TITLE: Ueber eine Transformationseigenschaft der Nonionen YEAR: 1978 NUMBER: AUTHOR: Wolfram, Stephen TITLE: Computer Software in Science and Mathematics YEAR: NUMBER: AUTHOR: Kaltofen, Erich TITLE: Factorization of Polynomials Given by Straight Line Programs YEAR: NUMBER: AUTHOR: Zassenhaus TITLE: Graduate Course in Mathematics, Lie Algebras and Symmetrie Breaking YEAR: NUMBER: AUTHOR: Albert, J.; Cuklic, K. TITLE: Test Sets for Homomorphism Equivalence on Context Free Languages YEAR: 1980 NUMBER: 153/86 AUTHOR: Boley, Harold TITLE: RELFUN: A Relational/Functional Integration with Valued Clauses YEAR: 1986 NUMBER: 213 AUTHOR: Boerger, E. TITLE: Logic as Machine: Complexity Relations between Programs and Formula e YEAR: 1985 NUMBER: AUTHOR: Sasaki, Tateaki; Furukawa, Akio TITLE: Theory of Multiple Polynomial Remainder Sequence YEAR: 1984 NUMBER: AUTHOR: Lue, H.E.; Wang, P.S.P. TITLE: A Comment on A Fast Parallel Algorithm for Thinning Digital Pattern s YEAR: 1986 NUMBER: 576 AUTHOR: Idzik, Adam TITLE: On Gamma-almost Fixed Point Theorems YEAR: 1986 NUMBER: 577 AUTHOR: Warmus, M.; Bogdanik, T.; Geraga, W.; Zambrzycki, J. TITLE: modelowanie matematyczne w przewletej zastoinowej niewydolnosci kra zenia YEAR: 1986 NUMBER: 578 AUTHOR: Buszkowski, Wojciech; Orlowska, Ewa TITLE: Relational Calculus and Data Dependencies YEAR: 1986 NUMBER: 579 AUTHOR: Majerski, Stanislaw TITLE: High-speed Execution of the multiplication and Addition Sequences YEAR: 1986 NUMBER: 580 AUTHOR: Wieczorek, Andrzej TITLE: Spot Functions and Peripherals: Krein-Milman Type Theorems in Abstr act Setting YEAR: 1986 NUMBER: 582 AUTHOR: Orlowska, Ewa; Weingartner, Paul TITLE: Semantic Considerations on Relevance YEAR: 1986 NUMBER: 581 AUTHOR: Gargov, George TITLE: Two Completeness Theorems in the Logic for Data Analysis YEAR: 1986 NUMBER: 583 AUTHOR: Rzeczkowski, Wiktor; Subieta, Kazimierz TITLE: Stored Queries, A Data Structure for Query Optimization YEAR: 1986 NUMBER: 103 AUTHOR: Albert, J.; Wood, D. TITLE: Checking Sets, Test Sets, Rich Languages and Commutatively-Closed L anguages YEAR: 1981 NUMBER: 104 AUTHOR: Albert, J.; Culik, K.; karhumaeki, J. TITLE: Test Sets for Context Free languages and Algebraic Systems of equat ions over a Free Monoid YEAR: 1981 NUMBER: SR-86-12 AUTHOR: Puppe, F.G. TITLE: Assoziatives diagnostisches Problemloesen mit dem Expertensystem-she ll MED2 YEAR: 1986 NUMBER: RIMS-558 AUTHOR: Hattori, T.; Nakajima, R.; Sakuragawa, T.; Niide, N. TITLE: RACCO: a Modal-Logic Programming Language for Writing Models of Rea l-time Process-Control Systems YEAR: 1986 NUMBER: RIMS-561 AUTHOR: Sakuragawa, T.; Nakajima, R.; Hattori, T.; Niide, N. TITLE: A Work Out Example of Tube Mill in RACCO YEAR: 1986 NUMBER: 571 AUTHOR: Szafranska, I. TITLE: Hierarchia klas schematow programow z ograniczona pamiecia YEAR: 1985 NUMBER: 570 AUTHOR: Wierzchon, S. TITLE: Clustering Algorithms Based on Fuzzy Measure YEAR: 1985 NUMBER: 575 AUTHOR: Wieczorek, Andrzej TITLE: O zastosowaniu twierdzen o punkcie stalym w teorii gier i matematyz nej ekonomii YEAR: 1986 NUMBER: AUTHOR: Ernst, Dietrich; Garbrecht, Kurt; et al. TITLE: Chancen mit Chips. Zwischenbilanz einer Basistechnologie YEAR: 1984 NUMBER: 050 AUTHOR: Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William TITLE: On the Correctness of Orphan Elimination Algorithms YEAR: NUMBER: AUTHOR: Wolfram, Stephen TITLE: Cellular Automata as Models of Compexity YEAR: 1984 NUMBER: AUTHOR: Ida; et al. TITLE: On Termination and Ordering YEAR: 1987 NUMBER: 574 AUTHOR: Ambroszkiewics, Stanislaw TITLE: Common Knowledge, Subjective Knowledge and Bayesian Players in Nonc ooperative Games YEAR: 1986 NUMBER: 572 AUTHOR: Subieta, Kazimierz; Missala, Marek TITLE: Semantics of Query Languages for the Entity-Relationship Model YEAR: 1986 NUMBER: AUTHOR: Bibel, Wolfgang TITLE: Unrestricted Resolution is Exponential YEAR: 1980 NUMBER: 82 AUTHOR: Bibel, Wolfgang TITLE: A Comparative Study of Several Proof Procedures YEAR: 1979 NUMBER: ATP-1-I-80 AUTHOR: Bibel, Wolfgang TITLE: A Formal Basis for the Systematic Proof Method YEAR: 1980 NUMBER: Roider(Nachlass) AUTHOR: Barashko, A.C.; Lipskaya, B.A.; Royzen, S.I. TITLE: Issledovane po teorii slozhosti vychisleniy l formalnym yazykam YEAR: NUMBER: Roider(Nachlass) AUTHOR: Arnold, V.I. TITLE: matematiueskie metody klassiueskoy mekhainki YEAR: NUMBER: Roider(Nachlass) AUTHOR: Arnold, V. TITLE: methodes mathematiques de la mecanique classique YEAR: NUMBER: Roider(Nachlass) AUTHOR: Arnold, V.I.; Avez, A. TITLE: problemes erodiques de la mecanique classique YEAR: NUMBER: Roider(Nachlass) AUTHOR: Ataiasya, L.S.; Vasilbeva, M.V.; Gurevich, G.; et al. TITLE: sornik zadach po zlementarnoy geometrii YEAR: NUMBER: Roider(Nachlass) AUTHOR: Berger, A. TITLE: Einfuehrung in COBOL YEAR: NUMBER: Roider(Nachlass) AUTHOR: Billingsley, Patrick TITLE: Ergodic theory and information YEAR: NUMBER: Roider(Nachlass) AUTHOR: Boecker, Franz; Thomas, Lutz TITLE: Marketing YEAR: NUMBER: Roider(Nachlass) AUTHOR: Buchberger, B.; Collins, G.E.; Loos, R.; Albrecht, R. TITLE: Computer algebra, symbolic and algebraic computation YEAR: NUMBER: Roider(Nachlass) AUTHOR: Buchberger, B.; Lichtenberger, F. TITLE: Mathematik fue Informatiker I YEAR: NUMBER: Roider(Nachlass) AUTHOR: Bowen, Rufus TITLE: On axiom a diffeomorphisms YEAR: NUMBER: Roider(Nachlass) AUTHOR: Bronstein, I.N.; Semendjajew, K.A. TITLE: Taschenbuch der Mathematik YEAR: NUMBER: Roider(Nachlass) AUTHOR: Chevalley, Claude TITLE: Theory of Lie groups YEAR: NUMBER: Roider(Nachlass) AUTHOR: Collet, Pierre; Eckmann, Jean-Pierre TITLE: Iterated maps on the interval as dynamical systems YEAR: NUMBER: Roider(Nachlass) AUTHOR: Cooper, Joseph D. TITLE: So schafft man mehr in weniger Zeit YEAR: NUMBER: Roider(Nachlass) AUTHOR: Cornfeld, I.P.; Fomin, S.V.; Sinai, Ya. G. TITLE: Ergodic theory YEAR: NUMBER: Roider(Nachlass) AUTHOR: Davis, Martin TITLE: Computability and unsolvability YEAR: NUMBER: Roider(Nachlass) AUTHOR: Denker, Manfred; Grillenberger, Christian; Sigmund, Karl TITLE: Ergodic theory of compact spaces, Lnm. 527 YEAR: NUMBER: Roider(Nachlass) AUTHOR: Dick, Auguste TITLE: Emmy Noether YEAR: NUMBER: Roider(Nachlass) AUTHOR: Dick, Auguste TITLE: Emmy Noether YEAR: NUMBER: Roider(Nachlass) AUTHOR: Doob, J.L.; et al. TITLE: A manual for authors of amthematical papers YEAR: NUMBER: Roider(Nachlass) AUTHOR: Ershov, Yu. L. TITLE: teoriya iumeratsiy YEAR: NUMBER: Roider(Nachlass) AUTHOR: Faddev, D.K.; Somniskiy, I.S. TITLE: Sornik zadach po visshey algere YEAR: NUMBER: Roider(Nachlass) AUTHOR: Feller, William TITLE: An introduction to probability theory and its applications YEAR: NUMBER: Roider(Nachlass) AUTHOR: Edwards, R.E.; Gaudry, G.I. TITLE: Littlewood-Paley and multiplier theory YEAR: NUMBER: Roider(Nachlass) AUTHOR: Halmos, P.R. TITLE: Lectures on ergodic theory YEAR: NUMBER: Roider(Nachlass) AUTHOR: Hirschman, I.I. TITLE: Teh decomposition of walsh and fourier series YEAR: NUMBER: Roider(Nachlass) AUTHOR: Klingenberg, W. TITLE: Eine Vorlesung ueber Differentialgeometrie YEAR: NUMBER: Roider(Nachlass) AUTHOR: Kolchin, E.R. TITLE: Differential algebra and algebraic groups YEAR: NUMBER: Roider(Nachlass) AUTHOR: korolyuka, V.C. TITLE: Spravochnik po teorii veroyatnostey i matematicheskoy statistike YEAR: NUMBER: Roider(Nachlass) AUTHOR: Loomis, L.H. TITLE: An introduction to abstract harmonic analysis YEAR: NUMBER: Roider(Nachlass) AUTHOR: Neveu, Jacques TITLE: Discrete parameter martingales YEAR: NUMBER: Roider(Nachlass) AUTHOR: Noltemeier, Hartmut TITLE: Datenstrukturen und hoehere Programmiertechniken YEAR: NUMBER: Roider(Nachlass) AUTHOR: Ornstein, Donald S. TITLE: Ergodic theory, randomness, and dynamical systems YEAR: NUMBER: Roider(Nachlass) AUTHOR: Polkinghorne, J.C. TITLE: Teh particle play YEAR: NUMBER: Roider(Nachlass) AUTHOR: Preston, Chris TITLE: Iterates of maps on an interval YEAR: NUMBER: Roider(Nachlass) AUTHOR: Proskuryakov, I.V. TITLE: Sornik zadach po lineynoy algebre YEAR: NUMBER: Roider(Nachlass) AUTHOR: Rao, Ganti Prasada TITLE: Piecewise constant orthogonal functions and their application to sy stems and control YEAR: NUMBER: Roider(Nachlass) AUTHOR: deRham, G. TITLE: Lectures on introduction to algebraic topology YEAR: NUMBER: Roider(Nachlass) AUTHOR: Rottmann, Karl TITLE: Myers grosser Rechenduden YEAR: NUMBER: Roider(Nachlass) AUTHOR: Schmidt, Wolfgang M. TITLE: Equations over finite fields. An elementary approach YEAR: NUMBER: Roider(Nachlass) AUTHOR: Schubert, Hermann TITLE: kalkuel der abzaehlenden Geometrie YEAR: NUMBER: Roider(Nachlass) AUTHOR: Schroedinger, Erwin TITLE: Statistische Thermodynamik YEAR: NUMBER: Roider(Nachlass) AUTHOR: Schwartz, Laurent TITLE: Annales de L'institut fourier YEAR: NUMBER: Roider(Nachlass) AUTHOR: Shoenfield, Joseph R. TITLE: Mathematical Logic YEAR: NUMBER: Roider(Nachlass) AUTHOR: Shoenfield, Joseph R. TITLE: Degrees of Unsolvability YEAR: NUMBER: Roider(Nachlass) AUTHOR: Smale, Steve TITLE: Teh amthematics of time YEAR: NUMBER: Roider(Nachlass) AUTHOR: Smorodinsky, Meir TITLE: Ergodic theory, entropy YEAR: NUMBER: Roider(Nachlass) AUTHOR: Taibleson, M.H. TITLE: Fourier analysis on local fields YEAR: NUMBER: Roider(Nachlass) AUTHOR: Targonsky, Gyoergy TITLE: Topics in iteration theory YEAR: NUMBER: Roider(Nachlass) AUTHOR: Thirring, W. TITLE: Lehrbuch der mathematischen Physik 1 Klassische dynamische Systeme YEAR: NUMBER: Roider(Nachlass) AUTHOR: Thirring, W. TITLE: Lehrbuch der mathematischen Physik 2 Klassische Feldtheorie YEAR: NUMBER: Roider(Nachlass) AUTHOR: Thirring, W. TITLE: Lehrbuch der mathematischen Physik 3 Quantenmechanik von Atomen und Molekuelen YEAR: NUMBER: Roider(Nachlass) AUTHOR: Thirring, W. TITLE: Lehrbuch der mathematischen Physik 4 Quantenmechanik grosser Systeme YEAR: NUMBER: Roider(Nachlass) AUTHOR: Truesdell, C.; Bharatah, S. TITLE: Classical thermodynamics as a theory of heat engines YEAR: NUMBER: Roider(Nachlass) AUTHOR: Truesdell, C.; Muncaster, R.G. TITLE: Fundamentals of Maxwell's kinetic theory of a simple monatomic gas YEAR: NUMBER: Roider(Nachlass) AUTHOR: Walters, Peter TITLE: Ergodic theory - introductory lectures YEAR: NUMBER: Roider(Nachlass) AUTHOR: Walters, Peter TITLE: An introduction to ergodic theory YEAR: NUMBER: Roider(Nachlass) AUTHOR: Wirth, Niklaus TITLE: Algorithmen und Datenstrukturen YEAR: NUMBER: Roider(Nachlass) AUTHOR: Wunderlich, Walter TITLE: Darstellende Geometrie I YEAR: NUMBER: Roider(Nachlass) AUTHOR: Wunderlich, Walter TITLE: Darstellende Geometrie II YEAR: NUMBER: Roider(Nachlass) AUTHOR: Zygmund, A. TITLE: Trigonometric series YEAR: NUMBER: 10412 AUTHOR: Knuth, Donald TITLE: Computer modern typefaces YEAR: 1986 NUMBER: 10416 AUTHOR: Knuth, Donald TITLE: TEX: the program YEAR: 1986 NUMBER: 10402 AUTHOR: Knuth, Donald TITLE: METAFONT: teh program YEAR: 1986 NUMBER: 10414 AUTHOR: Knuth, Donald TITLE: The METAFONTbook YEAR: 1986 NUMBER: 10453 AUTHOR: Bresenham, J.E.; Earnshaw, R.A.; Pitteway, M.L.V. TITLE: Fundamental algorithms for computer graphics YEAR: 1985 NUMBER: 10462 AUTHOR: Mortenson, M.E. TITLE: Geometric modelling YEAR: 1985 NUMBER: 10456 AUTHOR: Henle, J.M. TITLE: An outline of set theory YEAR: 1986 NUMBER: 10447 AUTHOR: Savage, J.E. TITLE: The complexity of computing YEAR: 1987 NUMBER: 10448 AUTHOR: Devroye, Luc TITLE: Lecture notes on bucket algorithms YEAR: 1986 NUMBER: 10463 AUTHOR: Schendel, U. TITLE: Introduction to numerical methods for parallel computers YEAR: 1984 NUMBER: 10468 AUTHOR: Ball, W.E.; et al. TITLE: Studies in computer science YEAR: 1982 NUMBER: 10445 AUTHOR: Buchberger, B.; Kutzler, B.; Feilmeier, M.; et al. TITLE: Rechnerorientierte Verfahren YEAR: 1986 NUMBER: 10444 AUTHOR: Lorbeer, W.; Werner D. TITLE: Wie funktionieren Roboter YEAR: 1986 NUMBER: 10473 AUTHOR: McCord, M.; Sowa, J.F.; Wilson, W.G. TITLE: Knowledge Systems and PROLOG YEAR: 1987 NUMBER: 10461 AUTHOR: Minoux, M. TITLE: Mathematical programming, theory and algorithms YEAR: 1986 NUMBER: 10446 AUTHOR: Afflerbach, L.; Lehn J. TITLE: Zufallszahlen und Simulation YEAR: 1986 NUMBER: 10454 AUTHOR: Duer, A. TITLE: Moebius functions, incidence algebras and power series representati ons YEAR: 1986 NUMBER: 10455 AUTHOR: Goos, G.; Hartmanis, J. TITLE: Fundamentals of artificial intelligence YEAR: 1986 NUMBER: 10455 AUTHOR: Goos, G.; Hartmanis, J. TITLE: Fundamentals of artificial intelligence YEAR: 1986 NUMBER: 10451 AUTHOR: Critchlow, A.J. TITLE: Introduction to robotics YEAR: 1985 NUMBER: 10475 AUTHOR: Gregory, J.A. TITLE: The mathematics of surfaces YEAR: 1986 NUMBER: 10472 AUTHOR: Demetrovics, J.; Knuth, E.; Rado, P. TITLE: Computer-aided specification techniques YEAR: 1985 NUMBER: 10466 AUTHOR: Kowalik, J.S. TITLE: coupling symbolic and numerical computing in expert systems YEAR: 1985 NUMBER: 10465 AUTHOR: Rosenfeld, A. TITLE: Techniques for 3-D machine perception YEAR: 1986 NUMBER: 10469 AUTHOR: Seidenberg, A. TITLE: Studies in algebraic geometry YEAR: 1980 NUMBER: 10474 AUTHOR: Bulla, Fritz TITLE: Digitalgraphik YEAR: 1987 NUMBER: 10478 AUTHOR: Cameron, Neil TITLE: Introduction to linear and convex programming YEAR: 1985 NUMBER: 10476 AUTHOR: Wilson, R.J.; Wingate, W.J.G. TITLE: Introduction to graph theory YEAR: 1985 NUMBER: 10479 AUTHOR: Gibbson, Alan TITLE: Algorithmic graph theory YEAR: 1985 NUMBER: 10432 AUTHOR: Gruska, J.; Rovan, B.; Wiedermann, J. TITLE: Mathematical foundations of computer science 1986 YEAR: 1986 NUMBER: 10457 AUTHOR: Miranker, W.L.; Toupin, R.A. TITLE: Accurate Scientific Computations YEAR: 1985 NUMBER: 10452 AUTHOR: Enderle, G.; Grave, G.; Lillehagen, F. TITLE: Advances in Computer Graphics I YEAR: 1986 NUMBER: 10460 AUTHOR: Price, Keith TITLE: Computer vision and pattern recognition YEAR: 1985 NUMBER: 10362 AUTHOR: Gonshor, Harry TITLE: An introduction to the theory of surreal numbers YEAR: 1986 NUMBER: 10437 AUTHOR: Ivanov, L.L. TITLE: Algebraic recursion theory YEAR: 1986 NUMBER: 10417 AUTHOR: Klahr, Philip; Waterman, Donald A. TITLE: Expert systems, techniques, tools and apllications YEAR: 1986 NUMBER: 10413 AUTHOR: Gehani, N.; McGettrick, A.D. TITLE: Software specification techniques YEAR: 1986 NUMBER: 10418 AUTHOR: Cohen, B.; Harwood, W.T.; Jackson, M.I. TITLE: The specification of complex systems YEAR: 1986 NUMBER: 10467 AUTHOR: Vandoni, C.E. TITLE: Eurographics'85 YEAR: 1985 NUMBER: 10411 AUTHOR: Kerschberg, Larry TITLE: Expert database systems YEAR: 1986 NUMBER: 10604 AUTHOR: Pickett, M.S.; Boyse, J.W.; (eds.) TITLE: Solid modeling by computers From Theory to Applications YEAR: 1984 NUMBER: 10603 AUTHOR: Pin, J.E. TITLE: Varieties of Formal languages YEAR: 1986 NUMBER: 10606 AUTHOR: Chang, Shi-kuo; Ichikawa, Tadao; Ligomenides, Panos A.; (eds.) TITLE: Visual Languages YEAR: 1986 NUMBER: 10602 AUTHOR: Wilson, Stephen TITLE: Chemistry by computer YEAR: 1986 NUMBER: 10607 AUTHOR: Browne, Arthur; Norton-Wayne, Leonard TITLE: Vision and information processing for automation YEAR: 1986 NUMBER: 10597 AUTHOR: Turner, Raymond TITLE: Logics for artificial intelligence YEAR: 1984 NUMBER: 7303 AUTHOR: Knuth, D.E. TITLE: The art of computer programming YEAR: NUMBER: 8259 AUTHOR: Bauer, F.L. TITLE: Algorithmische Sprache und Programmentwicklung YEAR: NUMBER: 8910 AUTHOR: Stern (ed) TITLE: Proceedings of the Herbrand symposium YEAR: 1981 NUMBER: 9424 AUTHOR: Preston TITLE: Multicomputers and image processing YEAR: NUMBER: 9425 AUTHOR: Paker TITLE: Multi-microprocessor systems YEAR: NUMBER: 10039 AUTHOR: Ehrig TITLE: Mathematical foundations of software development YEAR: NUMBER: 10415 AUTHOR: Cleaveland, J.C. TITLE: An introduction to data analysis YEAR: NUMBER: AUTHOR: Besl TITLE: Range Image Segmentation for recognition YEAR: NUMBER: AUTHOR: Besl, P.J.; Jain, R.C. TITLE: Segmentation through variable-order surface fitting YEAR: NUMBER: AUTHOR: Ichiko, Takao TITLE: A VLSI oriented computer science study for the FGCS YEAR: 1986 NUMBER: AUTHOR: Weispfennig, V. TITLE: The complexity of almost linear diophantine problems YEAR: NUMBER: AUTHOR: Sharir, M. TITLE: Davenport-Schinzel sequences and their geometric apllications YEAR: 1987 NUMBER: AUTHOR: Sharir, M. TITLE: On the problems in computational geometry related to motion planning with few degrees of freedom YEAR: 1987 NUMBER: AUTHOR: Ikeda TITLE: Mitsubishi MELCAD-MD, NCinterfgce YEAR: 1987 NUMBER: AUTHOR: Ichiko, T.; Nishide, T.; Sugimoto, E.; Nippon Electric Co. TITLE: Operational data path based chip analysis on mask pattern and effective use of cad tools YEAR: 1987 NUMBER: 15/87 AUTHOR: Kaeufl, T. TITLE: Reasoning about systems of linear inequalities YEAR: 1987 NUMBER: AUTHOR: Kapur, Deepak TITLE: Algebraic reasoning for object construction from ideal images YEAR: 1987 NUMBER: AUTHOR: Barnhill, R.E.; Farin, G.; Jordan, M.; Piper, B.R: TITLE: Surface/surface intersection YEAR: 1987 NUMBER: tr314/rr118 AUTHOR: Aronov, B.; O'Dunlaing, C. TITLE: Analysis of the motion-planning problem for a simple two-link planar arm YEAR: 1987 NUMBER: AUTHOR: Bergman, G.M.; Galvin, F. TITLE: Transversals of families in complete lattices, and torsion in product modules YEAR: 1987 NUMBER: 15/87 AUTHOR: Kauefl, T. TITLE: Reasoning about theories with a finite model YEAR: 1987 NUMBER: 38 AUTHOR: Neuwirth, E. TITLE: Informatik in der Mathematik oder Mathematik in der Informatik YEAR: NUMBER: 57 AUTHOR: Liskov, B.; Curtis, D.; Johnson, P.; Scheifler, R. TITLE: Implementation of ARGUS YEAR: 87 NUMBER: 56 AUTHOR: Liskov, B.; Weihl, W. TITLE: Programming meth. group progress report YEAR: 87 NUMBER: AUTHOR: Schorn, P. TITLE: Ein Expertensystem zur Loesung der kinematischen Gleichung YEAR: 1985 NUMBER: AUTHOR: Turner, J.U.; Wozny, M.J. TITLE: Tolerances in computer-aided geometric design YEAR: NUMBER: AUTHOR: Turner, J.U.; Wozny, M.J. TITLE: A mathematical theory of tolerances YEAR: NUMBER: AUTHOR: nn TITLE: Blending between two surfaces YEAR: NUMBER: 53914 AUTHOR: Rossignac, J.R.; Voelcker, H.B. TITLE: Active zones in constructive solid geometry for redundancy and interference detection YEAR: 1986 NUMBER: 1a49 AUTHOR: Addison, J.W. TITLE: The theory of models YEAR: 1963 NUMBER: 1r57 AUTHOR: Rice, J.R. TITLE: Mathematical software YEAR: NUMBER: 3a10 AUTHOR: Aiserman, M.A. TITLE: Logik - Automaten - Algorithmen YEAR: NUMBER: 3b101 AUTHOR: Bobrow, D.G. TITLE: Symbol manipulation languages and techniques YEAR: NUMBER: 3b190 AUTHOR: Bird, R. TITLE: Programs and machines YEAR: NUMBER: 3c112 AUTHOR: Charnial, E. TITLE: Computational semantics YEAR: NUMBER: 4b55II AUTHOR: Boehme, G. TITLE: Anwendungsorientierte Mathematik, Band II YEAR: 1975 NUMBER: 4l30 AUTHOR: Lausch, H. TITLE: Algebra of polynomials YEAR: NUMBER: 4r57 AUTHOR: Richter, M.M. TITLE: Logikkalkuele YEAR: NUMBER: 4w28 AUTHOR: Wedekind, H. TITLE: Systemanalyse YEAR: NUMBER: 7a144 AUTHOR: Darling, A.R. TITLE: Use of mathematical literature YEAR: NUMBER: ln.c.-35 AUTHOR: Everling, W. TITLE: Exercises in computer systems analysis YEAR: 1975 NUMBER: ln.c.-25 AUTHOR: Manes, E.G. TITLE: Category theory applied to computation and control YEAR: 1974 NUMBER: ln.c.-33 AUTHOR: Brakhage, H. TITLE: Automata theory and formal languages YEAR: 1975 NUMBER: ln.c.-37 AUTHOR: Boehm, C. TITLE: Lambda calculus and computer science theory YEAR: 1975 NUMBER: ln.c.-45 AUTHOR: Mazurkiewicz, A. TITLE: mathematical foundations of computer science YEAR: 1976 NUMBER: ln.c.-62 AUTHOR: Ausiello, G.; et al. TITLE: Automata, Languages and programming YEAR: 1978 NUMBER: ln.c.-64 AUTHOR: Winkowski, J. TITLE: Mathematical foundations of computer science YEAR: 1978 NUMBER: ln.c.-05 AUTHOR: Ershov, A.; et al. TITLE: International symposium on theoretical programming YEAR: 1972 NUMBER: ln.c.-48 AUTHOR: Tzschach, H.; et al. TITLE: Theoretical computer science YEAR: 1977 NUMBER: ln.c.-19 AUTHOR: Robinet, B. TITLE: Programming symposium YEAR: 1974 NUMBER: AUTHOR: Rival, Ivan TITLE: Picture Puzzling YEAR: NUMBER: AUTHOR: Clausen, M.; Grabmeier, J.; Karpinski, M. TITLE: Efficient deterministic interpolation of multivariate polynomials over finite fields YEAR: 1987 NUMBER: AUTHOR: Kaltofen, Erich TITLE: Single-factor Hensel lifting and its apllication to the straight-line complexity of certain polynomials YEAR: 1987 NUMBER: AUTHOR: Kaltofen, Erich; Rolletschek, H. TITLE: Computing greatest common divisors and factorization in quadratic number fields YEAR: 1987 NUMBER: AUTHOR: Kaltofen, Erich; Yui, N. TITLE: Explicit construction of the Hilbert class fields of imaginary quadratic fields with class numbers 7 and 11 YEAR: 1984 NUMBER: AUTHOR: Kaltofen, Erich TITLE: Polynomial-time reductions from multivariate to bi- and univariate integral polynomial factorization YEAR: 1985 NUMBER: AUTHOR: Kaltofen, Erich; Krishnamoorthy, M.S.; Saunders, B.D. TITLE: Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith normal form of polynomial matrices YEAR: 1987 NUMBER: AUTHOR: Jayaraman, R.; Srinivasan, V. TITLE: Virtual boundary requirements and conditional tolerances in mechanical design YEAR: 1987 NUMBER: AUTHOR: Khatib, O. TITLE: Real-time obstacle avoidance for manipulators and mobile robots YEAR: 1986 NUMBER: AUTHOR: Khatib, O. TITLE: A unified approach for motion and force control of robot manipulators: the operational space formulation YEAR: 1987 NUMBER: tr-87-12 AUTHOR: Czyzowics, J.; Pelc, A.; Rival, I. TITLE: Drawing orders with few slopes YEAR: 1987 NUMBER: tr-87-05 AUTHOR: Rival, I.; Urrutia, J. TITLE: Representing orders in the plane by translating convex figures YEAR: 1987 NUMBER: tr-87-11 AUTHOR: Pelc, A.; Rival, I. TITLE: Orders with level diagrams YEAR: 1987 NUMBER: AUTHOR: Lonc, Z.; Rival, I. TITLE: Chains, antichains, and fibres YEAR: 1986 NUMBER: cim-86-2 AUTHOR: Kant, K.; Zucker, St. W. TITLE: Planning smooth collision-free trajectories: Path, velocity and splines in free-space YEAR: 1986 NUMBER: AUTHOR: Kant, K.; Zucker, St. W. TITLE: Toward efficient trajectory planning: the path velocity decomposition YEAR: 1986 NUMBER: AUTHOR: Moxon, B. TITLE: Parallel processing: the road to automnomy YEAR: NUMBER: AUTHOR: Macintyre, A. TITLE: Notes on real exponentiation YEAR: NUMBER: AUTHOR: Van den Dries, L. TITLE: Exponential rings, exponential polynomials and exponential functions YEAR: 1981 NUMBER: AUTHOR: Wu, Peter, Y.F.; Franklin, Wm. R. TITLE: A logic programming approach to cartographic map overlay YEAR: 1987 NUMBER: AUTHOR: Franklin, Wm. R.; Wu, P. Y.F. TITLE: A polygon overlay system in PROLOG YEAR: 1987 NUMBER: tm-57 AUTHOR: Ang, M.H.; Tourassis, V.D. TITLE: General-purpose inverse kinematics transformations for robotic manipulators YEAR: 1986 NUMBER: AUTHOR: Ang, M.H.; Tourassis, V.D. TITLE: Kinematic robot control in cartesian space YEAR: 1987 NUMBER: AUTHOR: Patterson, R. R. TITLE: Parametric cubics as algebraic curcves YEAR: NUMBER: AUTHOR: de Montaudouin, Y. TITLE: Criterion for terminating subdivision in the surface/surface intersection problem. The X algorithm. YEAR: NUMBER: AUTHOR: Katz, Sheldon TITLE: On the finiteness of rational curves on quintic threefolds YEAR: 1986 NUMBER: AUTHOR: Miller, G.L.; Kaltofen, E.; Ramachandran, V. TITLE: Effective parallel evaluation of straight-line code and arithmetic circuits YEAR: 1986 NUMBER: AUTHOR: Freeman, T.; Imirzian, G.; Kaltofen, E.; Yagati, L. TITLE: DAGWOOD A system for manipulating polynomials given by straight-line programs YEAR: 1987 NUMBER: AUTHOR: Lvov, M.C. TITLE: Vychislenie invariantnykch sootnoschenij v programmach nad poljai d annych YEAR: 1987 NUMBER: AUTHOR: Albrecht, A.; Jung, H.; Mehlhorn, K. TITLE: Parallel algorithms and architectures YEAR: 1987 NUMBER: AUTHOR: Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. TITLE: TAPSOFT'87 YEAR: 1987 NUMBER: AUTHOR: Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. TITLE: TAPSOFT'87 YEAR: 1987 NUMBER: 85-118 AUTHOR: Demichev, A.P.; Rodionov, A.Ya. TITLE: The reduce program for the calculation of the geometrical character istics of compactified multidimensional riemann space YEAR: 1985 NUMBER: tom15 AUTHOR: Abramov, S.A. TITLE: Nauchnye soobshchentsya YEAR: NUMBER: 10477 AUTHOR: Evans, E. Graham; Griffith, Phillip TITLE: Syzygies YEAR: 1985 NUMBER: TM-0087 AUTHOR: Sakai, Ko TITLE: Knuth-Bendix algorithm for Thue system based on Kachinuki ordering YEAR: 1984 NUMBER: CRL-TR-50-84 AUTHOR: Gurevich, Y.; Shelah, S. TITLE: Expected computation time for Hamiltonian path problem and clique p roblem YEAR: 1984 NUMBER: TR-113 AUTHOR: Mukai, Kuniaki TITLE: Unification over complex indetreminates in PROLOG YEAR: 1985 NUMBER: TR-062 AUTHOR: Sakai, Ko TITLE: An ordering method for term rewriting systems YEAR: 1984 NUMBER: TR-117 AUTHOR: Kanamori, Tadashi; Horiuchi, Kenji TITLE: Construction of logic programs based on generalized unfold/fold rul es YEAR: 1986 NUMBER: TR-179 AUTHOR: Kanamori, Tadashi; Fujita, Hiroshi TITLE: Unfold/fold transformation of logic programs with counters YEAR: 1986 NUMBER: TR-178 AUTHOR: Kanamori, Tadashi; Maeji, Machi TITLE: Derivation of logic programs from implicit definition YEAR: 1986 NUMBER: TR-176 AUTHOR: Kanamori, Tadashi; Fujita, Hiroshi; Horiuchi, Kenji; et al. TITLE: Argus/v: a system for verification of PROLOG programs YEAR: 1986 NUMBER: TR-175 AUTHOR: Kanamori, Tadashi TITLE: Soundness and completeness of extended execution for proving proper ties of PROLOG programs YEAR: 1986 NUMBER: TR-131 AUTHOR: Yokomori, Takashi TITLE: Representation theorems and primitive predicates for logic programs YEAR: 1985 NUMBER: TR-161 AUTHOR: Minami, Toshiro TITLE: A theorem prover based on connection graph and its implementation b y PROLOG YEAR: 1986 NUMBER: TR-108 AUTHOR: Seki, H.; Kanamori, T. TITLE: Incorporating generalization heuristics into verification of prolog programs YEAR: 1985 NUMBER: TR-104 AUTHOR: Hayashi, Susumu TITLE: Towards automated synthetic differential geometry 1 - basic categor ial construction - YEAR: 1985 NUMBER: TR-138 AUTHOR: Onai, R.; Masuda, K.; Shimizu, H.; et al. TITLE: Architecture and evaluation of a reduction-based inference machine: PIM-R YEAR: 1985 NUMBER: TR-096 AUTHOR: Kanamori, Tadashi; Seki, Hirohisa TITLE: Verification of PROLOG programs using an extension of execution YEAR: 1984 NUMBER: TR-086 AUTHOR: Uchida, Shunichi; Yokoi, Toshio TITLE: Sequential inference machine: SIM, progress report YEAR: 1984 NUMBER: TR-045 AUTHOR: Yokota, Minoru; Yamamoto, Akira; Taki, Kazuo; et al. TITLE: The design and implementation of a personal sequential inference ma chine: PSI YEAR: 1984 NUMBER: TR-027 AUTHOR: Yasuura, Hiroto TITLE: On the parallel computational complexity of unification YEAR: 1983 NUMBER: TR-048 AUTHOR: Onai, Rikio; Shimizu, Hajime; Masadu, Kanae; Aso, Moritoshi TITLE: Analysis of sequential PROLOG programs YEAR: 1984 NUMBER: AUTHOR: Wittenburg, J.; Wolz, U. TITLE: MESA VERDE: Ein Computerprogramm zur Simulation der nichtlinearen D ynamik von Vielkoerpersystemen YEAR: 1985 NUMBER: CRL-TR-6-86 AUTHOR: Nadel, Bernhard A. TITLE: Theory-based search-order selection for constraint satisfaction pro blems YEAR: 1986 NUMBER: CRL-TR-5-86 AUTHOR: Nadel, Bernhard A. TITLE: Representation-selection for constraint satisfaction problems: a ca se study using n-queens YEAR: 1986 NUMBER: CRL-TR-3-86 AUTHOR: Nadel, Bernhard A. TITLE: Three constraint satisfaction algorithms and their complexities: se arch-order dependent and effectively instance-specific results YEAR: 1986 NUMBER: CRL-TR-2-86 AUTHOR: Nadel, Bernhard A. TITLE: The general consistent labeling (or constraint satisfactin) problem YEAR: 1986 NUMBER: AUTHOR: Lucas, Peter; Zilles, Stephen N. TITLE: Graphics in an applicative context YEAR: 1987 NUMBER: AUTHOR: Lucas, Peter TITLE: VDM: origins, hopes, and achivements YEAR: 1987 NUMBER: AUTHOR: Hansen, Michael R.; Hansen, Bo S.; Lucas, Peter; Van Emde Boas, Peter TITLE: Integrating relational databases and constraint languages YEAR: 1987 NUMBER: 0053 AUTHOR: Liskov, Barabara; Scheifler, Robert; Walker, Edward; Weihl, William TITLE: Orphan detection YEAR: 1987 NUMBER: 0057 AUTHOR: Liskov, Barabara TITLE: Highly-available distributed services YEAR: 1987 NUMBER: CRL-TR-50-84 AUTHOR: Gurevich, Y. .; Shelah, S. TITLE: Expected computation time for Hamiltonian path problem and clique p roblem YEAR: 1984 NUMBER: AUTHOR: Buchberger, Ernst TITLE: AI-Dictionary YEAR: 1987 NUMBER: STAN-CS-86-1093 AUTHOR: Subramanian, D.; Buchanan, B. G. TITLE: A general reading list for artificial intelligence YEAR: 1985 NUMBER: 87-08 AUTHOR: Kuechlin, W. TITLE: Inductive completion by ground proof transformation YEAR: 1987 NUMBER: 10495 AUTHOR: BAker, H.F. TITLE: An introduction to plane geometry YEAR: 1943 NUMBER: 10497 AUTHOR: Chrystal, G. TITLE: Algebra. An elemetary text-book. part I. YEAR: 1964 NUMBER: 10498 AUTHOR: Chrystal, G. TITLE: Algebra. An elemetary text-book. part II. YEAR: 1964 NUMBER: 10493 AUTHOR: Salmon, George TITLE: Modern higher algebra. YEAR: 1964 NUMBER: 10506 AUTHOR: Henkin, Leon; Monk, J. Donald; Tarski, Alfred TITLE: Cylindric algebras, part II. YEAR: 1985 NUMBER: 10488 AUTHOR: Hillis, W. Daniel TITLE: The Connection Machine YEAR: 1985 NUMBER: 10487 AUTHOR: Korein, James U. TITLE: A Geometric investigation of reach YEAR: 1984 NUMBER: 10509 AUTHOR: Traub, Joseph F. TITLE: Annual tric investigation of reach review of computer science YEAR: 1986 NUMBER: 10494 AUTHOR: Klein, F. TITLE: Famous problems of elementary geometry YEAR: 1962 NUMBER: 10499 AUTHOR: Salmon, George TITLE: Analytic geometry of three dimensions YEAR: 1956 NUMBER: 10491 AUTHOR: Gauss, Carl Friedrich TITLE: Untersuchungen ueber hoehere Arithmetik YEAR: 1981 NUMBER: 10490 AUTHOR: Skolem, Th. TITLE: Diophantische Gleichungen YEAR: 1950 NUMBER: 10489 AUTHOR: Jordan, Charles TITLE: Calculus of finite differences YEAR: 1979 NUMBER: 10492 AUTHOR: Seifert, H.; Threlfall, W. TITLE: Lehrbuch der Topologie YEAR: 1980 NUMBER: 10496 AUTHOR: Snyder, L.; Jamieson, L.H.; Gannon, D.B.; Siegel, H.J. TITLE: Algorithmically specialized parallel computers YEAR: 1985 NUMBER: 10500 AUTHOR: Akl, Selim G. TITLE: Parallel sorting algorithms YEAR: 1985 NUMBER: 10459 AUTHOR: Lawler, E.L.; Lenstra, J.K.; Kan, Rinnooy A.H.G.; Shmoys, D.B. TITLE: The travelingsalesman problem YEAR: 1986 NUMBER: 85-11 AUTHOR: Beierle, Christoph; Lichter, Horst; Olthoff, Walter; Voss, Angelika TITLE: Integrated Software Development and Verification: A case study usin g the SPESY system YEAR: 1985 NUMBER: AUTHOR: Nivat, Maurice TITLE: Elements d'une theorie generale des codes d'arbres. 2eme partie: co des suffixes YEAR: NUMBER: AUTHOR: Nivat, Maurice TITLE: Elements d'une theorie generale des codes d'arbres. 1eme partie: YEAR: NUMBER: AUTHOR: Ehrig, H.; Weber, H. TITLE: Programming in the large with algebraic module specifications YEAR: 1986 NUMBER: AUTHOR: Harten, L.P. TITLE: FORTRAN Optimization in DOE-MACSYMA YEAR: 1987 NUMBER: AUTHOR: Vietoris, L. TITLE: Zur Abschaetzung des Restes Toylorscher Naeherungsprobleme YEAR: 1986 NUMBER: AUTHOR: Vietoris, L. TITLE: Eine Verallgemeinerung der Gleichung (n+1)|=n|(n+1) und zugehoerige vermutete Ungleichungen YEAR: 1984 NUMBER: AUTHOR: Vietoris, L. TITLE: Eine Verschaerfung der Abschaetzung des Restes Taylorscher Naeherungsp roblem YEAR: 1984 NUMBER: AUTHOR: Bokut, L.A. TITLE: Unsolvability of the equality problem and subalgebras of finitely p resented lie algebras YEAR: 1972 NUMBER: AUTHOR: Aurenhammer, Franz TITLE: A criterion for the affine equivalence of cell complexes in Rd and convex polyhedra in Rd+1 YEAR: 1987 NUMBER: AUTHOR: Aurenhammer, Franz TITLE: Power diagrams: properties, algorithms and applications YEAR: 1987 NUMBER: AUTHOR: Kaltofen, Erich TITLE: Computing with polynomials given by straight line programs theory a nd practice YEAR: 1987 NUMBER: UMCS-87-5-2 AUTHOR: Martin, Ursula TITLE: How to choose the weights in the Knuth Bendix ordering YEAR: 1987 NUMBER: UMCS-86-5-1 AUTHOR: Martin, Ursula TITLE: Multiset orderings YEAR: 1987 NUMBER: UMCS-86-11-2 AUTHOR: Martin, Ursula TITLE: Unification in boolean rings and unquantified formulae of first ord er predicate calculus YEAR: 1986 NUMBER: AUTHOR: Inria TITLE: computer aided geometric reasoning, vol. 1 YEAR: 1987 NUMBER: AUTHOR: Inria TITLE: computer aided geometric reasoning, vol. 2 YEAR: 1987 NUMBER: AUTHOR: Zassenhaus, Hans TITLE: Ueber die Existenz universeller Fastkoerper YEAR: 1987 NUMBER: 8908 AUTHOR: Doemoelki; Gercely (eds.) TITLE: Mathematical logic in computer science YEAR: 1978 NUMBER: 8843 AUTHOR: Girault; Reisig (eds.) TITLE: Application and theory of petri nets YEAR: 1980 NUMBER: 8842 AUTHOR: Mueller; et al. (eds.) TITLE: Logic symposia YEAR: 1979 NUMBER: 8907 AUTHOR: Schneider; Wassermann (eds.) TITLE: Automated tools for information systems design YEAR: 1982 NUMBER: 8838 AUTHOR: Hailpem, B. TITLE: Verifying concurrent processes using temporal logic YEAR: NUMBER: 8840 AUTHOR: Kozen (ed.) TITLE: Logic of programs YEAR: 1981 NUMBER: 8824 AUTHOR: Cohen; et al. (eds.) TITLE: Logic methodology and philosophy of science YEAR: 1979 NUMBER: 8703 AUTHOR: Jones (ed.) TITLE: Semantics and directed compiler generation YEAR: 1980 NUMBER: 8692 AUTHOR: Krekel TITLE: PASCAL YEAR: NUMBER: 8633 AUTHOR: Konheim TITLE: Cryptography YEAR: NUMBER: 8620 AUTHOR: Gordon TITLE: Edinburgh LCF YEAR: NUMBER: 8661 AUTHOR: Kahn (ed.) TITLE: Semantics of concurrent computation YEAR: 1979 NUMBER: 8622 AUTHOR: DeBakker; et al. (eds.) TITLE: Automata, languages and programs YEAR: 1980 NUMBER: 8623 AUTHOR: Dembinski (ed.) TITLE: Mathematical foundations of computer science YEAR: 1980 NUMBER: 8626 AUTHOR: Diaz; Ramos (eds.) TITLE: Formalization of program concepts YEAR: 1981 NUMBER: 8572 AUTHOR: Coxeter TITLE: Geometry revisited YEAR: NUMBER: 8567 AUTHOR: Bjorner (ed.) TITLE: Abstract software specification YEAR: 1979 NUMBER: 8557 AUTHOR: Gecseg (ed.) TITLE: Fundamentals of computation theory YEAR: 1981 NUMBER: 8529 AUTHOR: Brauer (ed.) TITLE: GI Jahrestagung YEAR: 1981 NUMBER: 8527 AUTHOR: Siekmann (ed.) TITLE: GWAI YEAR: 1981 NUMBER: 8426 AUTHOR: Gruska; Chytil (eds.) TITLE: mathematical foundations of computer science YEAR: 1981 NUMBER: 8425 AUTHOR: Even; Kariv (eds.) TITLE: Automata, languages and programs YEAR: 1981 NUMBER: 8304 AUTHOR: lavington (ed.) TITLE: Information processing YEAR: 1980 NUMBER: 8298 AUTHOR: Astesiano; Boehm (eds.) TITLE: CAAP YEAR: 1981 NUMBER: 8238 AUTHOR: Weelblat TITLE: History of programming languages YEAR: 1978 NUMBER: 8229 AUTHOR: Berg; Giloi (eds.) TITLE: The case of formel specification software YEAR: 1979 NUMBER: 8093 AUTHOR: Kowalski TITLE: Logic for problem solving YEAR: NUMBER: 8079 AUTHOR: Barwise; et al. (eds.) TITLE: The Kleene Symposium YEAR: 1978 NUMBER: 8036 AUTHOR: Boffa; et al. (eds.) TITLE: Logic colloquium YEAR: 1978 NUMBER: 8027 AUTHOR: Boyer; Moore TITLE: A computational logic YEAR: 1979 NUMBER: 7879 AUTHOR: nn TITLE: 7th annual symposium on computational architecture YEAR: NUMBER: 7724 AUTHOR: nn TITLE: IEEE 1978 fault tolerance computing YEAR: 1978 NUMBER: 7726 AUTHOR: nn TITLE: Software engineering YEAR: 1978 NUMBER: 7725 AUTHOR: nn TITLE: Symposium on foundations of computer science YEAR: 1977 NUMBER: 5827 AUTHOR: nn TITLE: 7th annual symposium on theory of computation YEAR: 1975 NUMBER: 5760 AUTHOR: Aho; et al. TITLE: Design and analysis of computer algorithms YEAR: NUMBER: 5490 AUTHOR: Kanger (ed.) TITLE: 3rd Scandinavian logic symposium YEAR: 1973 NUMBER: 5192 AUTHOR: Peschl; Unger (eds.) TITLE: Kolloquium ueber Schaltkreise und Schaltwerktheorie YEAR: 1960 NUMBER: 5190 AUTHOR: Haendler; Peschl; Unger (eds.) TITLE: Kolloquium ueber Automatentheorie YEAR: 1965 NUMBER: 5068 AUTHOR: Dold (ed.) TITLE: Logic colloquium YEAR: 1972 NUMBER: 5028 AUTHOR: Nickel (ed.) TITLE: Intervall Mathematics YEAR: 1975 NUMBER: 5025 AUTHOR: Feng (ed.) TITLE: Parallel Processing YEAR: 1974 NUMBER: 4927 AUTHOR: Rose; Shepherdson (eds.) TITLE: Logic colloquium YEAR: 1973 NUMBER: 4875 AUTHOR: Boddenberg TITLE: Logik I YEAR: NUMBER: 4797 AUTHOR: nn TITLE: Symposium on high-level languages YEAR: 1973 NUMBER: 4795 AUTHOR: nn TITLE: COMPON 73 YEAR: 1973 NUMBER: 4794 AUTHOR: nn TITLE: International symposium on multiple valued logic YEAR: 1973 NUMBER: 4790 AUTHOR: nn TITLE: Data network YEAR: 1973 NUMBER: 4793 AUTHOR: nn TITLE: Switching and automata theory YEAR: 1973 NUMBER: 4785 AUTHOR: nn TITLE: 5th annual workshop on microprogramming YEAR: 1972 NUMBER: 4788 AUTHOR: nn TITLE: Computer and software reliability YEAR: 1973 NUMBER: 4789 AUTHOR: nn TITLE: Computer conference on parallel processing YEAR: 1973 NUMBER: 4422 AUTHOR: nn TITLE: symp. on very high level languages YEAR: 1974 NUMBER: 4584 AUTHOR: Birkhoff; Hall TITLE: Computer in algebra and number theory YEAR: 1970 NUMBER: 4425 AUTHOR: Tou; Wegner (eds.) TITLE: Data structures in programming languages YEAR: 1971 NUMBER: 4417 AUTHOR: Borodin; et al. (eds.) TITLE: 5th annual symposium on theory of computing YEAR: 1973 NUMBER: 4416 AUTHOR: Rosenberg (ed.) TITLE: 4th annual symposium on theory of computing YEAR: 1972 NUMBER: 4418 AUTHOR: NN TITLE: 6th annual symposium on theory of computing YEAR: 1974 NUMBER: 4132 AUTHOR: Penstad; Hinman (eds.) TITLE: Generalized recursion theory YEAR: NUMBER: 4127 AUTHOR: Bar-Hillel TITLE: Logic, methodology and philosophy of science YEAR: 1964 NUMBER: 4125 AUTHOR: Bar-Hillel TITLE: Mathematical logic YEAR: 1968 NUMBER: 4114 AUTHOR: VanRottselar; Staal TITLE: Logic, methodology and philosophy of science YEAR: 1967 NUMBER: 4107 AUTHOR: Suppes; et al. (eds.) TITLE: Logic, methodology and philosophy of science YEAR: 1971 NUMBER: 4103 AUTHOR: Fenstad (ed.) TITLE: 2nd scandinavian logic symposium YEAR: 1970 NUMBER: 4102 AUTHOR: Gandy; Yates (eds.) TITLE: Logic colloquium YEAR: 1969 NUMBER: 4101 AUTHOR: Kino; et al (eds.) TITLE: Intuism and proof theory YEAR: 1968 NUMBER: 4097 AUTHOR: Lakatos (ed.) TITLE: Inductive logic YEAR: 1965 NUMBER: 4061 AUTHOR: Mathias; et al. (eds.) TITLE: Cambridge summer school in mathematical logic YEAR: 1971 NUMBER: 2426 AUTHOR: Watanable TITLE: Methods of pattern recognition YEAR: 1969 NUMBER: 2287 AUTHOR: Ferrar TITLE: Hoehere Algebra YEAR: NUMBER: 1975 AUTHOR: Cohn TITLE: Differnce algebra YEAR: NUMBER: 1224 AUTHOR: Coxeter TITLE: Introduction to geometry YEAR: NUMBER: 591 AUTHOR: Crossley TITLE: Sets, models and recursion theory YEAR: NUMBER: 199 AUTHOR: nn TITLE: ACM guide to computing literature YEAR: 1982 NUMBER: 4060 AUTHOR: Hodges; et al. (eds.) TITLE: Conference on mathematical logic YEAR: 1970 NUMBER: 2709 AUTHOR: Coxeter TITLE: Unvergaengliche Geometrie YEAR: NUMBER: 4106 AUTHOR: Lakatos (ed.) TITLE: Philosophy of mathematics YEAR: 1965 NUMBER: 4415 AUTHOR: Lewis; et al. (eds.) TITLE: 3th annual symposium on theory of computing YEAR: 1971 NUMBER: 4414 AUTHOR: Karp; et al. (eds.) TITLE: 2th annual symposium on theory of computing YEAR: 1970 NUMBER: 4413 AUTHOR: Harrison; et al. (eds.) TITLE: ACM symposium on theory of computing YEAR: 1969 NUMBER: 4787 AUTHOR: Winkler (ed.) TITLE: Computer communication YEAR: 1972 NUMBER: 4791 AUTHOR: Avizienis (ed.) TITLE: Compon 72 YEAR: 1972 NUMBER: 4792 AUTHOR: Borodin; et al. (eds.) TITLE: 12th annual symposium on switching and automata theory YEAR: 1971 NUMBER: 4786 AUTHOR: Sarlo (ed.) TITLE: Symp. on programming and machine organization YEAR: 1971 NUMBER: 4784 AUTHOR: Clearwater (ed.) TITLE: Optical computing symposium YEAR: 1972 NUMBER: 4796 AUTHOR: Lipovski; Szygenda (eds.) TITLE: Symposium on computer architecture YEAR: 1973 NUMBER: 7723 AUTHOR: Enslow (ed.) TITLE: Parallel processing YEAR: 1976 NUMBER: 7722 AUTHOR: Baer (ed.) TITLE: Parallel processing YEAR: 1977 NUMBER: 7684 AUTHOR: Arruda; et al. (eds.) TITLE: Mathematical logic in Latin Amerika YEAR: 1978 NUMBER: 7683 AUTHOR: Johnson; Tinsley (eds.) TITLE: Informatics and mathematics in secondary schools YEAR: 1977 NUMBER: 7226 AUTHOR: Schindler; Giloi (eds.) TITLE: GI Jahrestagung YEAR: 1978 NUMBER: 7225 AUTHOR: Bracchi; Lockeman (eds.) TITLE: Information, systems methodology YEAR: 1978 NUMBER: 7159 AUTHOR: Fenstad; et al. (eds.) TITLE: Generalized recursion theory YEAR: 1977 NUMBER: 7153 AUTHOR: Leblanc (ed.) TITLE: Truth, syntax and modality YEAR: 1970 NUMBER: 7115 AUTHOR: Macintyre; et al. (eds.) TITLE: Logic colloquium YEAR: 1977 NUMBER: 7107 AUTHOR: Kopp TITLE: Theorie und Anwendungen der unendlichen Reihen YEAR: NUMBER: 6668 AUTHOR: Butis; Hintikka (eds.) TITLE: Logic foundations of mathematics and computability theory YEAR: 1975 NUMBER: 6260 AUTHOR: Gandy (ed.) TITLE: Logic colloquium YEAR: 1976 NUMBER: 5828 AUTHOR: Petrick (ed.) TITLE: 2nd symposium on symbolic and algebraic manipulation YEAR: 1971 NUMBER: 7778 AUTHOR: Frost TITLE: Curve tracing YEAR: NUMBER: 9810 AUTHOR: Stern (ed.) TITLE: Herbrand symposium logic colloquium YEAR: 1981 NUMBER: 10560 AUTHOR: Schroeder, M.R. TITLE: Number theory in science and communications YEAR: 1984 NUMBER: 207 AUTHOR: nn TITLE: World directory of mathematicians 1986 YEAR: 1986 NUMBER: 10566 AUTHOR: Schnupp, P.; Nguyen Huu, C.T. TITLE: Expertensystem-Praktikum YEAR: 1987 NUMBER: 10573 AUTHOR: Kott, L. TITLE: Automata, Languages and Programming YEAR: 1986 NUMBER: 10574 AUTHOR: Kroeger, F. TITLE: Temporal Logic of programs YEAR: 1987 NUMBER: 10575 AUTHOR: Kunii, T. L. (ed.) TITLE: Advanced Computer Graphics YEAR: 1986 NUMBER: 10577 AUTHOR: Gibbs, N.E.; Fairley, R.E.; (eds.) TITLE: Software Engineering education YEAR: 1987 NUMBER: 10578 AUTHOR: Ganzinger, H.; Jones, N.D.; (eds.) TITLE: Programs as data objects YEAR: 1985 NUMBER: 10592 AUTHOR: Nori, K. V.; (ed.) TITLE: Foundations of Software technology and theoretical computer science YEAR: 1986 NUMBER: 10587 AUTHOR: Calmet, J. (ed.) TITLE: Algebraic algorithms and error-correcting-codes YEAR: 198 NUMBER: 10559 AUTHOR: Pavlidis, T. TITLE: algorithms for graphics and image processing YEAR: 1982 NUMBER: 10591 AUTHOR: Newman, W.M.; Sproull, R.F. TITLE: Principles of interactive computer graphics YEAR: 1979 NUMBER: 10583 AUTHOR: Duch, W. TITLE: GRMS or graphical representation of model spaces vol. 1, basics YEAR: 1986 NUMBER: 10584 AUTHOR: Blume, Ch.; Jakob, W. TITLE: Programming languages for industrial robots YEAR: 1986 NUMBER: 10586 AUTHOR: Conradi, R.; Didriksen, T.M.; Wanvik, D.H. TITLE: Advanced programming environments YEAR: 1986 NUMBER: 10580 AUTHOR: Franke, H.W. TITLE: Computer graphics - computer art YEAR: 1985 NUMBER: 10539 AUTHOR: Conery, J.S. TITLE: Parallel execution of logic programs YEAR: 1987 NUMBER: 10565 AUTHOR: Shirai, Y. TITLE: Three-dimensional computer vision YEAR: 1986 NUMBER: 10534 AUTHOR: Lipovski, G.J.; Malek, M. TITLE: Parallel computing YEAR: 1987 NUMBER: 10590 AUTHOR: Avenhaus, R.; Huber, R.K.; Kettelle, J.D.; (eds.) TITLE: Modelling and analysis in arms control YEAR: 1986 NUMBER: 10567 AUTHOR: Soare, R.I. TITLE: Recursively enumerable sets and degrees YEAR: 1987 NUMBER: 10570 AUTHOR: Naish, Lee TITLE: Negation and control in prolog YEAR: 1986 NUMBER: 10571 AUTHOR: Manes, E.G.; Arbib, M.A. TITLE: Algebraic approaches to program semantics YEAR: 1986 NUMBER: 10557 AUTHOR: Magnenat-Thalmann, N.; Thalmann, D. TITLE: Computer animation YEAR: 1985 NUMBER: 10535 AUTHOR: Pomerance, Carl TITLE: Lecture notes on primality testing and factoring YEAR: 1984 NUMBER: 10576 AUTHOR: Fried, M.D.; Jarden, M. TITLE: Field arithmetik YEAR: 1986 NUMBER: 9819 AUTHOR: ICOT (ed.) TITLE: 5th generation computer systems YEAR: 1984 NUMBER: 9814 AUTHOR: Metakides (ed.) TITLE: Patras Logic symposium YEAR: 1980 NUMBER: 9812 AUTHOR: Ausilleo; Lucertin (eds.) TITLE: Analysis and design of algorithms YEAR: 1983 NUMBER: 9811 AUTHOR: Elithorn; Banerji TITLE: Artificial and human intelligence YEAR: NUMBER: 9809 AUTHOR: Kochan (ed.); Banerji TITLE: Integration of CAD/CAM YEAR: 1983 NUMBER: 9807 AUTHOR: Bo; Tucker (eds.) TITLE: Eurographics 1984 YEAR: 1984 NUMBER: 9797 AUTHOR: Phang (ed.) TITLE: Trends in electronics YEAR: 1984 NUMBER: 9796 AUTHOR: Rosenfeld (ed.) TITLE: Applied machine vision YEAR: 1984 NUMBER: 9794 AUTHOR: Cipprs; Iapr (eds.) TITLE: Pattern recognition, vol. 2 YEAR: 1984 NUMBER: 9793 AUTHOR: Cipprs; Iapr (eds.) TITLE: Pattern recognition, vol. 1 YEAR: 1984 NUMBER: 9792 AUTHOR: Moto-Oka (ed.) TITLE: 5th generation computer systems YEAR: 1981 NUMBER: 9788 AUTHOR: Hausen (ed.) TITLE: Software validitation YEAR: 1983 NUMBER: 9787 AUTHOR: Tenhagen (ed.) TITLE: Eurographics 1983 YEAR: 1983 NUMBER: 9774 AUTHOR: Winston; Prendergast (eds.) TITLE: The AI business YEAR: 1984 NUMBER: 9769 AUTHOR: Bramer (ed.) TITLE: Research and development in expert systems YEAR: 1984 NUMBER: 9765 AUTHOR: McGregor TITLE: Pascal for Science and engineering YEAR: NUMBER: 9739 AUTHOR: Lee; Gonzales; Fu TITLE: Robotics YEAR: NUMBER: 9708 AUTHOR: Burmeister TITLE: Univers. Algebra YEAR: 1983 NUMBER: 9670 AUTHOR: Pouzet; Richard (eds.) TITLE: Orders, description and rules YEAR: 1982 NUMBER: 9649 AUTHOR: DeBakker; Van Vliet (eds.) TITLE: Algorithmic languages YEAR: 1981 NUMBER: 9646 AUTHOR: Rudin; West (eds.) TITLE: Protocol specification, testing, and verification YEAR: 1983 NUMBER: 9635 AUTHOR: Karpinsky; et al. (eds.) TITLE: Topics in the theory of computation YEAR: 1983 NUMBER: 9624 AUTHOR: Kolman (ed.) TITLE: Lie Algebras YEAR: 1972 NUMBER: 9618 AUTHOR: Heidler, K.; et al. (eds.) TITLE: Rekursive Funktionen YEAR: NUMBER: 9614 AUTHOR: Maurer (ed.) TITLE: Automata, Languages, Programming YEAR: 1979 NUMBER: 9611 AUTHOR: Gordon TITLE: Denotational description YEAR: NUMBER: 9609 AUTHOR: Cremers; Krieger (eds.) TITLE: Theoretical computer science YEAR: 1983 NUMBER: 9608 AUTHOR: Deussen (ed.) TITLE: Theoretical computer science YEAR: 1981 NUMBER: 9578 AUTHOR: Paredaens (ed.) TITLE: Automata, alnguages and programming YEAR: 1984 NUMBER: 9570 AUTHOR: Karpinski (ed.) TITLE: Foundations of Comp. Theory YEAR: 1983 NUMBER: 9569 AUTHOR: Loveland (ed.) TITLE: Automated deduction YEAR: 1982 NUMBER: 9568 AUTHOR: Nijholt, A. TITLE: Context free grammars YEAR: NUMBER: 9559 AUTHOR: Kunii, T.L. TITLE: VLSI Design YEAR: NUMBER: 9558 AUTHOR: Clarke; Kozen (eds.) TITLE: Logic of programs YEAR: 1983 NUMBER: 9556 AUTHOR: Paul; Robinet (eds.) TITLE: Int. Symp. on Programming YEAR: 1984 NUMBER: 9557 AUTHOR: Fontet; Mehlhorn (eds.) TITLE: STACS 1984 YEAR: 1984 NUMBER: 9552 AUTHOR: Kahn TITLE: Semantics of Data types YEAR: NUMBER: 9527 AUTHOR: Briggs, Hwang TITLE: Computer architecture and parallel processing YEAR: NUMBER: 9511 AUTHOR: Beth TITLE: Kryptography YEAR: NUMBER: 9431 AUTHOR: Lee TITLE: Computer Semantics YEAR: NUMBER: 9421 AUTHOR: Boyer, R.S.; Moore, J. St. TITLE: The correctness problem in computer science YEAR: NUMBER: 9416 AUTHOR: Chong; Wicks (eds.) TITLE: Southeast Asian conference on logic YEAR: 1981 NUMBER: 9414 AUTHOR: Uehara; Barbacc (eds.) TITLE: Computer Hardware description languages YEAR: 1983 NUMBER: 9412 AUTHOR: Ausiello; Protasi (eds.) TITLE: CAAP 1983 YEAR: 1983 NUMBER: 9411 AUTHOR: Van Hulzen (ed.) TITLE: Eurocal 1983 YEAR: 1983 NUMBER: 9409 AUTHOR: Herkenrath; et al. (eds.) TITLE: Mathematical learning models YEAR: 1983 NUMBER: 9408 AUTHOR: Diaz (ed.) TITLE: Automata, Languages and programs YEAR: 1983 NUMBER: 9397 AUTHOR: Lolli; Longo; Marcja (eds.) TITLE: Logic Colloquium YEAR: 1982 NUMBER: 9392 AUTHOR: Davis TITLE: Computability YEAR: NUMBER: 9349 AUTHOR: Hommel; Kroenig (eds.) TITLE: Requirements Engineering YEAR: 1983 NUMBER: 9348 AUTHOR: Goto; et al. (eds.) TITLE: RIMS Symp. YEAR: 1982 NUMBER: 9347 AUTHOR: Salwicki (ed.) TITLE: Logics of programs and their applications YEAR: 1980 NUMBER: 9338 AUTHOR: Darlington; et al. TITLE: Functional programming and its applications YEAR: NUMBER: 9311 AUTHOR: Ralston; Young (eds.) TITLE: Teh future of college mathematics YEAR: 1983 NUMBER: 9312 AUTHOR: Staunstrup (ed.) TITLE: Program Specifications YEAR: NUMBER: 9294 AUTHOR: Anceau; Aas (eds.) TITLE: VLSI 1983 YEAR: 1983 NUMBER: 9257 AUTHOR: Broy, M.; Schmidt, G. TITLE: Theoretical foundations of programming methodology YEAR: 1982 NUMBER: 9256 AUTHOR: Biermann; Guibo (eds.) TITLE: Computer program synthesis methods YEAR: 1981 NUMBER: 9187 AUTHOR: Bjorner (ed.) TITLE: Formal description of program concepts YEAR: 1982 NUMBER: 9161 AUTHOR: Messina; Murli (eds.) TITLE: Problems and methods in mathematical software production YEAR: 1980 NUMBER: 9159 AUTHOR: Wahlster (ed.) TITLE: GWAI 1982 YEAR: 1982 NUMBER: 9158 AUTHOR: Bibel; Siekmann (eds.) TITLE: Kuenstliche Intelligenz YEAR: 1982 NUMBER: 9102 AUTHOR: Beth (ed.) TITLE: Cryptography YEAR: 1982 NUMBER: 8990 AUTHOR: Buchberger, B. TITLE: Mathematik fuer Informatiker YEAR: NUMBER: 8914 AUTHOR: Jackson (ed.) TITLE: Teaching informatics courses YEAR: 1981 NUMBER: 8911 AUTHOR: Reid (ed.) TITLE: Relationship: numerical computation and programs YEAR: 1982 NUMBER: 8912 AUTHOR: Robinson TITLE: Model theory YEAR: NUMBER: 10579 AUTHOR: Desarmenie, J.(ed.) TITLE: TEX for scientific documentation YEAR: 1986 NUMBER: 10455 AUTHOR: Bibel, W.; Jorrand, Ph. TITLE: Fundamental of artificial intelligence YEAR: NUMBER: 10453 AUTHOR: Earnshaw, R.A. TITLE: Fundamental algorithms for computer graphics YEAR: NUMBER: 10254 AUTHOR: Giannesini; et al. TITLE: PROLOG YEAR: NUMBER: 10249 AUTHOR: Campbell; et al. TITLE: Implementations of PROLOG YEAR: NUMBER: 10195 AUTHOR: Radermacher; Wirsing TITLE: Berichte aus Informatikinstituten 1986 YEAR: NUMBER: 10119 AUTHOR: Wadge; Ashcroft TITLE: Lucid, the dataflow programming language YEAR: NUMBER: 10109 AUTHOR: Gonnet TITLE: Hnadbook of algorithms and data structures YEAR: NUMBER: 10088 AUTHOR: Reynolds TITLE: The craft of programming YEAR: NUMBER: 10084 AUTHOR: Weissinger TITLE: Numerische Mathematik auf PC's YEAR: NUMBER: 10068 AUTHOR: Bekic, H. TITLE: Programming languages and their definition YEAR: NUMBER: 10057 AUTHOR: Kernighan; Ritchie TITLE: Programming in C YEAR: NUMBER: 10054 AUTHOR: Waldschmidt; Walter TITLE: Grundzuege der informatik I YEAR: NUMBER: 10047 AUTHOR: Engeln; Muellges; Reutter TITLE: Numerische Mathematik fuer Ingenieure YEAR: NUMBER: 10040 AUTHOR: Ehrig; et al. s; (eds.) TITLE: Formal methods and software development, vol. 2 YEAR: NUMBER: 10034 AUTHOR: Neuwirth; et al. TITLE: Kinder, Computer und Bildung YEAR: NUMBER: 10010 AUTHOR: Hogger TITLE: Introduction to logic programming YEAR: NUMBER: 9897 AUTHOR: Muller; Pottmeyer; (eds.) TITLE: The fifth generation challenge YEAR: NUMBER: 9878 AUTHOR: Knuth; Neuhold; (eds.) TITLE: specification and design of software systems YEAR: NUMBER: 9875 AUTHOR: Leblanc; et al.; (eds.) TITLE: Foundations, logic, languages and mathematics YEAR: NUMBER: 9838 AUTHOR: Josephc; Shyamasundar TITLE: Foundations of software technology and theoretical computer science YEAR: NUMBER: 9837 AUTHOR: Ehrich; (ed.) TITLE: GI Tagung 1984 YEAR: NUMBER: 9831 AUTHOR: Chong, C.T. TITLE: Techniques of admissible recursion theory YEAR: NUMBER: 9832 AUTHOR: Habel; (ed.) TITLE: Kuenstliche Intelligenz 1984 YEAR: NUMBER: 9828 AUTHOR: Richter; et al.; (eds.) TITLE: Computation and proof theory 1983 YEAR: NUMBER: 9826 AUTHOR: Shostak; (ed.) TITLE: Automated Deduction 1984 YEAR: NUMBER: 9824 AUTHOR: Mueller; Richter; (eds.) TITLE: Models and sets YEAR: NUMBER: 9825 AUTHOR: Cossart TITLE: Resolution of surface singularities YEAR: NUMBER: 10471 AUTHOR: Lovasz; Szemeredi TITLE: Theory of algorithms YEAR: NUMBER: 10470 AUTHOR: Toussaint TITLE: Computational geometry YEAR: NUMBER: 10464 AUTHOR: Loeckx; Sieber TITLE: The foundations of program verification YEAR: NUMBER: AUTHOR: Freeman, T.S.; Imirzian, G.M.; Kaltofen, E.; Yagati, L. TITLE: DAGWOOD. A system for manipulating polynomials by straight line programs YEAR: 1986 NUMBER: AUTHOR: Kaltofen, E.; Krishnamoorphy, M.S.; Saunders, B.D. TITLE: Mr. Smith goes to Las Vegas. Randomized parallel computing of teh S mith normal form of polynomial matrices YEAR: 1987 NUMBER: AUTHOR: Dearnley, P.A.; Mayhew, P.J. TITLE: In favour of system prototypes and their integration into the syste ms development cycle YEAR: 1983 NUMBER: AUTHOR: Giarratana, V.; Gimona, F.; Montanari, U. TITLE: Observability concepts in abstract data type specification YEAR: 1976 NUMBER: AUTHOR: Levi, G.; Simonelli, C. TITLE: Un sistema interattivo per la dimostrazione di teoremi e la semplificazione in teoria multicontestuali relative a tipi di dato YEAR: 1978 NUMBER: AUTHOR: Modesti, M. TITLE: Studio di una machina data-flow per il LISP YEAR: 1978 NUMBER: AUTHOR: Rietti, G.; Tiriticco, U.; Vanneschi, M. TITLE: Sistemi distribuiti di unita funzionali come comlessi di microprocessors YEAR: 1977 NUMBER: AUTHOR: Ivanyi, A. TITLE: Tight worst case bounds for bin packing algorithms YEAR: 1984 NUMBER: AUTHOR: Horneber, E.H. TITLE: Benutzeranleitung und Dokumentation zum Simulator SIMUL4 YEAR: 1979 NUMBER: AUTHOR: Degano, P.; Sirovich, F. TITLE: Inductive generalization and proofs of function properties YEAR: NUMBER: AUTHOR: Degano, P.; Sirovich, F. TITLE: suresing in schemes better than proving YEAR: 1978 NUMBER: AUTHOR: Levi, G.; Simonelli, C. TITLE: Un sistema interattivo per la dimostrazione di teoremi e la semplificazione in teorie multicontestuali relative a tipi di dato YEAR: NUMBER: AUTHOR: Hoffmann, Werner TITLE: Queueing models for parallel processing and their application to a hierarchically organized multiprocessing system YEAR: 1979 NUMBER: AUTHOR: Vineberg, M. TITLE: Polynomial evaluation using multiple processing elements YEAR: 1979 NUMBER: AUTHOR: Praly, L. TITLE: Resolution de systemes lineaires sur propal II par des methodes de quasi-projection sur des hyperplanes YEAR: 1979 NUMBER: AUTHOR: Pinzani, R. TITLE: sul trattamento automatico delle informazioni YEAR: 1971 NUMBER: AUTHOR: Cantor, D.G.; Kaltofen,E. TITLE: Fast multiplication of polynomials over arbitrary rings YEAR: 1985 NUMBER: AUTHOR: Welzl, E. TITLE: Konstruktion von Sichtbarkeitsgraphen fuer Liniensegmente YEAR: 1987 NUMBER: AUTHOR: Klaeren, H.A. TITLE: An abstract software specification technique based on structural recursion YEAR: 1980 NUMBER: AUTHOR: Klaeren, H.A. TITLE: The SRDL specification experiment YEAR: NUMBER: AUTHOR: Klaeren, H.A. TITLE: Recursive definitions of operations in universal algebras YEAR: NUMBER: AUTHOR: Klaeren, H.A.; Petzsch, H. TITLE: The development of an interpreter by means of abstract algebraic software specifications YEAR: NUMBER: AUTHOR: Klaeren, H.A.; Schulz, M. TITLE: Computable algebras, word problems and canonical term algebras YEAR: NUMBER: AUTHOR: Klaeren, H.A. TITLE: A simple class of algorithmic specifications for abstract software modules YEAR: NUMBER: AUTHOR: Edelsbrunner, Herbert TITLE: Computational geometry Column YEAR: 1987 NUMBER: rc12626 AUTHOR: Farouki, R.T.; Rajan, V.T. TITLE: On the numerical condition of Bernstein polynomials YEAR: NUMBER: AUTHOR: Zassenhaus, H. TITLE: Vorlesung SS87, Linz YEAR: 1987 NUMBER: AUTHOR: Siekmann, J. TITLE: Abschlussbericht ueber das FE-Vorhaben YEAR: 1987 NUMBER: AUTHOR: NN TITLE: Wissensbasierte Entwicklung und Validierung von Rechnerprogrammen und - architekturen YEAR: 1984 NUMBER: AUTHOR: Henzinger, T. TITLE: Computer Science at Stanford YEAR: 1987 NUMBER: AUTHOR: manna, Z. TITLE: Vorlesung SS85 YEAR: 1985 NUMBER: AUTHOR: Blum, Norbert TITLE: Fault detection of combinational circuits by generalized one-dimens ional path sensitizing YEAR: 1984 NUMBER: AUTHOR: Blum, Norbert TITLE: An area-maximum edge length tradeoff for VLSI layout YEAR: 1984 NUMBER: AUTHOR: Blum, Norbert TITLE: On the single-operation worst-case time complexity of the disjoint set union problem YEAR: 1984 NUMBER: AUTHOR: Blum, Norbert TITLE: More on the power of chain rules in context-free grammares YEAR: 1983 NUMBER: AUTHOR: Blum, Norbert TITLE: A boolean function requiring 3n network size YEAR: 1984 NUMBER: AUTHOR: Blum, Norbert TITLE: An O(n4/3) lower bound on the monotone network complexity of the n-th degree convolution YEAR: 1983 NUMBER: AUTHOR: Blum, Norbert; Mehlhorn, Kurt TITLE: On teh average number of rebalancing operations in weight- balanced trees YEAR: 1980 NUMBER: AUTHOR: Wagner, R.R.; Traunmueller, R.; Mayr, H.C. TITLE: Informationsbedarfsermittlung und -analyse fuer den Entwurf von Informationssystemen YEAR: 1987 NUMBER: AUTHOR: Blaesius, K.H.; et al. TITLE: Abschlussbericht fuer das FE-Vorhaben, Band 2 YEAR: 1985 NUMBER: AUTHOR: Blum, Norbert TITLE: Fehlererkennung in kombinatorischen Schaltkreisen YEAR: 1985 NUMBER: AUTHOR: Moussiaux, A.; Tombal, Ph. TITLE: Macsyma's computation of dirac-bergmann algorithm for hamiltonian systems with constraints II YEAR: NUMBER: AUTHOR: Moussiaux, A.; Tombal, Ph. TITLE: Macsyma's computation of dirac-bergmann algorithm for hamiltonian systems with constraints I YEAR: NUMBER: AUTHOR: Arkin, E.M.; Mitchell, J.S.B. TITLE: An optimal visibility algorithm for a simple polygon with star-shaped holes YEAR: 1987 NUMBER: AUTHOR: Burns, A.; D'Amico, E.; Menu, J. TITLE: DIALOG. A language for instrumentation diagnosis YEAR: 1987 NUMBER: AUTHOR: Asirelli, P.; et al. TITLE: A flexible environment for program development based on a symbolic interpreter YEAR: NUMBER: AUTHOR: Bellia, Marco TITLE: Un modello semantico per la definizione a livelli di linguaggi di programmazione YEAR: 1978 NUMBER: AUTHOR: Casaglia, G.F.; Lijtmaer, N. TITLE: Stutturazione uniforme di sistemi di calcolo distribuiti realizzati tramite micro e minicalcolatori YEAR: NUMBER: AUTHOR: Chiarini, A. TITLE: On FP languages combining forms YEAR: NUMBER: AUTHOR: Degano, P.A.; et al. TITLE: An integrated system to support program design, development and analysis YEAR: NUMBER: AUTHOR: Ancilotti, P.; Boari, M.; Lijmaer, N. TITLE: Metodi per la specifica del coordinamento dei processi concorrenti YEAR: NUMBER: AUTHOR: Ancilotti, P.; Boari, M.; Lijmaer, N. TITLE: tecniche di programmazione strutturata estese ad un ambito di YEAR: NUMBER: AUTHOR: Beierle, C.; et al. TITLE: Abschlussbericht fuer das FE-Vorhaben, Band 1 YEAR: 1985 NUMBER: AUTHOR: Blum, Norbert TITLE: A note on the parallel computation thesis YEAR: 1983 NUMBER: AUTHOR: Blum, Norbert; Seysen, Martin TITLE: Characterization of all optimal networks for a simultaneous computation af AND and NOR YEAR: 1984 NUMBER: AUTHOR: Blum, Norbert TITLE: On the power of chain rules in context free grammars YEAR: 1982 NUMBER: AUTHOR: Albano, A.V.; Orsini, R. TITLE: A tree search approach to the m-partition and knapsack problem YEAR: 1979 NUMBER: AUTHOR: DeFrancesco, N.; Vaglini, G. TITLE: On the decomposition of parallel computations YEAR: 1977 NUMBER: AUTHOR: DeFrancesco, N.; Vaglini, G.; Vanneschi, M. TITLE: Implementation of parallel computation schemes YEAR: 1976 NUMBER: AUTHOR: DeFrancesco, N.; Petacchi, C.; Vaglini, G.; Vanneschi, M. TITLE: On deadlock in networks of asynchronous miroprocessors YEAR: 1975 NUMBER: AUTHOR: Fantechi, A. TITLE: Schemi e trasformazioni formali di microprogrammi YEAR: 1978 NUMBER: AUTHOR: Fantechi, A. TITLE: Un approccio formale allo studio delle proprieta dei programmi data -flow YEAR: 1978 NUMBER: AUTHOR: Ambriola, V.; Levi, G.; Martelli, A.; Montanari, U. TITLE: Trattamento di tipi di dato e strutture dati primitivi in un interprete simbolico YEAR: 1977 NUMBER: AUTHOR: Carlucci, L. TITLE: A conditional functional tree-handling generalzed markov algorithm which interprets a nondeterministic abstract machine YEAR: 1971 NUMBER: AUTHOR: Carlucci, L. TITLE: A formal system for texture languages YEAR: 1972 NUMBER: AUTHOR: Aiello, L. TITLE: Evaluating functions defined in first order logic YEAR: 1980 NUMBER: AUTHOR: Aiello, L.; Aiello, M. TITLE: Proving program correctness in LCF YEAR: 1974 NUMBER: AUTHOR: Aiello, L.; Montanari, U. TITLE: Towards a formal definition of the control in structured programs YEAR: 1974 NUMBER: AUTHOR: Aiello, L.; Aiello, M.; Weyrauch, R.W. TITLE: Program correctness checked by machine: the reliability of a reservation system YEAR: 1975 NUMBER: AUTHOR: DeFrancesco, N.; Vaglini, G. TITLE: Determinancy and deadlock of a modular system model YEAR: 1978 NUMBER: AUTHOR: Asirelli, P.; Martelli, A.; Montanari, U. TITLE: Proposta per un linguaggio di programmazione senza di tipi di dati astratti YEAR: 1978 NUMBER: AUTHOR: Asirelli, P.; Gimona, F.; Lami, C.; Sirovich, F. TITLE: manuale di riferimento dek linguaggio intermedio lint YEAR: 1978 NUMBER: AUTHOR: Asirelli, P.; Gimona, F.; Sirovich, F. TITLE: Un linguaggio intermedio per un sistema interattivo di sviluppo di software per livelli di astrazione YEAR: 1978 NUMBER: AUTHOR: Allgower, E.L.; Gnutzmann, St. TITLE: An algorithm for piecewise linear approximation of implicitly defined tow-dimensional surfaces YEAR: 1987 NUMBER: AUTHOR: Eryov, A.N. TITLE: Proc. of the conference on tranlation and program transformation techniques YEAR: 1984 NUMBER: AUTHOR: Hopcroft, J.E.; Schwartz, J.T.; Sharir, M. TITLE: Efficient detection of intersections among sphers YEAR: 1983 NUMBER: AUTHOR: Warren, J.D. TITLE: On algebraic surfaces meeting with geometric continuity YEAR: 1986 NUMBER: AUTHOR: Gerner, Manfred TITLE: Methodik zum Testarchitekturentwurf bei VLSI-Bausteinen YEAR: 1988 NUMBER: AUTHOR: Eschenbach, Dieter TITLE: Zur numerischen Behandlung schwachsingulaerer homogener Integralgleichungen in einer und in mehreren Dimensionen YEAR: 1984 NUMBER: AUTHOR: Bernutat-Buchmann; et al. TITLE: Parallel Computing I, Eine Bibliographie YEAR: 1983 NUMBER: AUTHOR: Steele, Guy, L. TITLE: Common LISP YEAR: NUMBER: 10673 AUTHOR: Budd, T. TITLE: A little Smalltalk YEAR: NUMBER: AUTHOR: Weigert, Thomas, J. TITLE: A first-order language for requirement theories YEAR: 1988 NUMBER: 10670 AUTHOR: Mirkowska, G.; Salwicki, A. TITLE: Algorithmic logic YEAR: 1987 NUMBER: AUTHOR: Knuth, D. TITLE: The TEX-book YEAR: NUMBER: AUTHOR: Radermacher; Wirsing TITLE: Proc. Berichte aus Informatikinstituten YEAR: 1986 NUMBER: 1198 AUTHOR: Groebner, Wolfgang TITLE: Algebraische Geometrie YEAR: NUMBER: 5480 AUTHOR: Shafarevich, I.R. TITLE: basic algebraic geometry YEAR: NUMBER: 5830 AUTHOR: Barwise, J. TITLE: Admissible sets and structures. An approach to definability theory YEAR: NUMBER: 6382 AUTHOR: Barwise, J. TITLE: Handbook of mathematical logic YEAR: NUMBER: 6388 AUTHOR: Renschuch, B. TITLE: Idealtheorie YEAR: NUMBER: 9876 AUTHOR: Halpern, R. TITLE: Microcomputer graphics using PASCAL for the Apple II family YEAR: NUMBER: 10485 AUTHOR: Heitzinger; et al. TITLE: Nichtlineare Gleichungen YEAR: NUMBER: AUTHOR: Engeler, E.; Laeuchli, P. TITLE: Berechnungstheorie fuer Informatiker YEAR: 1988 NUMBER: syspro43/87 AUTHOR: Novacek, Alfred TITLE: Das Interfacing von Modula-2 Programmen zu anderen Software- Produkten am Beispiel der Index-Verwaltung FABS YEAR: 1987 NUMBER: 3457 AUTHOR: Schafarewitsch, I.R. TITLE: Grundzuege der algebraischen Geometrie YEAR: 1972 NUMBER: csd-tr-549 AUTHOR: Atallah, Mikhail J.; Bajaj, Chanderjit TITLE: Efficient algorithms for common transversals YEAR: 1985 NUMBER: AUTHOR: Kovacec, Alexander TITLE: A bruhat order for bipartite graphs whose node sets are posets: lifting, switching, and adding edges YEAR: 1985 NUMBER: 10656 AUTHOR: Farin, Gerald E. TITLE: Geometric Modeling: algorithms and new trends YEAR: 1987 NUMBER: AUTHOR: Kovacec, Alexander TITLE: A generalization of a theorem of Koenig YEAR: 1986 NUMBER: AUTHOR: Kovacec, Alexander TITLE: Contributions to inequalities II YEAR: 1986 NUMBER: AUTHOR: Kovacec, Alexander TITLE: Two contributions to inequalities YEAR: 1984 NUMBER: AUTHOR: Kovacec, Alexander TITLE: On an algorithmic method to prove inequalities YEAR: 1983 NUMBER: AUTHOR: Kovacec, Alexander TITLE: On positive definite differences of multilinear forms and their representation YEAR: 1984 NUMBER: AUTHOR: Kovacec, Alexander TITLE: Ein konstruktives Fixpunktprinzip fuer beliebige T2-Raeume YEAR: 1984 NUMBER: AUTHOR: Kovacec, Alexander TITLE: A bruhat order for bipartite graphs whose node sets are posets: lifting, switching, and adding edges YEAR: NUMBER: AUTHOR: Shepherdson, J.C. TITLE: Non-standard models for fragments of number theory YEAR: NUMBER: syspro42/87 AUTHOR: Stadler, Kurt TITLE: Sprachvollsynthese mit TALKMAN YEAR: 1987 NUMBER: AUTHOR: Rasputin, G. TITLE: Uslovijach sustschestvovanija kubaturnoj formuly gaussova tipa YEAR: 1987 NUMBER: c5 AUTHOR: Montonen, Esa TITLE: SPNA - a stochastic petri net analyzer YEAR: 1986 NUMBER: b35 AUTHOR: Tuominen, H. TITLE: A logical basis for C/E-systems YEAR: 1986 NUMBER: b34 AUTHOR: Tiusanen, M.; Valmari, A. TITLE: A graph model for efficient reachability analysis of description languages YEAR: 1986 NUMBER: b33 AUTHOR: Kettunen, Esa; Montonen, Esa; Tuuliniemi, Timo TITLE: A comparison of Pr/T-net based fifo channel models YEAR: 1986 NUMBER: AUTHOR: Govorun, N. TITLE: International conference on computer algebra and its applications in theoretical physics YEAR: 1985 NUMBER: 596 AUTHOR: Winkowski, Josef TITLE: Towards an algebraic model for communicating processes YEAR: 1986 NUMBER: 598 AUTHOR: Penczek, Wojciech TITLE: Inevitability in diamond-discrete systems YEAR: 1987 NUMBER: 602 AUTHOR: Sosnowska, Honorata TITLE: Rights, similarity of induvidials and n-person symetrical games YEAR: 1987 NUMBER: 600 AUTHOR: Idzik, Adam TITLE: A selection theorem YEAR: 1987 NUMBER: 599 AUTHOR: Matuszewski. Andrzej TITLE: Frequentist interpretation of Bayes confidence regions and the binomial scheme YEAR: 1987 NUMBER: 595 AUTHOR: Majerski, Stanislaw TITLE: A high-speed cellular-array multiplier with two-adder cells YEAR: 1986 NUMBER: AUTHOR: nn TITLE: ICIAM '87 Austellungskatalog YEAR: 1987 NUMBER: 6388 AUTHOR: Renschuch, B. TITLE: Idealtheorie YEAR: 1976 NUMBER: 45 AUTHOR: Schalkwijk, J.P.M. TITLE: On a quantitative definition of information and its impact on the field of communications YEAR: 1982 NUMBER: 10625 AUTHOR: O'Donell, M.J. TITLE: Equational logic as a programming language YEAR: 1985 NUMBER: 10626 AUTHOR: Kowalik, J.S. (ed.) TITLE: Parallel MIMD computation YEAR: 1985 NUMBER: 10613 AUTHOR: Toffoli, T.; Margolus, N. TITLE: Cellular automata machines YEAR: 1987 NUMBER: 10624 AUTHOR: Baird, H.S. TITLE: Model-based image matching using location YEAR: 1985 NUMBER: 10618 AUTHOR: Mason, M.T.; Salisbury, J.K., Jr. TITLE: Robot hands and the mechanics of manipulation YEAR: 1985 NUMBER: 10634 AUTHOR: Morgan, A. TITLE: Solving polynomial systems using continuation for engineering and scientific problems YEAR: 1987 NUMBER: 10620 AUTHOR: Harvey, Brian TITLE: Computer science LOGO style, vol. 2 projects, styles, and techniques YEAR: 1986 NUMBER: 10588 AUTHOR: Berger, Marcel TITLE: Geometry I YEAR: 1977 NUMBER: 10589 AUTHOR: Berger, Marcel TITLE: Geometry II YEAR: 1977 NUMBER: 10615 AUTHOR: Potter, J.L. (ed.) TITLE: The massively parallel processor YEAR: 1986 NUMBER: 10585 AUTHOR: Bundy, A. (ed.) TITLE: Catalogue of artificial intelligence tools YEAR: 1986 NUMBER: 10619 AUTHOR: Leiserson, Charles E., (ed.) TITLE: Advanced research in VLSI YEAR: 1986 NUMBER: 10561 AUTHOR: Weinstock, H.; Bork, A. (eds.) TITLE: Designing computer-based learning materials YEAR: 1985 NUMBER: 10564 AUTHOR: Robinet, B.; Wilhelm, R. (eds.) TITLE: ESOP 86 YEAR: 1986 NUMBER: 10556 AUTHOR: Nickel, K. (ed.) TITLE: Interval Mathematics 1985 YEAR: 1986 NUMBER: 10558 AUTHOR: Makedon, F.; Papatheodorou, T.; Spirakis, P. (eds.) TITLE: VLSI algorithms and architectures YEAR: 1986 NUMBER: 10562 AUTHOR: DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.) TITLE: PARLE, parallel architectures and languages Europe, vol. 1 YEAR: 1987 NUMBER: 10563 AUTHOR: DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.) TITLE: PARLE, parallel architectures and languages Europe, vol. 2 YEAR: 1987 NUMBER: 10572 AUTHOR: Haendler, W.; Haupt, D.; Jeltsch, R.; et al. (eds.) TITLE: CONPAR 86 Conference on algorithms and hardware for parallel processing YEAR: 1986 NUMBER: 10605 AUTHOR: Cantoni, V.; Levialdi, S.; Musso, G. (eds.) TITLE: Image analysis and processing YEAR: 1986 NUMBER: 10623 AUTHOR: Faugeras, O.D.; Giralt, Georges TITLE: Robotics research, the third international symposium YEAR: 1986 NUMBER: 10621 AUTHOR: hanafusa, Hideo; Inoue, Hirochika; (eds.) TITLE: Robotics research, the second international symposium YEAR: 1986 NUMBER: 10616 AUTHOR: Raibert, Marc H. TITLE: Legged robots that balance YEAR: 1986 NUMBER: 10569 AUTHOR: Rembold, U.; Dillmann, R. TITLE: computer-aided design and manufacturing YEAR: 1986 NUMBER: 10582 AUTHOR: Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.) TITLE: TAPSOFT 87, vol. 2 YEAR: 1987 NUMBER: 10581 AUTHOR: Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.) TITLE: TAPSOFT 87, vol. 1 YEAR: 1987 NUMBER: 10568 AUTHOR: Melton, Austin (ed.) TITLE: Mathematical foundations of programming semantics YEAR: 1986 NUMBER: 10627 AUTHOR: Salmon, Rod; Slater, Mel TITLE: Computer graphics, systems and concepts YEAR: 1987 NUMBER: 10633 AUTHOR: Coxeter, H.S.M. TITLE: Unvergaengliche Geometrie YEAR: 1981 NUMBER: 10630 AUTHOR: Sterling, Leon; Shapiro, Ehud TITLE: The art of PROLOG YEAR: 1986 NUMBER: 10629 AUTHOR: Belli, Fevzi TITLE: Einfuehrung in die logische Programmierung mit PROLOG YEAR: 1987 NUMBER: 10628 AUTHOR: Turski, W. M.; Maibaum, T.S.E. TITLE: The specification of computer programs YEAR: 1987 NUMBER: 10614 AUTHOR: Sugihara, Kokichi TITLE: Machine interpretation of line drawings YEAR: 1986 NUMBER: 10617 AUTHOR: McCarthy, J.M. TITLE: Kinematics of Robot Manipulators YEAR: 1986 NUMBER: 10622 AUTHOR: Fujiwara, Hideo TITLE: Logic testing and design for testability YEAR: 1985 NUMBER: 10609 AUTHOR: Horn, B.K.P. TITLE: Robot Vision YEAR: 1986 NUMBER: 10610 AUTHOR: Marsan, M.A.; Balbo, G.; Conte, G. TITLE: Performance models of multiprocessor systems YEAR: 1986 NUMBER: 10611 AUTHOR: Winston, P.H.; Brown, R.H. TITLE: Artificial Intelligence, An MIT perspective, vol. 1 YEAR: 1979 NUMBER: 10612 AUTHOR: Winston, P.H.; Brown, R.H. TITLE: Artificial Intelligence, An MIT perspective, vol. 2 YEAR: 1979 NUMBER: AUTHOR: Arnon, Dennis A. TITLE: Workshop on Environments for computational mathematics YEAR: 1987 NUMBER: 705 AUTHOR: Boissonnat, J.-D.; Preparata, F. P. TITLE: On the external boundary of a union of rays YEAR: 1987 NUMBER: AUTHOR: Chazelle, B.; Dobkin, D.P. TITLE: Intersection of convex objects in two and three dimensions YEAR: 1987 NUMBER: AUTHOR: DeSa, S.; Roth, B. TITLE: Kinematic mappings. YEAR: 1987 NUMBER: AUTHOR: Dobkin, D.P.; Kirkpatrick, D.G. TITLE: Fast detection of polyhedral intersection YEAR: 1983 NUMBER: AUTHOR: Dobkin, D.P.; Kirkpatrick, D.G. TITLE: A linear algorithm for determining the separation of convex polyhedra YEAR: 1985 NUMBER: AUTHOR: Arnon, D.; Beach, R.; Mclsaac, K.; Waldspurger, C. TITLE: CaminoReal: An interactive mathematical notebook YEAR: 1987 NUMBER: AUTHOR: Horn, Karin TITLE: Integration von Graphik in das Textformatiersystem TEX YEAR: 1986 NUMBER: 10485 AUTHOR: Heitzinger; et al. TITLE: Nichtlineare Gleichungen YEAR: NUMBER: AUTHOR: Dorninger, D. TITLE: On permutations of chromosomes YEAR: 1986 NUMBER: AUTHOR: Dorninger, D.; Timischl, W. TITLE: Geometrical constraints on Bennett's predictions of chromosome order YEAR: 1987 NUMBER: AUTHOR: Dorninger, D. TITLE: Lattice operations between observables in axiomatic quantum mechanics YEAR: 1985 NUMBER: AUTHOR: Dorninger, D. TITLE: On a set of relations arising from the triangulation problem YEAR: 1985 NUMBER: 4/85 AUTHOR: Ebert, J. (ed.) TITLE: Alternative Konzepte fuer Sprachen und Rechner YEAR: 1985 NUMBER: seki-84-05 AUTHOR: Boley, H. TITLE: LISP, Eine funktionale Einfuehrung YEAR: 1984 NUMBER: AUTHOR: IBM TITLE: BI annual report YEAR: 1988 NUMBER: cu-cs-055-74 AUTHOR: Osterweil, L.J.; Fosdick, L.D. TITLE: Data flow analysis as an aid in documentation, assertion generation validitation, and error detection YEAR: 1974 NUMBER: AUTHOR: Harrison, W. TITLE: Compiler analysis of the value ranges for variables YEAR: 1975 NUMBER: AUTHOR: Allen, F.E. TITLE: A basis for program optimization YEAR: 1972 NUMBER: AUTHOR: Barth, J.M. TITLE: A practical interprocedural data flow analysis algorithm YEAR: 1978 NUMBER: AUTHOR: King, J.C. TITLE: Program reduction using symbolic execution YEAR: 1980 NUMBER: AUTHOR: Rosen, B.K. TITLE: Data flow analysis for recursive PL/I programs YEAR: 1975 NUMBER: AUTHOR: Ryder, B.G. TITLE: Constructing the call graph of a program YEAR: 1979 NUMBER: AUTHOR: Lomet, D.B. TITLE: Data flow analysis in the presence of procedure calls YEAR: 1975 NUMBER: AUTHOR: Rosen, B.K. TITLE: Data flow analysis, part I YEAR: 1975 NUMBER: AUTHOR: Huang, J.C. TITLE: Detection of data flow anomaly through program instumentation YEAR: 1979 NUMBER: AUTHOR: Ullman, J.D. TITLE: Fast algorithms for the elimination of common subexpressions YEAR: 1972 NUMBER: AUTHOR: Gallier, J.H.; Snyder, W. TITLE: Complete sets of transformations for general E-unificatin YEAR: 1988 NUMBER: AUTHOR: Leitsch, A. TITLE: On different concepts of resolution YEAR: 1988 NUMBER: AUTHOR: Schaeffer, B. TITLE: Objekt-orientierte Programmierung, ein Ueberblick YEAR: 1988 NUMBER: AUTHOR: Hecht, M.S.; Ullmann, J.D. TITLE: Flow graph reducibility YEAR: 1972 NUMBER: AUTHOR: Kennedy, K. TITLE: A global flow analysis algorithm YEAR: 1971 NUMBER: 9384 AUTHOR: Uhr TITLE: Algorithmic structured computer array and networks YEAR: 1984 NUMBER: AUTHOR: Kapur, D.; Mundy, (eds.) TITLE: Geometric Reasoning YEAR: 1986 NUMBER: 87-10 AUTHOR: Klaeren, Herbert; Indermark, Klaus TITLE: A new implementation technique for recursive function definitions YEAR: 1987 NUMBER: AUTHOR: Gnutzmann, Stefan TITLE: Stueckweise lineare Approximation implizit definierter Mannigfaltigkeiten YEAR: 1988 NUMBER: AUTHOR: Liu, H.N.; Wratthall, C.; Zeger, K. TITLE: Efficient solution of some problems in free partially commutative monoids YEAR: 1987 NUMBER: AUTHOR: Pfalzgraf, J. TITLE: Eine Beschreibung geometrischer Raeume YEAR: 1987 NUMBER: 10700 AUTHOR: Raynal, M. TITLE: Algorithms for mutual exclusion YEAR: 1986 NUMBER: 10699 AUTHOR: Andre, F.; Herman, D.; Verjus, J.-P. TITLE: Synchronization of parallel programs YEAR: 1985 NUMBER: 10698 AUTHOR: Morecki, A.; Bianchi, G.; Kedzior, K.; (eds.) TITLE: RoManSY 6 YEAR: 1987 NUMBER: 10697 AUTHOR: Gardan, Yvon TITLE: Mathematics and CAD, vol. 1, numerical mthods for CAD YEAR: 1986 NUMBER: AUTHOR: Indermark, K. TITLE: Reduction semantics for rational schemes YEAR: 1984 NUMBER: AUTHOR: Indermark, K. TITLE: On rational definitions in complete algebras without rank YEAR: 1982 NUMBER: 84 AUTHOR: Indermark, K. TITLE: Complexity of infinite trees YEAR: 1983 NUMBER: 108 AUTHOR: Indermark, K. TITLE: Functional compiler description YEAR: 1985 NUMBER: AUTHOR: Gentleman, W.M. TITLE: Programming languages for symbolic algebra and numerical analysis YEAR: 1982 NUMBER: 248 AUTHOR: Aurenhammer, F. TITLE: Using gales transformation in computational geometry YEAR: 1988 NUMBER: 8711 AUTHOR: Simon, F. TITLE: Programmspezifikation YEAR: 1987 NUMBER: 8705 AUTHOR: Grabowski, M.; Hungar, H. TITLE: A characterization of expressive interpretations YEAR: 1987 NUMBER: 8716 AUTHOR: Wilmes, T. TITLE: A unification of functional and logic programming based on many-valued functions YEAR: 1987 NUMBER: AUTHOR: Wang, P.S.P.; Zhang, Y.Y. TITLE: A fast serial and parallel thinning algorithm YEAR: 1986 NUMBER: AUTHOR: Wlodka, D.W. TITLE: Simulation of robot factories using robsim YEAR: 1988 NUMBER: AUTHOR: Clowes TITLE: 3rd int. joint conference on AI YEAR: 1971 NUMBER: AUTHOR: nn TITLE: int. conference on reliable software YEAR: 1975 NUMBER: AUTHOR: nn TITLE: IJCAI'77 YEAR: 1977 NUMBER: AUTHOR: Visconti TITLE: 4th int. colloquium on advanced computing methods in theoretical ph ysics YEAR: 1977 NUMBER: AUTHOR: Derrett TITLE: Software engineering: tools and methods YEAR: 1978 NUMBER: AUTHOR: Baeuerle TITLE: Symp. on the dynamic properties of solids and structured phase transitions YEAR: 1979 NUMBER: AUTHOR: Remmele TITLE: Microcomputing YEAR: 1979 NUMBER: AUTHOR: Lewis TITLE: MACSYMA's user conference YEAR: 1979 NUMBER: AUTHOR: nn TITLE: 3. Tagung Berichte aus Informatikinstituten YEAR: 1979 NUMBER: AUTHOR: nn TITLE: Berichte aus Informatikinstituten YEAR: 1981 NUMBER: AUTHOR: nn TITLE: Berichte aus Informatikinstituten YEAR: 1983 NUMBER: AUTHOR: Hamza TITLE: Mini- and Microcomputer ... YEAR: 1983 NUMBER: AUTHOR: Guttag TITLE: NSF workshop on the rewrite rule lab. YEAR: 1983 NUMBER: AUTHOR: Mignotte TITLE: algorithmique calcul formel arithmetique YEAR: 1983 NUMBER: AUTHOR: General electrics TITLE: MACSYMA user conference YEAR: 1984 NUMBER: AUTHOR: Mastronardi TITLE: Mini- and Microcomputers YEAR: 1984 NUMBER: AUTHOR: Camp Linz TITLE: advanced topics in computer architecture YEAR: 1984 NUMBER: AUTHOR: Dresden TITLE: algorithmische und logische Grundlagen der Programmierung YEAR: 1984 NUMBER: AUTHOR: Hyvoenen TITLE: STEP'84 YEAR: 1984 NUMBER: AUTHOR: Barth TITLE: Berichte aus Informatikinstituten YEAR: 1984 NUMBER: AUTHOR: Prof TITLE: teoriya i praktika automatizirovania YEAR: 1984 NUMBER: AUTHOR: nn TITLE: 1st RIKEN symp. YEAR: 1984 NUMBER: AUTHOR: nn TITLE: 3rd RIKEN symp. YEAR: 1986 NUMBER: AUTHOR: nn TITLE: EXHIBIT'86 YEAR: 1986 NUMBER: AUTHOR: nn TITLE: ACM conf. LISP and functional programming (Auszuege) YEAR: 1986 NUMBER: AUTHOR: INRIA TITLE: computer aided geometric reasoning YEAR: 1986 NUMBER: AUTHOR: nn TITLE: RIKEN symp. YEAR: 1987 NUMBER: AUTHOR: Wagner TITLE: EMISA'87 YEAR: 1987 NUMBER: AUTHOR: Char TITLE: SYMSAC'86 YEAR: 1986 NUMBER: AUTHOR: O'Rourke TITLE: Computational geometry YEAR: 1985 NUMBER: AUTHOR: nn TITLE: 2nd RIKEN symp. YEAR: 1985 NUMBER: AUTHOR: Radermacher TITLE: Berichte aus Informatikinstituten YEAR: 1986 NUMBER: AUTHOR: nn TITLE: 4. Oe. Wissenschaftsmesse, Bd. 3 YEAR: 1985 NUMBER: AUTHOR: nn TITLE: IFABO'85 YEAR: 1985 NUMBER: AUTHOR: Talukdar TITLE: coupling symbolic and numeric computation in expert systems YEAR: 1985 NUMBER: AUTHOR: Steinringer TITLE: Wirtschaft und Technik YEAR: 1985 NUMBER: AUTHOR: nn TITLE: UNIX transparent YEAR: 1985 NUMBER: AUTHOR: Wang TITLE: SYMSAC'81 YEAR: 1981 NUMBER: AUTHOR: Kambayashi TITLE: Consecution retrieval property YEAR: 1981 NUMBER: AUTHOR: nn TITLE: Computer architecture YEAR: 1980 NUMBER: AUTHOR: nn TITLE: Int. school of high energy physics for young scientists YEAR: 1982 NUMBER: AUTHOR: Philipp TITLE: Grundlagen und Anwendunge der Informationsverarbeitung YEAR: 1982 NUMBER: AUTHOR: Maehle TITLE: Fehlertolerante Mehrprozessor- und Mehrrechner-systeme YEAR: 1983 NUMBER: AUTHOR: Govorin TITLE: Systems and techniques in analytic computation YEAR: 1983 NUMBER: AUTHOR: Scheel TITLE: Zur Bedeutung der Information ... YEAR: 1983 NUMBER: AUTHOR: Govorin TITLE: simulation programs and mathematical methods for solving physical problems YEAR: 1983 NUMBER: AUTHOR: Karpinski TITLE: topics in the theory of computation YEAR: 1983 NUMBER: AUTHOR: Bourne TITLE: 7th ACM symposium on principles of programming languages YEAR: 1980 NUMBER: AUTHOR: Plander TITLE: AI and information control systems of robots YEAR: 1980 NUMBER: AUTHOR: Davis TITLE: LISP conference YEAR: 1980 NUMBER: AUTHOR: Rossa TITLE: Mini- and micro computer and their application YEAR: 1980 NUMBER: 10988 AUTHOR: Ehrig, H.; Nagl, M.; Rozenberg, G.; Rosenfeld, A. (eds.) TITLE: Graph-grammars and their application to computer science YEAR: 1987 NUMBER: 10985 AUTHOR: Ottmann, T. (ed.) TITLE: Automata, languages and programming YEAR: 1987 NUMBER: 10974 AUTHOR: Barsky, B.A. TITLE: Computer graphics abd geometric modeling using beta-splines YEAR: 1988 NUMBER: 10979 AUTHOR: Sommerhalder, R.; van Westrhenen, S.C. TITLE: The theory of computability YEAR: 1988 NUMBER: 10989 AUTHOR: Main, M.; Melton, A.; Mislove, M.; Schmidt, D. (eds.) TITLE: Mathematical foundations of programming language semantics YEAR: 1987 NUMBER: 10990 AUTHOR: Boscarol, M.; Aiello, L. C.; Levi, G. (eds.) TITLE: Foundations of logic and functional programming YEAR: 1987 NUMBER: 10994 AUTHOR: Albrecht, A.; Jung, H.; Mehlhorn, K. (eds.) TITLE: Parallel algorithms and architectures YEAR: 1987 NUMBER: 10965 AUTHOR: Dauchet, M.; Nivat, M. (eds.) TITLE: CAAP'88 YEAR: 1988 NUMBER: 10972 AUTHOR: Lescanne, P. (ed.) TITLE: Rewriting techniques and applications YEAR: 1987 NUMBER: 10973 AUTHOR: Zilli, M. Venturini (ed.) TITLE: Mathematical models for the semantics of parallelism YEAR: 1987 NUMBER: 10964 AUTHOR: Tinhofer, G.; Schmidt, G. TITLE: Graph-theoretic concepts in computer science YEAR: 1987 NUMBER: 10995 AUTHOR: Wada, E. (ed.) TITLE: Logic programming '86 YEAR: 1987 NUMBER: 10996 AUTHOR: Jantke, K.P. (ed.) TITLE: Analogical and inductive inference YEAR: 1987 NUMBER: 10997 AUTHOR: Kahn, G. (ed.) TITLE: Functional programming languages and computer architecture YEAR: 1987 NUMBER: 10986 AUTHOR: Cori, R.; Wirsing, M. (eds.) TITLE: STACS 88 YEAR: 1988 NUMBER: 10998 AUTHOR: Budach, L.; Bukharajev, R.G.; Lupanov, O.B. (eds.) TITLE: Fundamentals of computer theory YEAR: 1987 NUMBER: 10991 AUTHOR: Freytag, J.Ch. TITLE: Translating relational queries into iterative programs YEAR: 1987 NUMBER: 10992 AUTHOR: Kernighan, B.W.; Plauger, P.J. TITLE: Software tools YEAR: 1976 NUMBER: 10993 AUTHOR: Kernighan, B.W.; Plauger, P.J. TITLE: the elements of programming style YEAR: 1978 NUMBER: 10971 AUTHOR: Rogers, D.F.; Earnshaw, R.A. TITLE: techniques for computer graphics YEAR: 1987 NUMBER: 10970 AUTHOR: Holland, G. TITLE: Problemloesen mit micro-Prolog YEAR: 1986 NUMBER: 10969 AUTHOR: Ranky, P.G.; Ho, C.Y. TITLE: Robot modelling YEAR: 1985 NUMBER: 10968 AUTHOR: Hanus, M.G. TITLE: Problemloesen mit prolog YEAR: 1987 NUMBER: 10967 AUTHOR: Sedgewick, R. TITLE: Algorithms YEAR: 1988 NUMBER: 10966 AUTHOR: Murota, K. TITLE: Systems analysis by graphs and matroids YEAR: 1987 NUMBER: 10950 AUTHOR: Gunzenhaeuser, R.; Boecker, H.-D. TITLE: Prototypen benutzergerechter Computersysteme YEAR: 1988 NUMBER: 10981 AUTHOR: Mendelson, E. TITLE: Algebraic and geometric combinatorics YEAR: 1982 NUMBER: 10980 AUTHOR: Maes, P.; Nardi, D. (eds.) TITLE: Meta-level architectures and reflection YEAR: 1988 NUMBER: 10963 AUTHOR: Weihrauch, K. TITLE: Computability YEAR: 1987 NUMBER: 10983 AUTHOR: Hunt, V.D. TITLE: Robotics sourcebook YEAR: 1988 NUMBER: 10982 AUTHOR: Gruber, P.M.; Lekkerkerker, C.G. TITLE: Geometry of numbers YEAR: 1987 NUMBER: 10952 AUTHOR: Schefe, P. TITLE: Informatik, eine konstruktive Einfuehrung YEAR: 1987 NUMBER: 10956 AUTHOR: Dimca, A. TITLE: Topics on real and complex singularities YEAR: 1987 NUMBER: 10955 AUTHOR: Boehm, W.; Gose, G.; Kahmann, J. TITLE: Methoden der numerischen Mathematik YEAR: 1985 NUMBER: 10953 AUTHOR: Barthel, G.; Hirzebruch, F.; Hoefer, T. TITLE: Geradenkonfigurationen und algebraische Flaechen YEAR: 1987 NUMBER: 10954 AUTHOR: Schoening, U. TITLE: Logik fuer Informatiker YEAR: 1987 NUMBER: 10987 AUTHOR: Kelemenova, A.; Kelemen, J. (eds.) TITLE: Trends, techniques and problems in theoretical computer science YEAR: 1987 NUMBER: 11044 AUTHOR: Bahrami, A. TITLE: designing artificial intelligence based software YEAR: 1988 NUMBER: 11045 AUTHOR: Schauer, H.; Barta, G. TITLE: Konzepte der Programmiersprachen YEAR: 1986 NUMBER: 11046 AUTHOR: Pang, G.K.H.; MacFarlane,A.G.J. TITLE: an expert systems approach to computer-aided design of multivariable systems YEAR: 1987 NUMBER: 11031 AUTHOR: Atiyah, M.F.; MacDonald, I.G. TITLE: introduction to commutative algebra YEAR: 1969 NUMBER: 11032 AUTHOR: Kernighan, B.W.; Ritchie, D.M. TITLE: the c programming language YEAR: 1988 NUMBER: 11033 AUTHOR: Rubinstein, R. TITLE: digital typography YEAR: 1988 NUMBER: 11043 AUTHOR: Yamaguchi, F. TITLE: curves and surfaces in computer aided geometric design YEAR: 1988 NUMBER: 11024 AUTHOR: Gries, D. TITLE: compiler construction for digital computers YEAR: 1971 NUMBER: 11023 AUTHOR: Qiulin, D.; Davies, B.J. TITLE: surface engineering geometry for computer aided design and manufacture YEAR: 1987 NUMBER: 11081 AUTHOR: Saridis, G.N. (ed.) TITLE: Advances in robotics, vol. 1, theory and applications YEAR: 1985 NUMBER: 11083 AUTHOR: Hoare, C.A.R.; Shepherdson, J.C. (eds.) TITLE: Mathematical logic and programming languages YEAR: 1985 NUMBER: 11082 AUTHOR: Backhouse, R.C. TITLE: program construction and verification YEAR: 1986 NUMBER: 11080 AUTHOR: Dragalin, A.G. TITLE: Mathematical intuitionism, introduction to proof theory YEAR: 1987 NUMBER: 10962 AUTHOR: Huckaba, J.A. TITLE: Commutative rings with zero divisors YEAR: 1988 NUMBER: 11001 AUTHOR: Bouchon, B.; Yager, R.R. (eds.) TITLE: Uncertainty in knowledge-based systems YEAR: 1987 NUMBER: 11000 AUTHOR: Snyders, D.; Thayse, A. TITLE: from logic design to logic programming YEAR: 1987 NUMBER: 10999 AUTHOR: Boerger, E. (ed.) TITLE: computation theory and logic YEAR: 1987 NUMBER: 11009 AUTHOR: Woodcock, J.(ed.); Loomes, M. TITLE: software engineering mathematics YEAR: 1988 NUMBER: 11008 AUTHOR: Stone, H.W. TITLE: kinematic modeling, identification, and control of robotic manipulators YEAR: 1987 NUMBER: 11007 AUTHOR: Rooney, J.; Steadman, P.; (eds.) TITLE: principles of computer aided design YEAR: 1987 NUMBER: 11013 AUTHOR: Barthels, R.H.; Beatty, J.C.; Barsky, B.A. TITLE: An introduction to splines for use in computer graphics and geometric modeling YEAR: 1987 NUMBER: 11014 AUTHOR: Papadimitriou, Ch. H.; Steiglitz, K. TITLE: combinatorial optimization YEAR: 1982 NUMBER: 11012 AUTHOR: Schoenfeld, A.H. TITLE: mathematical problem solving YEAR: 1985 NUMBER: 11015 AUTHOR: Michalski, R.S.; Carbonell, J.G.; Mitchell, T.M. TITLE: machine learning YEAR: 1983 NUMBER: 11016 AUTHOR: Fox, G.; Johnson, M.; Lyzenga, G.; et al. TITLE: solving problems on concurrent processors, vol. 1 YEAR: 1988 NUMBER: 11011 AUTHOR: Gibbons, Alan TITLE: algorithmic graph theory YEAR: 1988 NUMBER: 11079 AUTHOR: Rydeheard, D.E.; Burstall, R.M. TITLE: Computational category theory YEAR: 1988 NUMBER: 11066 AUTHOR: Adobe systems inc. TITLE: postscript, Einfuehrung und Leitfaden YEAR: 1988 NUMBER: 11106 AUTHOR: Reid, Miles TITLE: undergraduate algebraic geometry YEAR: 1988 NUMBER: 11067 AUTHOR: Schrijver, A. TITLE: theory of linear and integer programming YEAR: 1987 NUMBER: 11087 AUTHOR: Chvatal, Vasek TITLE: linear programming YEAR: 1983 NUMBER: 11096 AUTHOR: Horowitz, Ellis; Sahni, Sartaj TITLE: data structures in pascal YEAR: 1984 NUMBER: 11093 AUTHOR: Jantzen, M.llis TITLE: confluent string rewriting YEAR: 1988 NUMBER: 11095 AUTHOR: Harmon, P..llis; King, D. TITLE: Expertensysteme in der Praxis YEAR: 1989 NUMBER: 11094 AUTHOR: Keene, S.E. TITLE: object-oriented programming in common lisp YEAR: 1989 NUMBER: 11097 AUTHOR: Rome, E.; Uthmann, T.; Diederich, J. TITLE: KI-workstations YEAR: 1988 NUMBER: 11233 AUTHOR: Wolfram, St. TITLE: Mathematica, A system for doing mathematics by computer YEAR: 1988 NUMBER: AUTHOR: Manna, Z.; Waldinger, R. TITLE: the logical basis for computer programming vol. 1 YEAR: 1985 NUMBER: 11180 AUTHOR: Gardarin, G.; Valduriez, P. TITLE: relational databases and knowledge bases YEAR: 1989 NUMBER: AUTHOR: nn TITLE: a manual for authors of mathematical papers YEAR: 1980 NUMBER: 3297 AUTHOR: Hilbert, D. TITLE: Grundlagen der Geometrie YEAR: 1972 NUMBER: 8592 AUTHOR: Birkhoff; Beatley TITLE: basic geometry YEAR: 1940 NUMBER: 11301 AUTHOR: Walther, H.; Naegler, G. TITLE: Graphen, Algorithmen, Programme YEAR: 1987 NUMBER: 11287 AUTHOR: Knoerrer, H.; Schmidt, C.-G.; Schwermer, J.; Slodowy, P. TITLE: Arithmetik und Geometrie Mathemaische Miniaturen 3 YEAR: 1986 NUMBER: 11288 AUTHOR: Davis, L. TITLE: Genetic algorithms and simulated annealing YEAR: 1988 NUMBER: 11261 AUTHOR: Amble, T. TITLE: logic programming and knowledge engineering YEAR: 1987 NUMBER: 11266 AUTHOR: Wilson, L.B.; Clark, R.G. TITLE: comperative programming languages YEAR: 1988 NUMBER: 11251 AUTHOR: Turksen, I.B. (ed.) TITLE: computer integrated manufacturing YEAR: 1988 NUMBER: 11277 AUTHOR: Inada, N.; Soma, T. 9eds.) TITLE: 2nd RIKEN int. symp. on symbolic and algebraic computation by computers YEAR: 1985 NUMBER: 11047 AUTHOR: Cip system group TITLE: the munich project CIP YEAR: 1987 NUMBER: 11259 AUTHOR: Bratko, I.; Lavrac, N. TITLE: progress in machine learning YEAR: 1987 NUMBER: 11278 AUTHOR: Canny, J. TITLE: the complexity of robot motion planning YEAR: 1988 NUMBER: 11265 AUTHOR: Ledgard, H. TITLE: software engineering concepts YEAR: 1987 NUMBER: 11264 AUTHOR: Maier, D.; Warren, D.S. TITLE: computing with logic YEAR: 1988 NUMBER: 11263 AUTHOR: Rogers, J.B. TITLE: a prolog primer YEAR: 1986 NUMBER: 11276 AUTHOR: Bloch, Sp. J. (ed) TITLE: algebraic geometry YEAR: 1987 NUMBER: 11260 AUTHOR: Thayse, A. TITLE: from standard logic to logic programming YEAR: 1988 NUMBER: 11273 AUTHOR: Wang, P. TITLE: an introduction to berkeley unix YEAR: 1988 NUMBER: 11272 AUTHOR: Hunt, V.D. TITLE: computer-integrated manufacturing-handbook YEAR: 1989 NUMBER: 11262 AUTHOR: Goldberg, D.E. TITLE: genetic algorithms in search, optimization, and machine learning YEAR: 1989 NUMBER: 11255 AUTHOR: Puppe, F. TITLE: Einf\"uhrung in Expertensysteme YEAR: 1988 NUMBER: 11256 AUTHOR: Ghione, F.; Peskine, C.; Sernesi, E. (eds.) TITLE: Space curves YEAR: 1987 NUMBER: 11258 AUTHOR: Boerger, E.; et al.; (eds.) TITLE: CSL'87 1st workshop on computer science logic YEAR: 1988 NUMBER: 11257 AUTHOR: Noltemeier, H. TITLE: computational geometry and its applications CG'88 YEAR: 1988 NUMBER: 11252 AUTHOR: Deubler, R.U. TITLE: Kreuz und Quer YEAR: 1987 NUMBER: 11249 AUTHOR: Aggarwal, A. (ed.) TITLE: compuational geometry 2nd annual symp. YEAR: 1986 NUMBER: 11250 AUTHOR: Kalmbach, G. TITLE: diskreter Mathematik YEAR: 1988 NUMBER: 11267 AUTHOR: Bourne, S.R. TITLE: the unix system YEAR: 1983 NUMBER: 11253 AUTHOR: Huebner, W.; Lux-Muelders, G.; Muth, M. TITLE: Theseus YEAR: 1987 NUMBER: 11254 AUTHOR: Cordes, R.; et al. TITLE: Prolog YEAR: 1988 NUMBER: 9118 AUTHOR: Lang, S.; Murrow, G. TITLE: Geometry, a high school course YEAR: 1983 NUMBER: 9357 AUTHOR: Helson, H. TITLE: harmonic analysis YEAR: 1983 NUMBER: 11243 AUTHOR: Tourlakis, G.J. TITLE: computability YEAR: 1984 NUMBER: 11241 AUTHOR: Calingaert, P. TITLE: program translation fundamentals YEAR: 1987 NUMBER: 11242 AUTHOR: Markov, A.A.; Nagorny, N.M. TITLE: the theory of algorithms YEAR: 1988 NUMBER: 11244 AUTHOR: Andrews, P.B. TITLE: an introduction to mathematical logic and type theory: to truth through proof YEAR: 1986 NUMBER: 11344 AUTHOR: Holland, J.H.; et al. TITLE: Induction, processes of inference, learning and discovery YEAR: 1989 NUMBER: 11346 AUTHOR: Kongshi, Xu TITLE: advances in chinese computer science YEAR: 1988 NUMBER: 11334 AUTHOR: nn TITLE: the world of learning 1989 YEAR: 1989 NUMBER: 11312 AUTHOR: Akritas, A.G. TITLE: elements of computer algebra with applications YEAR: 1989 NUMBER: 11313 AUTHOR: Jorden, Eleanor Harz TITLE: beginning Japanese I YEAR: 1963 NUMBER: 11314 AUTHOR: Jorden, Eleanor Harz TITLE: beginning Japanese II YEAR: 1963 NUMBER: 11373 AUTHOR: Nn TITLE: Computational geometry, 1987 YEAR: 1987 NUMBER: 11429 AUTHOR: nn TITLE: the brain simulator YEAR: 1988 NUMBER: 11561 AUTHOR: Zhongwan, Lu TITLE: mathematical logic for computer science YEAR: 1989 NUMBER: 11574 AUTHOR: Kauffels, F.-J. TITLE: Alternativen der PC-Mainframe Kopplung YEAR: 1987 NUMBER: 11560 AUTHOR: Tzafestas, S.; Eisinberg, A.; Carotenuto, L. TITLE: system modeling and simulation YEAR: 1989 NUMBER: 11514 AUTHOR: Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W. TITLE: algebraische Spezifikation abstrakter Datentypen YEAR: 1989 NUMBER: 11496 AUTHOR: Baase, S. TITLE: computer algorithms, introduction to design and analysis YEAR: 1988 NUMBER: 11460 AUTHOR: Brodmann, M. TITLE: Algebraische Geometrie YEAR: 1989 NUMBER: 11746 AUTHOR: Futschek, G. TITLE: Programmentwicklung und Verifikation YEAR: 1989 NUMBER: 11755 AUTHOR: Doberkat, E.; Fox, D. TITLE: Softwre prototyping mit SETL YEAR: 1989 NUMBER: 11754 AUTHOR: Wegener, I. TITLE: the complexity of boolean functions YEAR: 1987 NUMBER: 11739 AUTHOR: da Cruz, Frank TITLE: Kermit, a file transfer protocol YEAR: 1987 NUMBER: 11744 AUTHOR: Davidson, J. TITLE: an introduction to tcp/ip YEAR: 1989 NUMBER: 11715 AUTHOR: Della Dora, J.; Fitch, J. TITLE: computer algebra and parallelism YEAR: 1989 NUMBER: 11611 AUTHOR: Cosnard, M.; Robert, Y.; Quinton, P.; Raynal, M (eds.) TITLE: parallel and distributed algorithms YEAR: 1989 NUMBER: 11612 AUTHOR: Dershowitz, N. (ed.) TITLE: rewriting techniques and applications YEAR: 1989 NUMBER: 11614 AUTHOR: Sanella, D.; Tarlecki, A. (eds.) TITLE: recent trends in data type specification YEAR: 1988 NUMBER: 11605 AUTHOR: Nossum, R.T. (ed.) TITLE: advanced topics in Artificial intelligence YEAR: 1988 NUMBER: 11606 AUTHOR: Meertens, L.G.L.T. (ed.) TITLE: program specification and transformation YEAR: 1987 NUMBER: 11615 AUTHOR: Grabowski, J.; Lescanne, P.; Wechler, W. (eds.) TITLE: algebraic and logic programming YEAR: 1988 NUMBER: 11607 AUTHOR: Morik, K. (ed.) TITLE: knowledge representation and organization in machine learning YEAR: 1989 NUMBER: 11608 AUTHOR: Buchanan, B.G.; Shortliffe, E.H. TITLE: rule-based expert systems YEAR: 1985 NUMBER: 11613 AUTHOR: Bobrow, D.G. TITLE: qualitative reasoning about physical systems YEAR: 1984 NUMBER: 11616 AUTHOR: Guenther, O. TITLE: efficient structures for geometric data management YEAR: 1988 NUMBER: 11609 AUTHOR: Chylla, P.; Hegering, H.-G. TITLE: Ethernet-Lans Planung, Realisierung und Netz-Management YEAR: 1988 NUMBER: 11604 AUTHOR: Puppe, F. TITLE: diagnostisches Problemloesen mit Expertensystemen YEAR: 1987 NUMBER: 11603 AUTHOR: Graham, R.L.; Knuth, D.E.; Patashnik, O. TITLE: concrete mathematics YEAR: 1989 NUMBER: 11610 AUTHOR: Marquardt, R.; et al. TITLE: Ethernet-Handbuch YEAR: 1987 NUMBER: 11459 AUTHOR: Anderson, J.A.; Rosenfeld, E. TITLE: Neurocomputing, foundations of research YEAR: 1988 NUMBER: 11805 AUTHOR: Paull, M.C. TITLE: algorithm design, a recursive transformation framework YEAR: 1989 NUMBER: 11799 AUTHOR: Girard, J.-Y.; Taylor, P.; Lafont, Y. TITLE: proofs and types YEAR: 1989 NUMBER: 11798 AUTHOR: Scheifler, R.W.; Gettys, J.; Newman, R. TITLE: x window system, C library and protocol specification YEAR: 1988 NUMBER: 11801 AUTHOR: Ramsay, A. TITLE: foraml methods in artifitial intelligence YEAR: 1989 NUMBER: 11804 AUTHOR: Blok, W.J.; don Pigozzi TITLE: algebraizable logics YEAR: 1989 NUMBER: 11784 AUTHOR: johnson, D.C.; lovis, F. TITLE: informatics and the teaching of mathematics YEAR: 1987 NUMBER: 11803 AUTHOR: Spivey, J.M. TITLE: understanding Z YEAR: 1989 NUMBER: 11779 AUTHOR: Harrington, L.A.; et al. TITLE: Harvey Freidmans research on the foundations of mathematics YEAR: 1985 NUMBER: 11780 AUTHOR: Nn TITLE: Logic colloquium 85 YEAR: 1985 NUMBER: 11782 AUTHOR: Drake, F.R.; Truss, J.K. TITLE: Logic colloquium 86 YEAR: 1986 NUMBER: 11778 AUTHOR: Takeuti, G. TITLE: proof theory YEAR: 1987 NUMBER: 11797 AUTHOR: Ginsberg, M.L. TITLE: readings in nonmonotonic reasoning YEAR: 1987 NUMBER: 11828 AUTHOR: Godwin, J.W. TITLE: a theory ans system for nonmonotonic reasoning YEAR: 1987 NUMBER: 11777 AUTHOR: Fulton, W. TITLE: algebraic curves YEAR: 1989 NUMBER: 11806 AUTHOR: Michie, D. TITLE: on machine intelligence YEAR: 1986 NUMBER: 11783 AUTHOR: Richards, T. TITLE: clausal form logic YEAR: 1989 NUMBER: 11781 AUTHOR: Chudnovsky, E.V.; Jenks, R.D. TITLE: computer algebra YEAR: 1989 NUMBER: 11775 AUTHOR: Troelstra , A.S.; Dalen, D. van TITLE: constructivism in mathematics, vol. I YEAR: 1988 NUMBER: 11775 AUTHOR: Troelstra , A.S.; Dalen, D. van TITLE: constructivism in mathematics, vol. II YEAR: 1988 NUMBER: 11802 AUTHOR: Mortimer, H. TITLE: the logic of induction YEAR: 1988 NUMBER: 11800 AUTHOR: Lambek, J.; Scott, P.J. TITLE: introduction to higher order categorical logic YEAR: 1988 NUMBER: 11761 AUTHOR: Broy, M. (ed.) TITLE: constructive methods in computing science YEAR: 1988 NUMBER: 11764 AUTHOR: Koh, S.S.(ed.) TITLE: invariant theory YEAR: 1985 NUMBER: 11760 AUTHOR: Steiger, D.M.; Anderson, A.P. TITLE: algorithm synthesis, a comparative study YEAR: 1989 NUMBER: 11759 AUTHOR: Fehr, E. TITLE: Semantik von Programmiersprachen YEAR: 1989 NUMBER: 11758 AUTHOR: Mumford, David TITLE: the red book of varieties and schemes YEAR: 1988 NUMBER: 11757 AUTHOR: Besnard, P. TITLE: an introduction to default logic YEAR: 1989 NUMBER: 11756 AUTHOR: Drosten, K. TITLE: Termersetzungsysteme YEAR: 1989 NUMBER: 11763 AUTHOR: Davenport, J. (ed.) TITLE: EUROCAL'87 YEAR: 1987 NUMBER: 11762 AUTHOR: van de Snepscheut, J.L.A. TITLE: mathematics of program construction YEAR: 1989 NUMBER: 11766 AUTHOR: Bourbaki, N. TITLE: elements of mathematicsconstruction Algebra I, chapt. 1-3 YEAR: 1989 NUMBER: 11765 AUTHOR: Bourbaki, N. TITLE: elements of mathematicsconstruction commutative algebra, chapt. 1-7 YEAR: 1989 NUMBER: 11848 AUTHOR: Hamilton, A.g. TITLE: logic for mathematicians YEAR: 1990 NUMBER: 11849 AUTHOR: Young, M. TITLE: the technical writer's handbook YEAR: 1989 NUMBER: 11850 AUTHOR: Hayes, J.E.; Michie, D.; Richards, J. TITLE: machine intelligence 11 logic and acquisation of knowledge YEAR: 1988 NUMBER: 11836 AUTHOR: Coyne, R. TITLE: logic models of design YEAR: 1988 NUMBER: 11838 AUTHOR: Herken, R. TITLE: the universal turing machine, a half-century survey YEAR: 1988 NUMBER: 11851 AUTHOR: Segerberg, K. TITLE: classical propositional operators an exercise in the foundations of logic YEAR: 1982 NUMBER: 11852 AUTHOR: Fitting, M. TITLE: computability theory, semantics, and logic programming YEAR: 1987 NUMBER: 11853 AUTHOR: Smullyan, R. TITLE: forever undecided a puzzle guide to Goedel YEAR: 1987 NUMBER: 11855 AUTHOR: Barwise, J.; Etchemendy, J. TITLE: the liar an essay on truth and circularity YEAR: 1987 NUMBER: 11856 AUTHOR: Bell, J.L. TITLE: toposes and local set theories YEAR: 1988 NUMBER: 11837 AUTHOR: Thistlewaite, P.B.; McRobbie, M.A.; Meyer, R.K. TITLE: automated theorem-proving in non-classical logics YEAR: 1988 NUMBER: 11854 AUTHOR: Smith, G.C. TITLE: the boole-de Morgan correspondence YEAR: 1982 NUMBER: 11907 AUTHOR: Hekmatpour, S.; Ince, D. TITLE: software prototyping, formal methods and vdm YEAR: 1988 NUMBER: 11920 AUTHOR: White, N. (ed.) TITLE: combinatorial geometries YEAR: 1987 NUMBER: 11919 AUTHOR: Welsh, D. TITLE: codes and cryptography YEAR: 1988 NUMBER: 11909 AUTHOR: Wirsing, M. (ed.) TITLE: formal description of programming concepts III Ebberup, Denmark, Aug. 1986 YEAR: 1987 NUMBER: 11908 AUTHOR: Dromey, G. TITLE: program derivation the development of programs from specifications YEAR: 1989 NUMBER: 11925 AUTHOR: Gibbins, P. TITLE: Logic with prolog YEAR: 1988 NUMBER: 11924 AUTHOR: chang, Chin-Liang; Lee, R. Char-Tung TITLE: symbolic logic and mechanical theorem proving YEAR: 1973 NUMBER: 11906 AUTHOR: Goebel, M.; Mehl, M. TITLE: Standards der graphischen Datenverarbeitung gks, gks-3d, phigs, cgi, cgm, x YEAR: 1989 NUMBER: 11923 AUTHOR: Hartmanis, J. TITLE: computational complexity theory YEAR: 1989 NUMBER: 11921 AUTHOR: Meyer, B. TITLE: object-oriented software construction YEAR: 1988 NUMBER: 11926 AUTHOR: Weiskamp, K.; Flaming, B. TITLE: the complete C++ primer YEAR: 1990 NUMBER: 11927 AUTHOR: Hockney, R.W.; Jesshope, C.R. TITLE: parallel computers 2 YEAR: 1988 NUMBER: 11922 AUTHOR: Hennessy, M. TITLE: algebraic theory of processes YEAR: 1988 NUMBER: 11890 AUTHOR: Tangora, M.C. (ed.) TITLE: computers in geometry and topology YEAR: 1989 NUMBER: 11891 AUTHOR: Tangora, M.C. (ed.) TITLE: computers in algebra YEAR: 1988 NUMBER: 11889 AUTHOR: Fan, Ting-Jun TITLE: describing and recognizing 3-D objects using surface properties YEAR: 1990 NUMBER: 11965 AUTHOR: de Bakker, J.W.; et al. TITLE: linear time, branching time and partial order in logics and models for concurrency, 1988, Noordwijkerhout YEAR: 1989 NUMBER: 11967 AUTHOR: McNamara, J.E. TITLE: technical aspects of data communication YEAR: 1988 NUMBER: 11963 AUTHOR: de Bakker, J.W. TITLE: languages for parallel architectures YEAR: 1989 NUMBER: 11962 AUTHOR: Comer, D. TITLE: internetworking with TCP/IP YEAR: 1988 NUMBER: 11966 AUTHOR: Arms, C. (ed.) TITLE: campus networking strategies YEAR: 1988 NUMBER: 11964 AUTHOR: Maeder, R. TITLE: programming in mathematica YEAR: 1990 NUMBER: 11953 AUTHOR: Eckmiller, R.; Hartmann, G.; Hauske, G.; (eds.) TITLE: parallel processing in neural systems and computers YEAR: 1990 NUMBER: 11952 AUTHOR: Fitting, Melvin TITLE: first-order logic and automated theorem proving YEAR: 1990 NUMBER: 11951 AUTHOR: Glaser, G.M.; et al. TITLE: TCP/IP, Protokolle, Projektplanung, Realisierung YEAR: 1990 NUMBER: 11950 AUTHOR: Quercia, Valerie; O'Reilly, Tim TITLE: X windows user's guide, vol. 3 YEAR: 1990 NUMBER: 11936 AUTHOR: Henson, M.C. TITLE: elements of functional languages YEAR: 1987 NUMBER: 11940 AUTHOR: Akl, Selim, G. TITLE: the design and analysis of parallel algorithms YEAR: 1989 NUMBER: 12047 AUTHOR: Chudnovsky, D.V.; Jenks, R.D. TITLE: computers in mathematics YEAR: 1990 NUMBER: 12048 AUTHOR: Brieskorn, E. TITLE: lineare Algebra und analytische Geometrie, vol. I YEAR: 1983 NUMBER: 12049 AUTHOR: Brieskorn, E. TITLE: lineare Algebra und analytische Geometrie, vol. II YEAR: 1985 NUMBER: 12044 AUTHOR: Bourbaki, N. TITLE: Algebra II, chapters 4-7 YEAR: 1990 NUMBER: 12045 AUTHOR: Doolin, B.F.; Martin, C.F. TITLE: introduction to differential geometry for engineers YEAR: 1990 NUMBER: 12046 AUTHOR: Brieskorn, E.; Knoerrer, H. TITLE: plane algebraic curves YEAR: 1986 NUMBER: 12042 AUTHOR: Taylor, St. TITLE: parallel logic programming techniques YEAR: 1989 NUMBER: 12043 AUTHOR: Kelly, P. TITLE: functional programming for loosely-coupled multiprocessors YEAR: 1989 NUMBER: 12065 AUTHOR: Gelernter, D.; Nicolau, A.; Padua, D. (eds.) TITLE: languages and compilers for parallel computing YEAR: 1990 NUMBER: 12039 AUTHOR: Wilf, H.S. TITLE: generating functionology YEAR: 1990 NUMBER: 12040 AUTHOR: Treleaven, P.C. TITLE: parallel computers object-oriented, functional, logic YEAR: 1990 NUMBER: 12041 AUTHOR: Gorlen, K.E.; Orlow, S.M.; Plexico, P.S. TITLE: data abstraction and object-oriented programmin in c++ YEAR: 1990 NUMBER: 11993 AUTHOR: Banerji, R.B.; (ed.) TITLE: formal techniques in artificial intelligence YEAR: 1990 NUMBER: 11994 AUTHOR: Silhol, R. TITLE: real algebraic surfaces YEAR: 1989 NUMBER: 11987 AUTHOR: Haken, H. TITLE: information and self-organization YEAR: 1988 NUMBER: 11995 AUTHOR: Haken, H.; (ed.) TITLE: computational systems -- natural and artificial YEAR: 1987 NUMBER: 11986 AUTHOR: Haken, H. TITLE: advanced synergetics instability hierarchies of self-organizing systems and devices YEAR: 1987 NUMBER: 11989 AUTHOR: de Bakker, J.W.; et al.; (eds.) TITLE: stepwise refinement of distributed systems YEAR: 1989 NUMBER: 11992 AUTHOR: Skiena, St. TITLE: implementing discrete mathematics combinatorics and graph theory with mathematica YEAR: 1990 NUMBER: 11988 AUTHOR: Bergman, C.H.; Maddux, R.D.; Pigozzi, D.L. (eds) TITLE: algebraic logic and universal algebra in computer science YEAR: 1988 NUMBER: 11990 AUTHOR: Hoelldobler, St. TITLE: foundations of equational logic programming YEAR: 1989 NUMBER: 11990 AUTHOR: Stark, W.R. TITLE: lisp, lore, and logic an algebraic view of lisp YEAR: 1990 NUMBER: 11996 AUTHOR: Field, A.J.; Harrison, P.G. TITLE: functioanl programming YEAR: 1989 NUMBER: 11981 AUTHOR: Abeln, O. TITLE: Die CA...-Techniken in der industriellen Praxis YEAR: 1990 NUMBER: 3297 AUTHOR: Hilbert TITLE: Grundlagen der Geometrie YEAR: NUMBER: 572 AUTHOR: church TITLE: Introduction to modal logic YEAR: NUMBER: 707 AUTHOR: Hermes TITLE: Einfuehrung in die mathematische Logik YEAR: NUMBER: 1215 AUTHOR: curry TITLE: Foundations of mathematical logic YEAR: NUMBER: 8555 AUTHOR: Zimmer TITLE: comp. problems, methods ... in algebraic number theory YEAR: NUMBER: 9528 AUTHOR: Bunse TITLE: numerische lineare Algebra YEAR: NUMBER: 9600 AUTHOR: Groebner TITLE: algebraische Geometrie I YEAR: NUMBER: 9601 AUTHOR: Groebner TITLE: algebraische Geometrie II YEAR: NUMBER: 10459 AUTHOR: lawler TITLE: the traveling salesman problem YEAR: NUMBER: 10506 AUTHOR: Henkin TITLE: cylindric algebras YEAR: NUMBER: 10509 AUTHOR: Traub TITLE: annual review of computer science, vol. 1 YEAR: 1986 NUMBER: 11776 AUTHOR: Troelstra TITLE: construction in mathematics YEAR: NUMBER: 12105 AUTHOR: Traub, K.R. TITLE: implementation of non-strict functional programming languages YEAR: 1990 NUMBER: 12105 AUTHOR: Traub, K.R. TITLE: implementation of non-strict functional programming languages YEAR: 1990 NUMBER: 12280 AUTHOR: Abhyankar, S.S. TITLE: algebraic geometry for scientists and engineers YEAR: 1990 NUMBER: 12282 AUTHOR: Turner, D.A. TITLE: research topics in functional programming YEAR: 1990 NUMBER: 12321 AUTHOR: Carriero, N.; Gelernter, D. TITLE: how to write parallel programs a first course YEAR: 1990 NUMBER: 12319 AUTHOR: Mitchell, D.A.P.; et al. TITLE: inside the transputer YEAR: 1990 NUMBER: 12320 AUTHOR: Harper, D.; Wooff, C.; Hodgkinson, D. TITLE: a guide to computer algebra systems YEAR: 1991 NUMBER: 12306 AUTHOR: Gabbay, D.; Guenther, F. TITLE: handbook of philosophical logic vol. iv, topics in the philosophy of language YEAR: 1989 NUMBER: 12283 AUTHOR: Szymanski, B.K. TITLE: parallel functional languages and compilers YEAR: 1991 NUMBER: 12371 AUTHOR: Partsch, H.A. TITLE: specification and transformation of programs YEAR: 1990 NUMBER: 12374 AUTHOR: Davenport, J.H. TITLE: on the integration of algebraic functions YEAR: 1981 NUMBER: 12377 AUTHOR: Domany, E.; van Hemmen, J.L.; Schulten, K. (eds.) TITLE: models of neural networks YEAR: 1991 NUMBER: 12375 AUTHOR: Watson, M. TITLE: common lisp modules artificial intelligence in the era of neural networks YEAR: 1991 NUMBER: 12376 AUTHOR: Haken, H. TITLE: synergetic computers and cognition YEAR: 1990 NUMBER: 12380 AUTHOR: Jordanides, T.; Torby, B. TITLE: expert systems and robotics YEAR: 1991 NUMBER: 12381 AUTHOR: Arikawa, S.; et al. (eds.) TITLE: algorithmic learning theory YEAR: 1990 NUMBER: 12368 AUTHOR: Seroul, R.; Levy, S. TITLE: a beginner's book of tex YEAR: 1991 NUMBER: 12367 AUTHOR: Kostrikin, A.I.; Shafarevich, I.R. (eds.) TITLE: algebra II noncommutative rings, identities YEAR: 1991 NUMBER: 12369 AUTHOR: Davis, K.; Hughes, J.; (eds.) TITLE: functional programming Glasgow, 1989 YEAR: 1989 NUMBER: 12372 AUTHOR: Deimel, L.E. (ed.) TITLE: software engineering education Pittsburgh, Pennsylvania, USA, 1990 YEAR: 1990 NUMBER: 12373 AUTHOR: Choffrut, C.; Lengauer, T.; (eds.) TITLE: STACS 90 Rouen, France, 1990 YEAR: 1990 NUMBER: AUTHOR: TITLE: YEAR: 0 NUMBER: 78 AUTHOR: berkling, k.j. ; kluge, w. TITLE: conceptual design of a handwired main storage management unit YEAR: 1974 NUMBER: 304 AUTHOR: berman, p. ; lingas, a. TITLE: on complexity of regular languages in terms of finite automata YEAR: 1977 NUMBER: AUTHOR: berry, j.w. TITLE: a note on immune sets YEAR: 1972 NUMBER: AUTHOR: bekic, h. TITLE: mathematische semantik von programmiersprachen YEAR: 1976 NUMBER: AUTHOR: bauer, m. ; brand, d. ; fischer, m. ; et al. TITLE: a note on disjunctive form tautologies YEAR: 1973 NUMBER: AUTHOR: becker, h. TITLE: formale potenzreihen und formale sprachen YEAR: 1972 NUMBER: 76/79 AUTHOR: barth, h. TITLE: an architecture for a generalized application system YEAR: 1979 NUMBER: AUTHOR: barzdin', ya. m. TITLE: universality problems in the theory of growing automata YEAR: 1964 NUMBER: AUTHOR: bass, l.j. ; young, p.r. TITLE: hierarchies based on computational geometry and irregularities of class determining measured sets YEAR: 19 NUMBER: AUTHOR: baker, f.t. TITLE: structured programming in a production programming environment YEAR: 1975 NUMBER: AUTHOR: banerji, r.b. TITLE: a language for pattern recognition YEAR: 1968 NUMBER: AUTHOR: barendregt, h.p. TITLE: the lambda calculus YEAR: 1976 NUMBER: AUTHOR: barendregt, h.p. TITLE: normed uniformly reflexive structures YEAR: 19 NUMBER: csr-26-78 AUTHOR: atkinson, m.p. TITLE: programming languages and databases YEAR: 1978 NUMBER: AUTHOR: avizienis, a. TITLE: fault-tolerance and fault-intolerance: complementary approaches to reliable computing YEAR: 1975 NUMBER: AUTHOR: GENRICH, H.J. TITLE: Einfache nicht-sequentielle Prozesse YEAR: 1971 NUMBER: AUTHOR: GANNON, J.D. ; HORNING, J.J. TITLE: The impact of language design on the production of reliable software YEAR: 1975 NUMBER: AUTHOR: GALIL, Z. TITLE: On the complexity of resolution procedures for theorem proving YEAR: 1974 NUMBER: AUTHOR: Friedrich, J. TITLE: Ein systematischer Algorithmus zum Beweisen von Theoremen in einem Praedikatenkalkuel erster Ordnung YEAR: 1973 NUMBER: AUTHOR: Wagner, Klaus TITLE: Zellulare Berechenbarkeit von Funktionen ueber n-dimensionalen Zeichensystemen YEAR: 1974 NUMBER: AUTHOR: Wagner, Eric G. TITLE: Uniformly reflexive structures: On the nature of goedelizations and relative computability YEAR: 1969 NUMBER: AUTHOR: van de Riet, R.P. TITLE: Formula manipulation in Algol 60 Part 1 YEAR: 1970 NUMBER: AUTHOR: van de Riet, R.P. TITLE: Formula manipulation in Algol 60 Part 2 YEAR: 1975 NUMBER: AUTHOR: van Vaalen, J. TITLE: An extension of unification to substitutions with an application to automatic theorem prover YEAR: 1973 NUMBER: AUTHOR: Traczyk, Tomasz TITLE: On cyclic, acyclic and nonlinear families of sets YEAR: 1978 NUMBER: AUTHOR: Truszczynski, Miroslaw TITLE: Algorithmic aspects of the minimization of the set of attributes problem YEAR: 1979 NUMBER: AUTHOR: Valiant, Leslie G. TITLE: Graph-Theoretic Arguments in Low-Level Complexity YEAR: 1977 NUMBER: AUTHOR: Valiant, Leslie G. TITLE: The Complexity of Computing the Permanent YEAR: 1977 NUMBER: AUTHOR: Valiant, Leslie G. TITLE: The Complexity of Enumeration and Reliability Problems YEAR: 1977 NUMBER: AUTHOR: Valiant, Leslie G. TITLE: Completeness Classes in Algebra YEAR: 1979 NUMBER: AUTHOR: Valiant, Leslie G. TITLE: The Complexity of Combinatorial Computations: an Introduction YEAR: 1978 NUMBER: AUTHOR: Turing, A. M. TITLE: The chemical basis of morphogenesis YEAR: 1952 NUMBER: AUTHOR: Tobiasch, R. TITLE: Neuere Konzepte und Entwuerfe fuer Programmiersprachen YEAR: 1978 NUMBER: AUTHOR: Tomann TITLE: Systembaukasten ARRAY-Computer SMS 80 YEAR: NUMBER: AUTHOR: Thompson, David B. TITLE: Subrecursiveness: Machine-Independent Notions of Computability in Restricted Time and Storage YEAR: 1970 NUMBER: AUTHOR: Thorelli, Lars-Erik TITLE: An Algorithm for computing all path in a graph YEAR: NUMBER: AUTHOR: Tiuryn, Jerzy TITLE: Fixed-points and algebras with infinitely long expressions YEAR: 1978 NUMBER: AUTHOR: Tiuryn, Jerzy TITLE: Fixed-points in the power set Algebra of infinite trees YEAR: 1979 NUMBER: AUTHOR: Tiuryn, Jerzy TITLE: Logic of effective definitions YEAR: 1979 NUMBER: AUTHOR: V'yugin, V. V. TITLE: on some examples of upper semilattices of computable enumerations YEAR: 1973 NUMBER: AUTHOR: V'yugin, V. V. TITLE: On discrete families of recursively enumberable sets YEAR: 1972 NUMBER: AUTHOR: Vuckovic, Vladeta TITLE: Local recursive Theory YEAR: 1973 NUMBER: AUTHOR: Tai-cheung Luk, Franklin TITLE: Sparse and Parallel Matrix Computations YEAR: 1978 NUMBER: AUTHOR: Winkowski, Jozef TITLE: An Algebraic Approach to Distributed Computations YEAR: 1979 NUMBER: AUTHOR: Milner, Robin TITLE: Algebras for Communicating Systems YEAR: 1978 NUMBER: AUTHOR: Slutz, Donald Ray TITLE: The Flow Graph Schemata Model of Parallel Computation YEAR: 1968 NUMBER: AUTHOR: Smullyan, R. M. TITLE: A Unifying Principal in Quantification Theory YEAR: 1963 NUMBER: AUTHOR: Solomonoff, R. J. TITLE: A Formal Theory of Inductive Inference, Part 1 YEAR: 1964 NUMBER: AUTHOR: Sperber, Helmut TITLE: Die duale Salamitaktik beim dualen Quaderpacken YEAR: NUMBER: AUTHOR: Stadlbauer, Harald Stefan TITLE: Decomposition of univariate polynomials YEAR: 1986 NUMBER: AUTHOR: Stahl, Walter R. TITLE: Algorithmically Unsolvable Problems for a Cell Automaton YEAR: 1965 NUMBER: AUTHOR: Stahl, Walter R. TITLE: Self-Reproducing Automata YEAR: 1965 NUMBER: AUTHOR: Stahl, Walter R. ; Coffin, Robert W. ; Goheen, Harry E. TITLE: Simulation of Biological Cells by Systems Composed of String-Processing Finite Automata YEAR: 1964 NUMBER: AUTHOR: Stanley, Connie J. TITLE: Bibliography of Stanford Computer Science Reports YEAR: 1978 NUMBER: AUTHOR: Stapp, Lucjan TITLE: Correctness Proof of a Parallel Program "Jacobi" YEAR: 1978 NUMBER: AUTHOR: Steinbuch, Karl TITLE: Ueber die zukuenftige Technik und ihre Konsequenzen YEAR: 1980 NUMBER: AUTHOR: Sussman, Gerald Jay ; Winograd, Terry ; Charniak, Eugene TITLE: Micro-Planner Reference Manual YEAR: 1971 NUMBER: AUTHOR: Symes, D. M. TITLE: The Computation of Finite Functions YEAR: NUMBER: AUTHOR: Szafranski, Boleslaw TITLE: A Data Security Model in Data Base YEAR: 1979 NUMBER: AUTHOR: Stoklosa, Janusz TITLE: Computations of (alpha-k) Machines YEAR: 1979 NUMBER: AUTHOR: Stoutemyer, David R. TITLE: Computer Symbolic Math & Education: A Radical Approach YEAR: 1979 NUMBER: AUTHOR: Strong, H. R. TITLE: High Level Languages of Maximum Power YEAR: NUMBER: AUTHOR: Spucki, Leon G. ; Foshee, Gary L. TITLE: New Assertion Concepts for Self-Metric Software Validation YEAR: 1975 NUMBER: AUTHOR: Stoyan, Herbert TITLE: Formelmanipulation - Computeralgebra Systeme, Anwendungen, Algorithmen YEAR: 1985 NUMBER: AUTHOR: Williams, R.D. TITLE: Managing The Development of Reliable Software YEAR: 1975 NUMBER: AUTHOR: Wilkins, D.E. TITLE: Using Patterns and Plans To Solve Problems and Control Search YEAR: 1979 NUMBER: AUTHOR: Wulf, A.W. TITLE: Reliable Hardware - Software Architecture YEAR: 1975 NUMBER: AUTHOR: Wright, J.B. TITLE: Chararcterization of Recursively Enumerable Sets YEAR: 1972 NUMBER: AUTHOR: Wozencraft, J.M. ; Evans, A. TITLE: Notes on Programming Linguistics YEAR: 1970 NUMBER: AUTHOR: Wood, D. TITLE: A Proof of Hamblin's Algorithm for Translation of Arithmetic Expressions from Infix to Postfix Form YEAR: 1969 NUMBER: AUTHOR: Wirth, N. TITLE: Systematisches Programmieren Eine Einfuehrung YEAR: 1972 NUMBER: AUTHOR: Wirth, N. TITLE: An Assessment of the Programming Language PASCAL YEAR: 1975 NUMBER: AUTHOR: Wirth, N. TITLE: A Basic Course on Compiler Principles YEAR: 1969 NUMBER: AUTHOR: Yates, R.A. ; Raphael, B. TITLE: Resolution Graphs YEAR: 1970 NUMBER: AUTHOR: Zama, N. TITLE: On some algebraic formulation of algorithms YEAR: 1968 NUMBER: AUTHOR: Zama, N. TITLE: A generalisation of algorithms and one of its applications YEAR: 1966 NUMBER: AUTHOR: Zama, N. TITLE: On models of algorithms and flow-charts YEAR: 1966 NUMBER: AUTHOR: Zelle, K. ; Schechter, O. ; Schmid, F. TITLE: Algorithmen Programme Programmpakete YEAR: 1975 NUMBER: AUTHOR: Zumkeller, R. TITLE: Strukturuntersuchungen an abstrakten Rechenmaschinen YEAR: 1976 NUMBER: AUTHOR: Zuse, K. TITLE: The Plankalkuel YEAR: 1976 NUMBER: AUTHOR: McCarthy, J. ; Painter, J. TITLE: correctness of a compiler for arithmetic expressions YEAR: 1967 NUMBER: AUTHOR: Manna, Z. TITLE: six lectures on the logic of computer programming YEAR: 1978 NUMBER: AUTHOR: Manna, Z. TITLE: The Correctness of Nondeterministic Programs YEAR: 1970 NUMBER: AUTHOR: Manna, Z. ; Shamir, S. TITLE: A new approach to recursive programs YEAR: 1975 NUMBER: AUTHOR: Manna, Z. ; Waldinger, R.J. TITLE: Synthesis: Dreams => Programs YEAR: 1977 NUMBER: AUTHOR: Manna, Z. ; Waldinger, R.J. TITLE: The logic of computer programming YEAR: 1978 NUMBER: AUTHOR: Maslov, S.J. ; Orevkov, V.P. TITLE: decideable classes reducing to a one-quantifier class YEAR: 1972 NUMBER: AUTHOR: Maslov, S.J. TITLE: the inverse method and tactics for establishing deducibility for a calculus with functional symbols YEAR: 1972 NUMBER: AUTHOR: Maslov, S.J. TITLE: proof-search strategies for methods of the resolution type YEAR: 1971 NUMBER: AUTHOR: Maslov, S.J. TITLE: application of the inverse method for establishing deducibility to the theory of decideable fragments in the classical predicate calc YEAR: 1966 NUMBER: AUTHOR: Maslov, S.J. TITLE: an inverse method for establishing deducibility of nonprenex formulas of the predicate calculus YEAR: 1967 NUMBER: AUTHOR: Martin, D.A. P. TITLE: completeness, the recursion theorem, and effective simple sets YEAR: 1966 NUMBER: AUTHOR: Marek, W. TITLE: on the data base machine YEAR: 1979 NUMBER: AUTHOR: Maurer, H.A. ; Ottmann, T. TITLE: dynamic solutions of decomposable searching problems YEAR: 1979 NUMBER: AUTHOR: McLaughlin, T.G. TITLE: strong reducibility on hypersimple sets YEAR: 1964 NUMBER: AUTHOR: McCulloch, W.S. ; Pitts, W. TITLE: a logical calculus of the ideas immanent in nervous activity YEAR: 1943 NUMBER: AUTHOR: McCarthy, J. ; Sato, M. ; Hayashi, T. ; Igarashi, S. TITLE: on the model theory of knowledge YEAR: 1978 NUMBER: AUTHOR: McCarthy, J..T. ; Painter, J. TITLE: correctness of a compiler for arithmetic expressions YEAR: 1967 NUMBER: AUTHOR: McCarthy, J. TITLE: problems in the theory of computation YEAR: 1965 NUMBER: AUTHOR: Mayoh, B.H. TITLE: semi-effective numberings and definitions of the computable numbers YEAR: 1980 NUMBER: AUTHOR: Meyer, A.R. ; Paterson, M.S. TITLE: with what frequency are apparently intractable problems difficult? YEAR: 1979 NUMBER: AUTHOR: Meyer, A.R. ; Fischer, P.C. TITLE: computational speedup by effective operators YEAR: 1972 NUMBER: AUTHOR: Merzenich, W. TITLE: Algebraische Charakterisierung additiver Automaten-Arrays YEAR: 1974 NUMBER: AUTHOR: Mehlhorn, K. TITLE: polynomial and abstract subrecursive classes YEAR: 1974 NUMBER: AUTHOR: Mealy, G.H. TITLE: another look at data YEAR: 1967 NUMBER: AUTHOR: McCarthy, J. TITLE: computer programs for checking mathematical proofs YEAR: 1962 NUMBER: AUTHOR: Maslov, S.J. TITLE: the inverse method for establishing deducibility for logical calculi YEAR: 19 NUMBER: AUTHOR: Maggiolo-Schettini, A. ; Winkowski, J. TITLE: an algebraic characterization of derivability relations YEAR: 1978 NUMBER: ScR-1 AUTHOR: Walters, Daniel A TITLE: A representation system for parsing procedures YEAR: 1968 NUMBER: AUTHOR: Wang, Hao TITLE: Universal Turing machines: an exercise in coding YEAR: 1957 NUMBER: AUTHOR: Wang, Hao TITLE: Circuit synthesis by solving sequential boolean equations YEAR: 1959 NUMBER: AUTHOR: Wang, Hao TITLE: Games, Logic and Computers YEAR: 19 NUMBER: AUTHOR: Wang, Hao TITLE: The mechanization of mathematical arguments YEAR: 19 NUMBER: AUTHOR: Wang, Hao TITLE: Proving Theorems by Pattern Recognition I YEAR: 19 NUMBER: AUTHOR: Wang, Hao TITLE: Proving Theorems by Pattern Recognition II YEAR: 1961 NUMBER: AUTHOR: Watanabe, Shigeru TITLE: 5-Symbol 8-State and 5-Symbol 6-State Universal Turing Machines YEAR: 1961 NUMBER: BMFT-GMD-96 AUTHOR: Wedde, Horst TITLE: Losse Kopplung von Systemkomponenten YEAR: 1975 NUMBER: 91 AUTHOR: Weihrauch, Klaus TITLE: Teilklassen primitiv-rekursiven Wortfunktionen YEAR: 1974 NUMBER: 33 AUTHOR: Weiss, Peter ; Rauchenschwandtner, B. TITLE: Ueber die Existenz von Markoff'schen und Gibbs'schen Punktprozessen mit Phasenraum R^{nu} YEAR: 1975 NUMBER: 35 AUTHOR: Weiss, Peter ; Rauchenschwandtner, B. TITLE: Einige Eigenschaften von Gibbs'schen Punktprozessen mit Phasenraum R^{nu} YEAR: 1975 NUMBER: STAN-CS-78-687 AUTHOR: Weyhrauch, Richard W. TITLE: Prolegomena to a Theory of Formal Reasoning YEAR: 1978 NUMBER: AUTHOR: Thomas Ottmann TITLE: Arithmetische Praedikate ueber einem Bereich endlicher Automaten YEAR: 1974 NUMBER: AUTHOR: Thomas Ottmann ; W. Stucky TITLE: Higher Order Analysis of Random 1-2 Brother Trees YEAR: 1979 NUMBER: AUTHOR: James C. Owings, jr. TITLE: Diagonalisation and the Recursion Theorem YEAR: 1973 NUMBER: AUTHOR: Rainer Parchmann ; Manfred Sedello TITLE: Minimalisation of the Height of Binary Trees Representing Arithmeti c Expressions for Parallel Evaluation YEAR: 1975 NUMBER: AUTHOR: Anthony G. Oettinger TITLE: Automatic Syntactic Analysis and the Pushdown Store YEAR: 1961 NUMBER: AUTHOR: Kempachiro Ohashi TITLE: A Stronger Form of a Theorem of Friedberg YEAR: 1963 NUMBER: AUTHOR: D. Nudds TITLE: Conversion of Programs between Computers: Interpreters, Simulators and Compilers YEAR: 1973 NUMBER: AUTHOR: A.S. Nikitin TITLE: A Class of Equivalent Transformations of Operator Schemes YEAR: 1966 NUMBER: AUTHOR: Maurice Nivat TITLE: On the Interpretation of Recursive Polyadic Program Schemes YEAR: 1975 NUMBER: AUTHOR: Lewis M. Norton TITLE: Experiments with a Heuristic Theorem-Proving Program for Predicate Calculus with Equality YEAR: 1971 NUMBER: AUTHOR: Peter Naur TITLE: Proof of Algorithms by General Snapshots YEAR: 1966 NUMBER: AUTHOR: Peter Naur TITLE: Programming by Action Clusters YEAR: 1969 NUMBER: AUTHOR: Nagel, K. TITLE: Solving linear Equations with the SMS 201 Parallel Procesor YEAR: 1979 NUMBER: AUTHOR: Darlington, J.L. TITLE: applications of program transformation to program sythesis YEAR: NUMBER: AUTHOR: Davis, M. TITLE: eliminating the irrelevant from mechanical proofs YEAR: NUMBER: AUTHOR: Davis, R. ; Buchanan, B. ; Shortliffe, E. TITLE: production rules as a representation for a knowledge-based consultation program YEAR: 1975 NUMBER: AUTHOR: Davis, R. ; King, J. TITLE: an overview of production systems YEAR: 1975 NUMBER: AUTHOR: deBakker, J.W. TITLE: semantics of programming languages YEAR: NUMBER: AUTHOR: deBakker, J.W. TITLE: recursive procedures YEAR: NUMBER: AUTHOR: deBakker, J.W. TITLE: least fixed points revisited YEAR: 1975 NUMBER: AUTHOR: Dekker, H. ; et al. TITLE: Das Projektstudium an der Abteilung Informatik - Materialien YEAR: 1979 NUMBER: AUTHOR: culpepper, L.M. TITLE: a system for reliable engineering software YEAR: 1975 NUMBER: AUTHOR: Cwik, J. ; Kowalski, A. TITLE: algorithm of the monotone dependence function YEAR: 1980 NUMBER: AUTHOR: Dabrowska, D. TITLE: regresion-based orderings of stochastic dependence YEAR: 1980 NUMBER: AUTHOR: Dabrowska, D. TITLE: regresion-based orderings and measures of stochastic dependence YEAR: 1980 NUMBER: AUTHOR: DAhl, O.-J. ; Nygaard, K. TITLE: simula -- an algol-based simulation language YEAR: 1966 NUMBER: AUTHOR: Cohen, B. TITLE: an interactive system for proving theorems in the predicate calculus YEAR: 1971 NUMBER: AUTHOR: cole, S.N. TITLE: real-time computation by n-dimensional iterative arrays of finite-state machines YEAR: 1969 NUMBER: AUTHOR: Constable, R.L. TITLE: on classes of program schemata YEAR: 1971 NUMBER: AUTHOR: cooper, D.C. TITLE: reduction of programs to a standard form by graph transformations YEAR: 1966 NUMBER: AUTHOR: ROBINSON, J.A. TITLE: Automatic Deduction with Hyper-Resolution YEAR: 1965 NUMBER: AUTHOR: ROBINSON, A. TITLE: On the Mechanization of the Thory of Eqyations YEAR: 1965 NUMBER: AUTHOR: ROBINSON, J.A. TITLE: An Overview of Mechanical Theorem Proving YEAR: NUMBER: AUTHOR: ROBINSON, J.A. TITLE: Building Deduction Machines YEAR: NUMBER: AUTHOR: ROBINSON, L. ; LEVITT, K.L. ; NEUMANN, P.G. ; SAXENA, A.R. TITLE: On Attaining Reliable Software for a Secure Operating System YEAR: 1975 NUMBER: AUTHOR: ROSEN, B.K. TITLE: Tree-Manipulating Systems and Church-Rosser Theorems YEAR: 1973 NUMBER: AUTHOR: ROSEN, R. TITLE: On a Logical Paradox Implicit in the Notion of a Self-Reproducing Automaton YEAR: 1959 NUMBER: AUTHOR: ROSEN, R. TITLE: A Note on Replication in (M,R)-Systems YEAR: 1966 NUMBER: AUTHOR: RUBEY, R.J. TITLE: Quantitative Aspects of Software Validation YEAR: 1975 NUMBER: AUTHOR: RUDAK, L. TITLE: Equational Definability of Iterative Theories YEAR: 1979 NUMBER: AUTHOR: ROBERTSON, P.S. TITLE: The IPM-77 Language YEAR: 1977 NUMBER: AUTHOR: RIMSCHA, M. TITLE: Mengentheoretische Modelle des LambdaK - Kalkuels YEAR: NUMBER: AUTHOR: GOLCZEWSKI, T. TITLE: G-machine - A one instruction general purpose computer YEAR: 1979 NUMBER: AUTHOR: GLADSTONE, M.D. TITLE: Simplifications of the recursion scheme YEAR: 1971 NUMBER: AUTHOR: GLUSHKOV, V.M. TITLE: Automata theory and structural design problems of digital machines YEAR: 1965 NUMBER: AUTHOR: GILMORE, P.C. TITLE: AN EXAMINATION OF THE GEOMETY theorem machine YEAR: 1970 NUMBER: AUTHOR: GESCHKE, C.M. ; MITCHELL, J.G. TITLE: On the problem of uniform references to data structures YEAR: 19 NUMBER: AUTHOR: GEYER, J. ; JUCKEL, P. TITLE: Codierung eines effizienten systemaischen Algorithmus zum Beweisen von Theoremen in einem Praedikatenkalkuel erster Ordnung YEAR: 1974 NUMBER: AUTHOR: GILES, D.A. TITLE: The theory of LISTS in LCF YEAR: 1978 NUMBER: AUTHOR: GERHART, S.L. TITLE: Knowledge about programs: A model and case study YEAR: 1975 NUMBER: AUTHOR: Schroeder, Gerhard TITLE: Optimale Abschaetzung von Polynomnullstellen und Polynomekoeffizien ten mit Anwendungen auf die Verfahren von Graeffe und Nickel YEAR: 1974 NUMBER: AUTHOR: Schreiber, J. TITLE: Vergleichende Qualitative und Quantitative Untersuchungen von Beweisverfahren YEAR: 1974 NUMBER: AUTHOR: Schoenhage, Arnold TITLE: Universelle Turing Speicherung YEAR: 1970 NUMBER: AUTHOR: Schnorr, C.P. TITLE: The Combinational Complexity of Equivalences YEAR: 1975 NUMBER: AUTHOR: Schneidewind, Norman F. TITLE: Analysis of Error Processes in Computer Software YEAR: 1975 NUMBER: AUTHOR: Schmitt, H. TITLE: Design Principles for Support Generators YEAR: 1978 NUMBER: AUTHOR: Schlichter, J. ; Bischeltsrieder, H. F. TITLE: Erweiterungen und Verbesserungen eines Beweisverfahrens in der Praedikatenlogik YEAR: 1974 NUMBER: AUTHOR: Schlichter, J. ; Bischeltsrieder, H. F. TITLE: Erwewiterungen und Verbesserungen eines Beweisverfahrens in der Praedikatenlogik YEAR: 1974 NUMBER: AUTHOR: Schachermayer, W. TITLE: The Strong Law of Large Numbers in Locally Convex Suslin Spaces YEAR: 1979 NUMBER: AUTHOR: Sauer, A. TITLE: Sequential System Structures YEAR: 1978 NUMBER: AUTHOR: Sandewall, Erik J. TITLE: Concepts and methods for heuristic search YEAR: 1968 NUMBER: AUTHOR: Sandewall, Erik J. TITLE: PCF-2, a first-order calculus for expressing conceptual information YEAR: 1972 NUMBER: AUTHOR: Sandewall, Erik TITLE: Formal methods in the design of question-answering systems YEAR: 1971 NUMBER: AUTHOR: Sanderson, S.Q. TITLE: The Lambda Calculus, Lattice Theory and Reflexive Domains YEAR: 1975 NUMBER: AUTHOR: Salwicki, Andrzej TITLE: On algorithmic theory of stacks YEAR: 1978 NUMBER: AUTHOR: Schinzel, Britta TITLE: Decomposition of Goedelnumberings into Friedbergnumberings YEAR: 1977 NUMBER: 12539 AUTHOR: Tanik, M.M.; chan, E.S. TITLE: fundamentals of computing for software engineers YEAR: 1991 NUMBER: 12541 AUTHOR: Borwein, J.M.; Borwein, P.B. TITLE: pi and the agm a study in analytic number theory and computational complexity YEAR: 1987 NUMBER: 12541 AUTHOR: Borwein, J.M.; Borwein, P.B. TITLE: pi and the agm a study in analytic number theory and computational complexity YEAR: 1987 NUMBER: 12541 AUTHOR: Borwein, J.M.; Borwein, P.B. TITLE: pi and the agm a study in analytic number theory and computational complexity YEAR: 1987 NUMBER: 12418 AUTHOR: Schreiner, A.T.; Friedman, G. TITLE: Compiler bauen mit Unix Eine Einfuehrung YEAR: 1985 NUMBER: 12370 AUTHOR: Seaborn, James B. TITLE: hypergeometric functions and their applications YEAR: 1991 NUMBER: 12379 AUTHOR: Loogen, Rita TITLE: parallel Implementierung funktionaler Programmiersprachen YEAR: 1990 NUMBER: 12409 AUTHOR: Galton, Antony TITLE: temporal logics and their applications YEAR: 1987 NUMBER: 12382 AUTHOR: Char, B.; et al. TITLE: Maple V YEAR: 1991 NUMBER: 12421 AUTHOR: Koehle, Monika TITLE: Neurale Netze YEAR: 1990 NUMBER: 12420 AUTHOR: Kochan, D.; Kuntsche, P. TITLE: CAD/CAM Technik YEAR: 1989 NUMBER: 12644 AUTHOR: Preparata, F.P.; Shamos, M.I. TITLE: computational geometry an introduction YEAR: 1985 NUMBER: 12378 AUTHOR: Taylor, J.G.; Mannion, C.L.T. (eds.) TITLE: theory and applications of neural networks YEAR: 190 NUMBER: 12281 AUTHOR: Nn TITLE: 4th int. conf. on functional programming languages and computer architecture, FPCA'89 YEAR: 1989 NUMBER: 12869 AUTHOR: Mora, T.; Traverso, C. TITLE: effective methods in algebraic geometry YEAR: 1991 NUMBER: 12859 AUTHOR: Ebbinghaus, H.-D.; et al. TITLE: logic colloquium'87 1987, Granada, Spain YEAR: 1987 NUMBER: 12860 AUTHOR: Ferro, R.; et al. TITLE: logic colloquium'88 1988, Padova YEAR: 1988 NUMBER: 12723 AUTHOR: MacLane, S.; Moerdijk, I. TITLE: sheaves in geometry and logic a first introduction to topos theory YEAR: 1992 NUMBER: 12853 AUTHOR: Brackx, F.; Constales, D. TITLE: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics YEAR: 1991 NUMBER: 12780 AUTHOR: Harris, Joe TITLE: algebraic geometry a first course YEAR: 1992 NUMBER: 12739 AUTHOR: Monien, B.; Cori, R. (eds.) TITLE: STACS'92 6th annual symp. on theoretical aspects of computer science YEAR: 1989 NUMBER: 12742 AUTHOR: Tarlecki, A. (ed.) TITLE: mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 YEAR: 1991 NUMBER: 12734 AUTHOR: Pitt, D.H.; et al. (eds.) TITLE: category theory and computer science Paris, France, Sept. 1991 YEAR: 1991 NUMBER: 12740 AUTHOR: Huguet, L.; Poli, A. (eds.) TITLE: AAECC-5: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1987 NUMBER: 12733 AUTHOR: Mattson, H.F.; et al. (eds.) TITLE: AAECC-9: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1991 NUMBER: 12735 AUTHOR: Sakata, S. (ed.) TITLE: AAECC-8: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1990 NUMBER: 12736 AUTHOR: Choffrut, C.; Jantzen, M. (eds.) TITLE: STACS'91 8th symp. on theoretical aspects of computer science YEAR: 1991 NUMBER: 12726 AUTHOR: Zippel, R.E. (ed.) TITLE: computer algebra and parallelism workshop, Ithaca, USA, May 1990 YEAR: 1990 NUMBER: 12741 AUTHOR: Fejer, P.A.; Simovici, D.A. TITLE: mathematical foundations of computer science vol. 1: sets, relations, and induction YEAR: 1991 NUMBER: 12725 AUTHOR: Walker, R.J. TITLE: algebraic curves YEAR: 1992 NUMBER: 12754 AUTHOR: Williams, S.A. TITLE: programming models for parallel systems YEAR: 1990 NUMBER: 12752 AUTHOR: Gelenbe, E. TITLE: multiprocessor performance YEAR: 1989 NUMBER: 12709 AUTHOR: Pethoe, A.; et al. (eds.) TITLE: computational number theory YEAR: 1991 NUMBER: 12724 AUTHOR: Schmidt-Schauss, M. TITLE: computational aspects of an order sorted logic with term declarations YEAR: 1989 NUMBER: 12756 AUTHOR: Singer, M. TITLE: differential equations and computer algebra YEAR: 1991 NUMBER: 12737 AUTHOR: Mora, T. (ed.) TITLE: AAECC-6: applied algebra, algebraic algorithms and error-correcting codes YEAR: 1988 NUMBER: 12728 AUTHOR: Finkel, A.; Jantzen, M. (eds.) TITLE: STACS'92 9th symp. on theoretical aspects of computer science YEAR: 1992 NUMBER: 12755 AUTHOR: Reeve, M. TITLE: parallel processsing and artificial intelligence YEAR: 1989 NUMBER: 12753 AUTHOR: Diller, A. TITLE: compiling functional languages YEAR: 1989 NUMBER: 12738 AUTHOR: Gottlob, G.; Nejdl, W. (eds.) TITLE: expert systems in engineering principles and applications YEAR: 1990 NUMBER: 12732 AUTHOR: Prehn, S.; Toetenel, W.J. (eds.) TITLE: VDM'91: formal software development methods vol 2: tutorials YEAR: 1991 NUMBER: 12731 AUTHOR: Prehn, S.; Toetenel, W.J. (eds.) TITLE: VDM'91: formal software development methods vol 1: conference contributions YEAR: 1991 NUMBER: 12727 AUTHOR: Breu, R. TITLE: algebraic specification techniques in object oriented programming environments YEAR: 1991 NUMBER: 12730 AUTHOR: Jacquet, J.-M. TITLE: conclog: a methodological approach to concurrent logic programming YEAR: 1991 NUMBER: 12729 AUTHOR: Raoult, J.-C. TITLE: CAAP'92 17th coll. on trees in algebra and programming YEAR: 1992 NUMBER: 12710 AUTHOR: Reischuk, K.R. TITLE: Einfuehrung in die Komplexitaetstheorie YEAR: 1990 NUMBER: 13188 AUTHOR: Adamek, J.; et al. TITLE: abstract and concrete categories YEAR: 1990 NUMBER: 13187 AUTHOR: Curien, P. TITLE: categorical combinators, sequential algorithms, and functional programming YEAR: 1993 NUMBER: 13017 AUTHOR: Pitt, D.H.; et al. (eds.) TITLE: category theory and computer science Edinburgh, UK, Sept. 1987 YEAR: 1987 NUMBER: 13058 AUTHOR: Choi, B.K. TITLE: surface modeling for CAD/CAM YEAR: 1991 NUMBER: 13042 AUTHOR: Streicher, T. TITLE: semantics of type theory correctness, completeness and independence results YEAR: 1993 NUMBER: 13032 AUTHOR: Geddes, K.O.; Czapor, S.R.; Labahn, G. TITLE: algorithms for computer algebra YEAR: 1993 NUMBER: 13044 AUTHOR: Perry, E. TITLE: geoemtry axiomatic developments with problem solving YEAR: 1992 NUMBER: 13018 AUTHOR: Lam, T.Y. TITLE: a first course in noncommutative rings YEAR: 1991 NUMBER: 13012 AUTHOR: Friedmann, A. TITLE: mathematics in industrial problems part 4 YEAR: 1991 NUMBER: 13087 AUTHOR: Hofbauer, D.; Kutsche, R.-D. TITLE: Grundlagen des maschinellen Beweisens YEAR: 1991 NUMBER: 13086 AUTHOR: Cap, F. TITLE: Wie loest man Randwertprobleme in Physik und Technik YEAR: 1993 NUMBER: 13019 AUTHOR: Becker, T.; WEispfenning, V. TITLE: Groebner bases a computative approach to commutative algebra YEAR: 1993 NUMBER: 13014 AUTHOR: Wloka, D.W. TITLE: Robotersysteme, vol. 2 YEAR: 1992 NUMBER: 13015 AUTHOR: Wloka, D.W. TITLE: Robotersysteme, vol. 3 YEAR: 1992 NUMBER: 13013 AUTHOR: Wloka, D.W. TITLE: Robotersysteme, vol. 1 YEAR: 1992 NUMBER: 13043 AUTHOR: Loustau, J.; Dillon, M. TITLE: linear geometry with computer graphics YEAR: 1993 NUMBER: 13049 AUTHOR: Slomson, A. TITLE: an introductin to combinatorics YEAR: 1991 NUMBER: 13 AUTHOR: TITLE: YEAR: 0 NUMBER: 13 AUTHOR: TITLE: YEAR: 0 NUMBER: 13016 AUTHOR: Strasser, W.; Seidel, H.-P. (eds.) TITLE: theory and practice of geometric modeling YEAR: 1989 NUMBER: 11573 AUTHOR: Faltings, G.; Wuestholz, G.; et al. TITLE: rational points YEAR: 1992 NUMBER: 12961 AUTHOR: Nemeth, E.; et al. TITLE: unix system administration book YEAR: 1989 NUMBER: 13166 AUTHOR: rose, M.T. TITLE: the internet message closing the book with electronic mail YEAR: 1993 NUMBER: 13151 AUTHOR: NN TITLE: 1990 ACM conf. lisp and funct. programming Nice, Franzhce, 1990 YEAR: 1990 NUMBER: 13140 AUTHOR: NN TITLE: ISSAC'89 Portland, Oregon, USA, 1989 YEAR: 1989 NUMBER: 13153 AUTHOR: Moriconi, M. (ed.) TITLE: internat. workshop on formal methods in software development Napa, California, 1990 YEAR: 1990 NUMBER: 13152 AUTHOR: nn TITLE: 1992 lisp and functional programming SAn Francisco, USA, 1992 YEAR: 1992 NUMBER: 13171 AUTHOR: Reif, J. TITLE: synthesis of parallel algorithms YEAR: 1993 NUMBER: 13136 AUTHOR: Youssin, B. TITLE: newton polyhedra without coordinates newton polyhedra of ideals YEAR: 1990 NUMBER: 13101 AUTHOR: Jones, N. (ed.) TITLE: ESOP'90 copenhagen, Denmark, 1990 YEAR: 1990 NUMBER: 13102 AUTHOR: Hughes, J. (ed.) TITLE: functional programming languages and computer architecture Cambridge, USA, 1991 YEAR: 1991 NUMBER: 13155 AUTHOR: Braden, B., et al. TITLE: discovering calculus with mathematica YEAR: 1992 NUMBER: 13149 AUTHOR: Wang, P.S. TITLE: ISSAC'92 Berkeley, CA, 1992 YEAR: 1992 NUMBER: 13150 AUTHOR: Bronstein, M. (ed.) TITLE: ISSAC'93 Kiev, Ukraine, 1993 YEAR: 1993 NUMBER: 13147 AUTHOR: NN TITLE: ISSAC'90 Tokyo, Japan, 1990 YEAR: 1990 NUMBER: 13148 AUTHOR: Watt, S.M. TITLE: ISSAC'91 Bonn, Germany, 1991 YEAR: 1991 NUMBER: 13106 AUTHOR: Pearce, D. (eds.) TITLE: logics in AI Jelia'92, Berlin, Sept. 1992 YEAR: 1992 NUMBER: 13105 AUTHOR: Gianni, P. (ed.) TITLE: ISSAC'88 Rome, Italy, 1988 YEAR: 1988 NUMBER: 13099 AUTHOR: Sommese, A.J. (eds.) TITLE: algebraic geometry L'Aquila, 1988 YEAR: 1988 NUMBER: 13098 AUTHOR: Best, E. 9ed.) TITLE: concur'93 Hildesheim, Aug. 1993 YEAR: 1993 NUMBER: 13100 AUTHOR: Krieg-Brueckner, B. (ed.) TITLE: ESOP'92 REnnes, France, 1992 YEAR: 1992 NUMBER: 13104 AUTHOR: Soare, R.I. TITLE: recursively enumerable sets and degrees YEAR: 1987 NUMBER: 13088 AUTHOR: Lutz, M. TITLE: Untersuchungen zur Genauigkeit geometrischer Methoden in CAD-Systemen YEAR: 1987 NUMBER: 13164 AUTHOR: Kronsjoe, L. et al. TITLE: advances in parallel algorithms YEAR: 1992 NUMBER: 13169 AUTHOR: Martin, N.M. TITLE: systems of logic YEAR: 1989 NUMBER: 13168 AUTHOR: Stender, J. (ed.) TITLE: parallel genetic algorithms: theory and applications YEAR: 1993 NUMBER: 13163 AUTHOR: fomenko, A.T. TITLE: variational problems in topology YEAR: 1984 NUMBER: 13162 AUTHOR: Froehlich, A. TITLE: algebraic number theory YEAR: 1991 NUMBER: 13167 AUTHOR: Kehoe, B.P. TITLE: ZEN and the art of the internet YEAR: 1993 NUMBER: 13170 AUTHOR: Malamud, C. TITLE: exploring the internet a technical travelogue YEAR: 1993 NUMBER: 13138 AUTHOR: Hunt, K.H. TITLE: kinematic geoemtry of mechanisms YEAR: 1978 NUMBER: 13139 AUTHOR: Eberhart, R.C., et al. TITLE: neural network PC tools YEAR: 1990 NUMBER: 13172 AUTHOR: Plasmeijer, R., et al. TITLE: fuctional programming and parallel graph rewriting YEAR: 1993 NUMBER: 13144 AUTHOR: Juettner, G. et al. TITLE: Entscheidungstabellen und wissensbasierte Systeme YEAR: 1989 NUMBER: 13107 AUTHOR: Kanatani, K. TITLE: group-theoretic methods in image understanding YEAR: 1990 NUMBER: 13108 AUTHOR: Cederberg, J.N TITLE: a course in modern geometry YEAR: 1991 NUMBER: 13161 AUTHOR: Macconaill, P.A., et al. TITLE: mechatronics and robotics vol. 1 YEAR: 1991 NUMBER: 13146 AUTHOR: Lyche, T.; Schumaker, L.L. TITLE: mathematical methods in computer aided geometric design YEAR: 1989 NUMBER: 13142 AUTHOR: King, J.P. TITLE: the art of mathematics YEAR: 1992 NUMBER: 13141 AUTHOR: Zipple, R. TITLE: effective polynomial computation YEAR: 1993 NUMBER: 13103 AUTHOR: Vosselman, G. TITLE: relational matching YEAR: 1992 NUMBER: 13143 AUTHOR: Sleep, M.R.; et al. TITLE: term graph rewriting theory and practice YEAR: 1993 NUMBER: 13145 AUTHOR: Vinberg, E.B. (ed.) TITLE: lie groups, their discrete subgroups, and invariant theory YEAR: 1992 NUMBER: 13135 AUTHOR: BErge, C. TITLE: hypergraphs YEAR: 1989 NUMBER: 13110 AUTHOR: Yang, Kichoon TITLE: complex algebraic geometry an introduction to curves and surfaces YEAR: 1991 NUMBER: 13112 AUTHOR: Kuga, M. TITLE: Galois' dream group theory and differential equations YEAR: 1993 NUMBER: 13134 AUTHOR: Odifreddi, P. TITLE: classical recursion theory YEAR: 1992 NUMBER: 13165 AUTHOR: Dayhoff, J.E. TITLE: neural network architectures YEAR: 1990 NUMBER: 13109 AUTHOR: Jones, C.B.; et al. TITLE: mural: a formal development support system YEAR: 1991 NUMBER: 13154 AUTHOR: Koepf, W.; et al. TITLE: Mathematik mit DERIVE YEAR: 1993 NUMBER: 13156 AUTHOR: Willisamson, S.G. TITLE: combinatorics for computer science YEAR: 1985 NUMBER: 13137 AUTHOR: Cormen, T.H.; et al. TITLE: introduction to algorithms YEAR: 1991 NUMBER: 257-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 1: classical logic YEAR: 1987 NUMBER: 258-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 2: non-classical logic YEAR: 1987 NUMBER: 259-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 3: model theory YEAR: 1987 NUMBER: 260-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 4: recursion theory YEAR: 1987 NUMBER: 261-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 5: set theory YEAR: 1987 NUMBER: 262-0 AUTHOR: Mueller, G.H. (ed.) TITLE: omega-bibliography of mathematical logic vol 6: proof theory, constructive mathematics YEAR: 1987 Done.