13101 (1990) Jones, N. (ed.): ESOP'90 copenhagen, Denmark, 1990 13102 (1991) Hughes, J. (ed.): functional programming languages and computer architecture Cambridge, USA, 1991 13106 (1992) Pearce, D. (eds.): logics in AI Jelia'92, Berlin, Sept. 1992 13136 (1990) Youssin, B.: newton polyhedra without coordinates newton polyhedra of ideals 13140 (1989) NN: ISSAC'89 Portland, Oregon, USA, 1989 13147 (1990) NN: ISSAC'90 Tokyo, Japan, 1990 13148 (1991) Watt, S.M.: ISSAC'91 Bonn, Germany, 1991 13149 (1992) Wang, P.S.: ISSAC'92 Berkeley, CA, 1992 13150 (1993) Bronstein, M. (ed.): ISSAC'93 Kiev, Ukraine, 1993 13151 (1990) NN: 1990 ACM conf. lisp and funct. programming Nice, Franzhce, 1990 13152 (1992) nn: 1992 lisp and functional programming SAn Francisco, USA, 1992 13153 (1990) Moriconi, M. (ed.): internat. workshop on formal methods in software development Napa, California, 1990 13155 (1992) Braden, B., et al.: discovering calculus with mathematica 13166 (1993) rose, M.T.: the internet message closing the book with electronic mail 13171 (1993) Reif, J.: synthesis of parallel algorithms 001 (1982) Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed): Computer Algebra Symbolic and Algebraic Computation, Second Edition 0053 (1987) Liskov, Barabara; Scheifler, Robert; Walker, Edward; Weihl, William: Orphan detection 0057 (1987) Liskov, Barabara: Highly-available distributed services 011 (1984) Barendregt, H.P.: The Lambda Calculuss of Natural Language Processing Its Syntax and Semantics 012 (1984) Rine, David C. (Ed): Computer Science and Multiple-Valued Logic Theory and Applications 018 (1982) Paule, P.: Ein neuer Weg zur q-Lagrange Inversion 019 (1979) Berstel, Jean: Transductions and Context-Free Languages 021 (1986) Paule, Peter: Ueber das Involutionsprinzip von Garisa und Milne 025 (1983) Beardon, Alan F.: The Geometry of Discrete Groups 028 (1982) Bott, Raoul; Tu, Loring W.: Differential Forms in Algebraic Topology 043 (1979) Curtis, Morton L.: Matrix Groups Second Edition 043 (1985) Shankar, N. .: Towards Mechanical Metamathematics 045 (1985) Bast, Heinz: Resolution auf Kleinrechnern: Taschenrechner und 1-Klausen-Verfahre n auf einem Z80-System 045 (1985) Shankar, N. .: A Mechanical Proof of the Church-Rosser Theorem 050 () Herlihy, Maurice; Lynch, Nancy; Merritt, Michael; Weihl, William: On the Correctness of Orphan Elimination Algorithms 058 (1985) Broecker, Theodor; Dieck, Tammo tom: Representations of Compact Lie Groups 071 (1982) Aubin, Thierry: Nonlinear Analysis on Manifolds.s in Combinatorial Optimization Monge-Ampere Equations 073 (1985) Kluzniak, Feliks; Szpakowicz, Stanislaw: PROLOG for Programmers 10/86 (1986) Bockmayr, Alexander: Conditional Rewriting and Narrowing as a Theoretical Framework for Logic-Functional Programming 10009 (1984) Atkinson, Michael D. (Ed): Computational Group Theory 10010 () Hogger: Introduction to logic programming 10010 (1984) Hogger, Christopher John: Introduction to Logic Programning 10011 (1985) Barnhill Robert E. (Ed); Boehm, Wolfgang (Ed): Surfaces in CAGD'84 10032 (1986) Fraisse, R.: Theory of Relations 10034 () Neuwirth; et al.: Kinder, Computer und Bildung 10034 (1985) Neuwirth, E.; Schauer, H.; Tauber, M.J.: Kinder, Computer und Bildung 10036 (1985) Davis, Philip J.; Chinn, William G.: 3.1416 And All That 10037 (1985) Gander, Walter: Comptermathematik 10038 (1985) Kunz, Ernst: Introduction to commutative algebra and algebraic geometry. Transl. by Michael Ackerman. Preface by David Mumford. 10039 () Ehrig: Mathematical foundations of software development 10040 () Ehrig; et al. s; (eds.): Formal methods and software development, vol. 2 10041 (1985) Barringer, Howard.: A Survey of Verification Techniques for Parallel Programs 10044 (1981) Kaucher, Edgar; Klatte, Rudi; Ullrich, Christian: Programmiersprachen im Griff 10045 (1984) Kaucher, Edgar; Klatte, Rudi; Ullrich, Christian; von Gudenberg, Juergen Frhr.: $bungen und Tests in PASCAL 10046 (1975) Brosowski, Bruno; Kress, Rainer: Einfuehrung in die Numerische Mathemaik I 10047 () Engeln; Muellges; Reutter: Numerische Mathematik fuer Ingenieure 10047 (1985) Engeln-Muellges, Gisela; Reutter, Fritz: Numerische Mathematik fuer Ingenieure. 4. ueberarb. Aufl. 10048 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC 10048 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC 10048 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern. Teil 1. E. Einf. in die Theorie u. in die Programmierung in BASIC. 10049 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme 10049 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme 10049 (1984) Weissinger, Johannes: Numerische Mathematik auf Personal-Computern. Teil 2. BASIC-Programme. 10050 (1980) Bruderer, Herbert E.: Nichtnumerische Datenverabeitung 10051 (1983) Haase, Volkmar: Die Technik der neuen Medien 10052 (1982) Zima, Hans: Compilerbau I 10053 (1983) Zima, Hans: Compilerbau II 10054 () Waldschmidt; Walter: Grundzuege der informatik I 10054 (1984) Waldschmidt, Helmut E.; Walter, Hermann K.-G.: Grundzuege der Informatik I 10055 (1985) Balzert, Helmut (Ed): Moderne Software-Entwicklungssysteme und -werkzeuge 10056 (1985) Feuer, Alan R.: C-Puzzlebuch C-Programmier Training 10057 () Kernighan; Ritchie: Programming in C 10057 (1983) Kernighan, Brian W.; Ritchie, Dennis M.: Programmieren in C 10058 (1985) Cross, Mark; Moscardini, A.O.: Learning the Art of Mathematical Modelling 10059 (1985) Riesel, Hans: Prime Numbers and Computer Methods for Factorization 10061 (1985) Havey, Brian: Computer Science Logo Style Volume I, Intermediate Programming 10062 (1985) Saram, Hugh de (Ed): Programming in micro-PROLOG 10063 (1981) Wulf, William A.; Shaw, Mary; Hilfinger, Paul N.: Fundaental Structures of Computer Science 10064 (1985) Quirk, W.J. (Ed): Verification and Validation of Real-Time Software 10065 (1984) Thayse, Andre: P-Functions and Boolean Matrix Factorizaion 10066 (1985) Sherman, Mark Steven: Paragon:ing Languages and Their Definition A Language Using Type Hierarchies for the Specification ... 10067 (1984) Chytil M.P. (Ed); Koubek, V. (Ed): Mathematical Foundations of Computer Science 1984 10068 () Bekic, H.: Programming languages and their definition 10068 (1984) Jones, C.B. (Ed): Programming Languages and Their Definition 10069 (1985) Mehlhorn, K. (Ed): STACS 85 10070 (1985) Hawkins, Cliffard (Ed); Sorgi, Maco (Ed): Research How to Plan, Speak and Write About It 10071 (1984) Vogel, W.: Lectures on results on Bezout's theorem. Notes by D. P. Patil. 10072 (1984) Shirota, Yukari; Kunii, Tosiyasu L.: First Book on UNIX for Executives 10073 (1984) Stoyan, Herbert: Maschinen-unabhaengige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation 10074 (1983) Siekmann, Joerg (Ed); Wrightson, Graham (Ed): Automation of Reasoningtyle Classical Paers on Computational Logic 1957-1966 10075 (1983) Siekmann, Joerg (Ed); Wrightson, Graham (Ed): Automation of Reasoning Classical Papers on Computational Logic 1967-1970 10076 (1985) Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1 10077 (1985) Blaser, A. (Ed); Pistor, P. (Ed): Datenbank-Systeme fuer B!ro, Technik und Wissenschaft 10078 (1984) Hartley, John: Flexible Automation in Japan 10079 (1984) ten Hagen, Paul J.W.: Eurographics Tutorials 83 10080 (1984) Miklosko, J. (Hrsg.); Kotov, V. E. (Hrsg.): Algorithms, software and hardware of parallel computers. (Weitere Beitr.:) J. Chudnik, G. David, N.N. Mirenkov, J. Ondas u.a. 10081 (1984) Mehlhorn, Kurt: Data Structures and Algorithms 1: Sorting and Searching 10082 (1984) Mehlhorn, Kurt: Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness 10083 (1984) Mehlhorn, Kurt: Multi-dimensional Searching and Computational Geometry 10084 () Weissinger: Numerische Mathematik auf PC's 10086 (1986) Craig, John J.: Introduction to Robotics Mechanics & Control 10087 (1984) Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim: Automated Reasoning Introduction and Applicaions 10088 () Reynolds: The craft of programming 10088 (1981) Reynolds, John C.: The Crat of Programming 10089 (1981) Lewis, Harry R.; Papadimitriou, Christos H.: Elements of the Theory of Computation 10090 (1984) Farmer, Doyne (Ed); Toffoli, Fommaso (Ed); Wolfram, Stephen (Ed): Cellular Automata 10091 (1984) Feilmeier, Manfred (Hrsg.); Joubert, Gerhard (Hrsg.); Schendel, Udo (Hrsg.): Parallel computing 83. Proceedings ... Berlin, 26-28 September, 1983. 10092 (1982) Mendelsohn, Eric (Ed): Algebraic and Geometric Combinatorics 10093 (1985) Mansfield, Richard; Weitkamp, Galen: Recursive Aspects of Descriptive Set Theory 10097 (1985) Hoae, C.A.R.: Communicating Sequential Processes 10099 (1984) Courcelle, B. (Ed): Ninth Colloquium on Trees in Algebra and Programming 10102 (1986) Wagner, K.; Wechsung G.: Computational Complexity 10103 (1985) Negoita, Constantin Virgil: Expert Systems and Fuzzy Systems 10104 (1983) Lewis, Ted G.: PASCAL for the IBM Personal Computer 10105 (1983) Kelman, Peter; Bardige, Art; Choae, JOnathan; Hanify, George: Computers in Teaching Mathemaics 10106 (1985) Ross, Peter: Logo Programming for the IBM PC 10107 (1983) Traub, J.F.; Wasilkowski, G.W.; Wozniakowski, H.: Information, Uncertainty, Complexity 10108 (1984) Shaw, Tony: dBASE IIuer Image: Applications of Computer Graphics Developing applications 10109 () Gonnet: Hnadbook of algorithms and data structures 10109 (1984) Gonnet, H.G.: Handbook of ALgorithms and Data Structures 10110 (1982) Greenberg, Donald; Marcus, Aaron; Schmidt, Allan H.; Gorter, Vervon: The Compuer Image: Applications of Computer Graphics 10111 (1985) Park, Chan S.: Interactive Microcomputer Graphics 10112 (1984) Bennetts, R.G.: Design of Testable Logic Circuits 10113 (1980) Mead, Caver; Conway, Lynn: Introduction to VLSI Systems 10114 (1984) Glasser, Lance A.; Dobberpuhl, Daniel W.: The Design and Analysis of VLSI Circuits 10115 (1986) Lamport, Leslie: LATEX. A document preparation system. 10116 (1984) Myers, Roy E.: Microcomputer Graphics for the IBM PC 10117 (1983) Sargent III, Murray; Shoemaker, Richard L: The IBM Personal Computer From the Inside Out 10119 () Wadge; Ashcroft: Lucid, the dataflow programming language 10119 (1985) Wagde, William W.; Ashcroft, Edward A.: Lucid, The Dataflow Programming Language 10120 (1983) Hopgood, F.R.A.; Duce, D.A.; Gallop, J.R.; Sutcliffe, D.C.: Introduction to the Graphical Kernel System (GKS) 10121 (1984) Yovits, Marshall C. (Ed): Advances in Computers Volume 23 10122 (1985) Yovits, Marshall C. (Ed): Advances in Computers Volume 24 10123 (1977) Mandelbrot, Benoit B.: The Fractal Geometry of Nature 10124 (1982) Gersting, Judith L.: Mathematical Structures for Computer Science 10125 (1984) Bransford, John D.; Stein, Barry S.: The Ideal Problem Solver A Guide for Improving Thinking, Learning and Creativity 10126 (1978) Gadner, Martin: Aha, Insight 10127 (1974) Koberg, Don; Bagnall, Jim: the Universal Traveler a Soft-Systems guide to: creativity, problem-solving ... 10132 (1984) Reid-Green, Keith: Computerspiele und Computergrafik 10168 (1986) Mitchell, David: An Adventure in Programing Techniques 10173 (1985) Brooks, Rodney A.: Programming in Common LISP 10178 (1985) Pavelle, Richard (Ed): Application to Computer Algebra 10179 (1986) Jackson, Peter: Introduction to Expert Systems 1018 (1960) Suppes, Patrick: Axiomatic Set Theory 1018 (1960) Suppes, Patrick: Axiomatic Set Theory 10187 (1984) Tiberghien, J. (Ed): New Computer Architectures 10188 (1986) Knuth, Donald E.: The TEXbook 10189 (1985) Brownston, Lee; Farrell, Robert; Kant, Elaine; Martin, Nancy: Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming 10190 (1985) Weste, Neil H.E.; Eshraghian, Kamran: Principles of Cmos VLSI Design 10192 (1986) Green, David: Modern Logic Design 10194 (1986) Barcan Marcus, Ruth (Ed); Dorn, Georg J.W. (Ed); Weingartner, Paul (Ed): Logic, Methodology and Philosophy of Science VII 10195 () Radermacher; Wirsing: Berichte aus Informatikinstituten 1986 10195 (1986) Radermacher, Franz-Josef; Wirsing, Martin: Berichte aus den Informatikinstituten 10197 (1986) Bratko, Ivan: PROLOG Programming for Artificial Intelligence 10233 (1986) Peitgen, Heinz-Otto; Richter, Peter H.: The Beauty of fractals. 10234 (1986) Cox, Brad J.: Object-oriented Programming. An evolutionary approach. 10235 (1985) Demongeot, J. (Hrsg.); Goles, E. (Hrsg.); Tchuente, M. (Hrsg.): Dynamical Systems and cellular automata. 10237 (1986) Schiehlen, Werner: Technische Dynamik. Eine Einf. in die analyt. Mechanik u. ihre Anwe ndungen. 10238 (1986) Brauner, Heinrich: Lehrbuch der konstruktiven Geometrie. 10242 (1985) Preparata, Franco P.; Shamos, Michael Ian: Computational Geometry. An introduction. 10248 (1986) Knuth, Donald E.: The TEXbook 10249 () Campbell; et al.: Implementations of PROLOG 10249 (1985) Campbell, J.A.(Hrsg.): Implementations of Prolog. 10254 () Giannesini; et al.: PROLOG 10254 (1986) Giannesini, Francis; Kanoui, Henry; Pasero, Robert; van Caneghem, Michel: Prolog. 10255 (1971) Rice, John R. (Hrsg.): Mathematical Software. 10257 (1779) Bezout, Etienne: Theorie generale des equations algebriques. 10259 (1986) Paris, J. B. (Hrsg.); Wilkie, A. J. (Hrsg.); Wilmers, G. M. (Hrsg.): Logoc colloquium '84. Proceedings of the colloquium held in Manchester, July 1984. 10260 (1986) Rollinger, Claus-Rainer(Hrsg.); Horn, Werner (Hrsg.): GWAI-86 (10th German workshop on artificial intelligence) und 2. oesterreichische Artificial-Intelligence-Tagung 10265 (1986) Bishop, Judy (Judith Mary): Data abstraction in programming languages. 1027 (1960) Schmidt, Arnold H.: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik 1027 (1960) Schmidt, Arnold H.: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik 10270 (1950) Ritt, Joseph Fels: Differential algebra. 10271 (1975) Groebner, W(olfgang): Gruppi, anelli e algebre di Lie. 10286 (1986) Siekmann, Joerg H. (Hrsg.): 8th (eigth) International conference on automated deduction. Oxford, England, July 27 - August 1, 1986. Proceedings. 10296 (1986) Meier, Andreas: Methoden der grafischen und geometrischen Datenverarbeitung. 10297 (1986) Kleine Buening, Hans; Schmitgen, Stefan: PROLOG. Grundlagen u. Anwendungen. 103 (1981) Albert, J.; Wood, D.: Checking Sets, Test Sets, Rich Languages and Commutatively-Closed L anguages 10309 (1986) Carrell, James B. (Hrsg.); Geramita, A.V.(Hrsg.); Russell, Peter (Hrsg.): Proceedings of the 1984 Vancouver conference in algebraic geometry. Held July 2-12, 1984. 10310 (1982) Dubois, Donald Ward (Hrsg.); Recio, Thomas (Hrsg.): Ordered fields and real algebraic geometry. Proceedings of the special session ... San Francisco, CA, January 7-11, 1981. 10311 (1979) M(a)cCorduck, Pamela: Machines who think. A personal inquiry into the history and prospects of artificial intelligence. (With several photographs.) 10319 (1986) M(a)cGregor, Jim (James) J.; Watt, Alan H.: The art of graphics for the IBM PC. 10323 (1985) Conlon, Tom: Learning Micro-PROLOG. 10323 (1986) Conlon, Tom: Learning Micro-PROLOG. A problem solving approach. 2. printing. 10337 (1985) Wirth, Niklaus: Systematisches Programmieren. Eine Einfuehrung. 5. Aufl. 10338 (1986) Wirth, Niklaus: Algorithmen und Datenstrukturen mit Modula-2. 4. Aufl. 10345 (1987) Hawksley, Chris; White, Neil: Assembly language programming on the IBM PC. 10346 (1983) van der Waerden, B. L.: (Teils.) Zur algebraische Geometrie. Selected papers. Mit einem Geleitwort von F(riedrich) Hirzebruch. 10348 (1973) van der Waerden, B. L.: Einfuehrung in die algebraische Geometrie. 2. Aufl. 10349 (1986) Selman, Alan L. (Hrsg.): Structure in complexity theory. Proceedings ... Berkeley, June 2-5, 1986. 10350 (1980) Bibel, Wolfgang (Hrsg.); Kowalski, Robert (Hrsg.): 5. conference on automated deduction. Les Arcs, France, July 8-11, 1980. 10351 (1986) Stanton, Dennis; White, Dennis: Constructive combinatorics. 10352 (1986) Shapiro, Ehud (Hrsg.): Third (3.) international conference on logic programming. ... London ... July 14-18, 1986. Proceedings. 10362 (1986) Gonshor, Harry: An introduction to the theory of surreal numbers 10392 (1984) Pieper, Herbert: Zahlen aus Primzahlen. 2. durchges. u. erw. Aufl. 104 (1981) Albert, J.; Culik, K.; karhumaeki, J.: Test Sets for Context Free languages and Algebraic Systems of equat ions over a Free Monoid 10402 (1986) Knuth, Donald: METAFONT: teh program 10411 (1986) Kerschberg, Larry: Expert database systems 10412 (1986) Knuth, Donald: Computer modern typefaces 10413 (1986) Gehani, N.; McGettrick, A.D.: Software specification techniques 10414 (1986) Knuth, Donald: The METAFONTbook 10415 () Cleaveland, J.C.: An introduction to data analysis 10416 (1986) Knuth, Donald: TEX: the program 10417 (1986) Klahr, Philip; Waterman, Donald A.: Expert systems, techniques, tools and apllications 10418 (1986) Cohen, B.; Harwood, W.T.; Jackson, M.I.: The specification of complex systems 10432 (1986) Gruska, J.; Rovan, B.; Wiedermann, J.: Mathematical foundations of computer science 1986 10437 (1986) Ivanov, L.L.: Algebraic recursion theory 10444 (1986) Lorbeer, W.; Werner D.: Wie funktionieren Roboter 10445 (1986) Buchberger, B.; Kutzler, B.; Feilmeier, M.; et al.: Rechnerorientierte Verfahren 10446 (1986) Afflerbach, L.; Lehn J.: Zufallszahlen und Simulation 10447 (1987) Savage, J.E.: The complexity of computing 10448 (1986) Devroye, Luc: Lecture notes on bucket algorithms 10451 (1985) Critchlow, A.J.: Introduction to robotics 10452 (1986) Enderle, G.; Grave, G.; Lillehagen, F.: Advances in Computer Graphics I 10453 () Earnshaw, R.A.: Fundamental algorithms for computer graphics 10453 (1985) Bresenham, J.E.; Earnshaw, R.A.; Pitteway, M.L.V.: Fundamental algorithms for computer graphics 10454 (1986) Duer, A.: Moebius functions, incidence algebras and power series representati ons 10455 () Bibel, W.; Jorrand, Ph.: Fundamental of artificial intelligence 10455 (1986) Goos, G.; Hartmanis, J.: Fundamentals of artificial intelligence 10455 (1986) Goos, G.; Hartmanis, J.: Fundamentals of artificial intelligence 10456 (1986) Henle, J.M.: An outline of set theory 10457 (1985) Miranker, W.L.; Toupin, R.A.: Accurate Scientific Computations 10459 () lawler: the traveling salesman problem 10459 (1986) Lawler, E.L.; Lenstra, J.K.; Kan, Rinnooy A.H.G.; Shmoys, D.B.: The travelingsalesman problem 10460 (1985) Price, Keith: Computer vision and pattern recognition 10461 (1986) Minoux, M.: Mathematical programming, theory and algorithms 10462 (1985) Mortenson, M.E.: Geometric modelling 10463 (1984) Schendel, U.: Introduction to numerical methods for parallel computers 10464 () Loeckx; Sieber: The foundations of program verification 10465 (1986) Rosenfeld, A.: Techniques for 3-D machine perception 10466 (1985) Kowalik, J.S.: coupling symbolic and numerical computing in expert systems 10467 (1985) Vandoni, C.E.: Eurographics'85 10468 (1982) Ball, W.E.; et al.: Studies in computer science 10469 (1980) Seidenberg, A.: Studies in algebraic geometry 10470 () Toussaint: Computational geometry 10471 () Lovasz; Szemeredi: Theory of algorithms 10472 (1985) Demetrovics, J.; Knuth, E.; Rado, P.: Computer-aided specification techniques 10473 (1987) McCord, M.; Sowa, J.F.; Wilson, W.G.: Knowledge Systems and PROLOG 10474 (1987) Bulla, Fritz: Digitalgraphik 10475 (1986) Gregory, J.A.: The mathematics of surfaces 10476 (1985) Wilson, R.J.; Wingate, W.J.G.: Introduction to graph theory 10477 (1985) Evans, E. Graham; Griffith, Phillip: Syzygies 10478 (1985) Cameron, Neil: Introduction to linear and convex programming 10479 (1985) Gibbson, Alan: Algorithmic graph theory 10485 () Heitzinger; et al.: Nichtlineare Gleichungen 10485 () Heitzinger; et al.: Nichtlineare Gleichungen 10487 (1984) Korein, James U.: A Geometric investigation of reach 10488 (1985) Hillis, W. Daniel: The Connection Machine 10489 (1979) Jordan, Charles: Calculus of finite differences 10490 (1950) Skolem, Th.: Diophantische Gleichungen 10491 (1981) Gauss, Carl Friedrich: Untersuchungen ueber hoehere Arithmetik 10492 (1980) Seifert, H.; Threlfall, W.: Lehrbuch der Topologie 10493 (1964) Salmon, George: Modern higher algebra. 10494 (1962) Klein, F.: Famous problems of elementary geometry 10495 (1943) BAker, H.F.: An introduction to plane geometry 10496 (1985) Snyder, L.; Jamieson, L.H.; Gannon, D.B.; Siegel, H.J.: Algorithmically specialized parallel computers 10497 (1964) Chrystal, G.: Algebra. An elemetary text-book. part I. 10498 (1964) Chrystal, G.: Algebra. An elemetary text-book. part II. 10499 (1956) Salmon, George: Analytic geometry of three dimensions 10500 (1985) Akl, Selim G.: Parallel sorting algorithms 10506 () Henkin: cylindric algebras 10506 (1985) Henkin, Leon; Monk, J. Donald; Tarski, Alfred: Cylindric algebras, part II. 10509 (1986) Traub, Joseph F.: Annual tric investigation of reach review of computer science 10509 (1986) Traub: annual review of computer science, vol. 1 10534 (1987) Lipovski, G.J.; Malek, M.: Parallel computing 10535 (1984) Pomerance, Carl: Lecture notes on primality testing and factoring 10539 (1987) Conery, J.S.: Parallel execution of logic programs 10556 (1986) Nickel, K. (ed.): Interval Mathematics 1985 10557 (1985) Magnenat-Thalmann, N.; Thalmann, D.: Computer animation 10558 (1986) Makedon, F.; Papatheodorou, T.; Spirakis, P. (eds.): VLSI algorithms and architectures 10559 (1982) Pavlidis, T.: algorithms for graphics and image processing 10560 (1984) Schroeder, M.R.: Number theory in science and communications 10561 (1985) Weinstock, H.; Bork, A. (eds.): Designing computer-based learning materials 10562 (1987) DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.): PARLE, parallel architectures and languages Europe, vol. 1 10563 (1987) DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.): PARLE, parallel architectures and languages Europe, vol. 2 10564 (1986) Robinet, B.; Wilhelm, R. (eds.): ESOP 86 10565 (1986) Shirai, Y.: Three-dimensional computer vision 10566 (1987) Schnupp, P.; Nguyen Huu, C.T.: Expertensystem-Praktikum 10567 (1987) Soare, R.I.: Recursively enumerable sets and degrees 10568 (1986) Melton, Austin (ed.): Mathematical foundations of programming semantics 10569 (1986) Rembold, U.; Dillmann, R.: computer-aided design and manufacturing 10570 (1986) Naish, Lee: Negation and control in prolog 10571 (1986) Manes, E.G.; Arbib, M.A.: Algebraic approaches to program semantics 10572 (1986) Haendler, W.; Haupt, D.; Jeltsch, R.; et al. (eds.): CONPAR 86 Conference on algorithms and hardware for parallel processing 10573 (1986) Kott, L.: Automata, Languages and Programming 10574 (1987) Kroeger, F.: Temporal Logic of programs 10575 (1986) Kunii, T. L. (ed.): Advanced Computer Graphics 10576 (1986) Fried, M.D.; Jarden, M.: Field arithmetik 10577 (1987) Gibbs, N.E.; Fairley, R.E.; (eds.): Software Engineering education 10578 (1985) Ganzinger, H.; Jones, N.D.; (eds.): Programs as data objects 10579 (1986) Desarmenie, J.(ed.): TEX for scientific documentation 10580 (1985) Franke, H.W.: Computer graphics - computer art 10581 (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.): TAPSOFT 87, vol. 1 10582 (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.): TAPSOFT 87, vol. 2 10583 (1986) Duch, W.: GRMS or graphical representation of model spaces vol. 1, basics 10584 (1986) Blume, Ch.; Jakob, W.: Programming languages for industrial robots 10585 (1986) Bundy, A. (ed.): Catalogue of artificial intelligence tools 10586 (1986) Conradi, R.; Didriksen, T.M.; Wanvik, D.H.: Advanced programming environments 10587 (198) Calmet, J. (ed.): Algebraic algorithms and error-correcting-codes 10588 (1977) Berger, Marcel: Geometry I 10589 (1977) Berger, Marcel: Geometry II 10590 (1986) Avenhaus, R.; Huber, R.K.; Kettelle, J.D.; (eds.): Modelling and analysis in arms control 10591 (1979) Newman, W.M.; Sproull, R.F.: Principles of interactive computer graphics 10592 (1986) Nori, K. V.; (ed.): Foundations of Software technology and theoretical computer science 10597 (1984) Turner, Raymond: Logics for artificial intelligence 10602 (1986) Wilson, Stephen: Chemistry by computer 10603 (1986) Pin, J.E.: Varieties of Formal languages 10604 (1984) Pickett, M.S.; Boyse, J.W.; (eds.): Solid modeling by computers From Theory to Applications 10605 (1986) Cantoni, V.; Levialdi, S.; Musso, G. (eds.): Image analysis and processing 10606 (1986) Chang, Shi-kuo; Ichikawa, Tadao; Ligomenides, Panos A.; (eds.): Visual Languages 10607 (1986) Browne, Arthur; Norton-Wayne, Leonard: Vision and information processing for automation 10609 (1986) Horn, B.K.P.: Robot Vision 10610 (1986) Marsan, M.A.; Balbo, G.; Conte, G.: Performance models of multiprocessor systems 10611 (1979) Winston, P.H.; Brown, R.H.: Artificial Intelligence, An MIT perspective, vol. 1 10612 (1979) Winston, P.H.; Brown, R.H.: Artificial Intelligence, An MIT perspective, vol. 2 10613 (1987) Toffoli, T.; Margolus, N.: Cellular automata machines 10614 (1986) Sugihara, Kokichi: Machine interpretation of line drawings 10615 (1986) Potter, J.L. (ed.): The massively parallel processor 10616 (1986) Raibert, Marc H.: Legged robots that balance 10617 (1986) McCarthy, J.M.: Kinematics of Robot Manipulators 10618 (1985) Mason, M.T.; Salisbury, J.K., Jr.: Robot hands and the mechanics of manipulation 10619 (1986) Leiserson, Charles E., (ed.): Advanced research in VLSI 10620 (1986) Harvey, Brian: Computer science LOGO style, vol. 2 projects, styles, and techniques 10621 (1986) hanafusa, Hideo; Inoue, Hirochika; (eds.): Robotics research, the second international symposium 10622 (1985) Fujiwara, Hideo: Logic testing and design for testability 10623 (1986) Faugeras, O.D.; Giralt, Georges: Robotics research, the third international symposium 10624 (1985) Baird, H.S.: Model-based image matching using location 10625 (1985) O'Donell, M.J.: Equational logic as a programming language 10626 (1985) Kowalik, J.S. (ed.): Parallel MIMD computation 10627 (1987) Salmon, Rod; Slater, Mel: Computer graphics, systems and concepts 10628 (1987) Turski, W. M.; Maibaum, T.S.E.: The specification of computer programs 10629 (1987) Belli, Fevzi: Einfuehrung in die logische Programmierung mit PROLOG 10630 (1986) Sterling, Leon; Shapiro, Ehud: The art of PROLOG 10633 (1981) Coxeter, H.S.M.: Unvergaengliche Geometrie 10634 (1987) Morgan, A.: Solving polynomial systems using continuation for engineering and scientific problems 10656 (1987) Farin, Gerald E.: Geometric Modeling: algorithms and new trends 10670 (1987) Mirkowska, G.; Salwicki, A.: Algorithmic logic 10673 () Budd, T.: A little Smalltalk 10697 (1986) Gardan, Yvon: Mathematics and CAD, vol. 1, numerical mthods for CAD 10698 (1987) Morecki, A.; Bianchi, G.; Kedzior, K.; (eds.): RoManSY 6 10699 (1985) Andre, F.; Herman, D.; Verjus, J.-P.: Synchronization of parallel programs 10700 (1986) Raynal, M.: Algorithms for mutual exclusion 108 (1985) Indermark, K.: Functional compiler description 10950 (1988) Gunzenhaeuser, R.; Boecker, H.-D.: Prototypen benutzergerechter Computersysteme 10952 (1987) Schefe, P.: Informatik, eine konstruktive Einfuehrung 10953 (1987) Barthel, G.; Hirzebruch, F.; Hoefer, T.: Geradenkonfigurationen und algebraische Flaechen 10954 (1987) Schoening, U.: Logik fuer Informatiker 10955 (1985) Boehm, W.; Gose, G.; Kahmann, J.: Methoden der numerischen Mathematik 10956 (1987) Dimca, A.: Topics on real and complex singularities 10962 (1988) Huckaba, J.A.: Commutative rings with zero divisors 10963 (1987) Weihrauch, K.: Computability 10964 (1987) Tinhofer, G.; Schmidt, G.: Graph-theoretic concepts in computer science 10965 (1988) Dauchet, M.; Nivat, M. (eds.): CAAP'88 10966 (1987) Murota, K.: Systems analysis by graphs and matroids 10967 (1988) Sedgewick, R.: Algorithms 10968 (1987) Hanus, M.G.: Problemloesen mit prolog 10969 (1985) Ranky, P.G.; Ho, C.Y.: Robot modelling 10970 (1986) Holland, G.: Problemloesen mit micro-Prolog 10971 (1987) Rogers, D.F.; Earnshaw, R.A.: techniques for computer graphics 10972 (1987) Lescanne, P. (ed.): Rewriting techniques and applications 10973 (1987) Zilli, M. Venturini (ed.): Mathematical models for the semantics of parallelism 10974 (1988) Barsky, B.A.: Computer graphics abd geometric modeling using beta-splines 10979 (1988) Sommerhalder, R.; van Westrhenen, S.C.: The theory of computability 10980 (1988) Maes, P.; Nardi, D. (eds.): Meta-level architectures and reflection 10981 (1982) Mendelson, E.: Algebraic and geometric combinatorics 10982 (1987) Gruber, P.M.; Lekkerkerker, C.G.: Geometry of numbers 10983 (1988) Hunt, V.D.: Robotics sourcebook 10985 (1987) Ottmann, T. (ed.): Automata, languages and programming 10986 (1988) Cori, R.; Wirsing, M. (eds.): STACS 88 10987 (1987) Kelemenova, A.; Kelemen, J. (eds.): Trends, techniques and problems in theoretical computer science 10988 (1987) Ehrig, H.; Nagl, M.; Rozenberg, G.; Rosenfeld, A. (eds.): Graph-grammars and their application to computer science 10989 (1987) Main, M.; Melton, A.; Mislove, M.; Schmidt, D. (eds.): Mathematical foundations of programming language semantics 10990 (1987) Boscarol, M.; Aiello, L. C.; Levi, G. (eds.): Foundations of logic and functional programming 10991 (1987) Freytag, J.Ch.: Translating relational queries into iterative programs 10992 (1976) Kernighan, B.W.; Plauger, P.J.: Software tools 10993 (1978) Kernighan, B.W.; Plauger, P.J.: the elements of programming style 10994 (1987) Albrecht, A.; Jung, H.; Mehlhorn, K. (eds.): Parallel algorithms and architectures 10995 (1987) Wada, E. (ed.): Logic programming '86 10996 (1987) Jantke, K.P. (ed.): Analogical and inductive inference 10997 (1987) Kahn, G. (ed.): Functional programming languages and computer architecture 10998 (1987) Budach, L.; Bukharajev, R.G.; Lupanov, O.B. (eds.): Fundamentals of computer theory 10999 (1987) Boerger, E. (ed.): computation theory and logic 11000 (1987) Snyders, D.; Thayse, A.: from logic design to logic programming 11001 (1987) Bouchon, B.; Yager, R.R. (eds.): Uncertainty in knowledge-based systems 11007 (1987) Rooney, J.; Steadman, P.; (eds.): principles of computer aided design 11008 (1987) Stone, H.W.: kinematic modeling, identification, and control of robotic manipulators 11009 (1988) Woodcock, J.(ed.); Loomes, M.: software engineering mathematics 11011 (1988) Gibbons, Alan: algorithmic graph theory 11012 (1985) Schoenfeld, A.H.: mathematical problem solving 11013 (1987) Barthels, R.H.; Beatty, J.C.; Barsky, B.A.: An introduction to splines for use in computer graphics and geometric modeling 11014 (1982) Papadimitriou, Ch. H.; Steiglitz, K.: combinatorial optimization 11015 (1983) Michalski, R.S.; Carbonell, J.G.; Mitchell, T.M.: machine learning 11016 (1988) Fox, G.; Johnson, M.; Lyzenga, G.; et al.: solving problems on concurrent processors, vol. 1 11023 (1987) Qiulin, D.; Davies, B.J.: surface engineering geometry for computer aided design and manufacture 11024 (1971) Gries, D.: compiler construction for digital computers 11031 (1969) Atiyah, M.F.; MacDonald, I.G.: introduction to commutative algebra 11032 (1988) Kernighan, B.W.; Ritchie, D.M.: the c programming language 11033 (1988) Rubinstein, R.: digital typography 11043 (1988) Yamaguchi, F.: curves and surfaces in computer aided geometric design 11044 (1988) Bahrami, A.: designing artificial intelligence based software 11045 (1986) Schauer, H.; Barta, G.: Konzepte der Programmiersprachen 11046 (1987) Pang, G.K.H.; MacFarlane,A.G.J.: an expert systems approach to computer-aided design of multivariable systems 11047 (1987) Cip system group: the munich project CIP 11066 (1988) Adobe systems inc.: postscript, Einfuehrung und Leitfaden 11067 (1987) Schrijver, A.: theory of linear and integer programming 11079 (1988) Rydeheard, D.E.; Burstall, R.M.: Computational category theory 11080 (1987) Dragalin, A.G.: Mathematical intuitionism, introduction to proof theory 11081 (1985) Saridis, G.N. (ed.): Advances in robotics, vol. 1, theory and applications 11082 (1986) Backhouse, R.C.: program construction and verification 11083 (1985) Hoare, C.A.R.; Shepherdson, J.C. (eds.): Mathematical logic and programming languages 11087 (1983) Chvatal, Vasek: linear programming 11093 (1988) Jantzen, M.llis: confluent string rewriting 11094 (1989) Keene, S.E.: object-oriented programming in common lisp 11095 (1989) Harmon, P..llis; King, D.: Expertensysteme in der Praxis 11096 (1984) Horowitz, Ellis; Sahni, Sartaj: data structures in pascal 11097 (1988) Rome, E.; Uthmann, T.; Diederich, J.: KI-workstations 11106 (1988) Reid, Miles: undergraduate algebraic geometry 11180 (1989) Gardarin, G.; Valduriez, P.: relational databases and knowledge bases 11233 (1988) Wolfram, St.: Mathematica, A system for doing mathematics by computer 11241 (1987) Calingaert, P.: program translation fundamentals 11242 (1988) Markov, A.A.; Nagorny, N.M.: the theory of algorithms 11243 (1984) Tourlakis, G.J.: computability 11244 (1986) Andrews, P.B.: an introduction to mathematical logic and type theory: to truth through proof 11249 (1986) Aggarwal, A. (ed.): compuational geometry 2nd annual symp. 11250 (1988) Kalmbach, G.: diskreter Mathematik 11251 (1988) Turksen, I.B. (ed.): computer integrated manufacturing 11252 (1987) Deubler, R.U.: Kreuz und Quer 11253 (1987) Huebner, W.; Lux-Muelders, G.; Muth, M.: Theseus 11254 (1988) Cordes, R.; et al.: Prolog 11255 (1988) Puppe, F.: Einf\"uhrung in Expertensysteme 11256 (1987) Ghione, F.; Peskine, C.; Sernesi, E. (eds.): Space curves 11257 (1988) Noltemeier, H.: computational geometry and its applications CG'88 11258 (1988) Boerger, E.; et al.; (eds.): CSL'87 1st workshop on computer science logic 11259 (1987) Bratko, I.; Lavrac, N.: progress in machine learning 11260 (1988) Thayse, A.: from standard logic to logic programming 11261 (1987) Amble, T.: logic programming and knowledge engineering 11262 (1989) Goldberg, D.E.: genetic algorithms in search, optimization, and machine learning 11263 (1986) Rogers, J.B.: a prolog primer 11264 (1988) Maier, D.; Warren, D.S.: computing with logic 11265 (1987) Ledgard, H.: software engineering concepts 11266 (1988) Wilson, L.B.; Clark, R.G.: comperative programming languages 11267 (1983) Bourne, S.R.: the unix system 11272 (1989) Hunt, V.D.: computer-integrated manufacturing-handbook 11273 (1988) Wang, P.: an introduction to berkeley unix 11276 (1987) Bloch, Sp. J. (ed): algebraic geometry 11277 (1985) Inada, N.; Soma, T. 9eds.): 2nd RIKEN int. symp. on symbolic and algebraic computation by computers 11278 (1988) Canny, J.: the complexity of robot motion planning 11287 (1986) Knoerrer, H.; Schmidt, C.-G.; Schwermer, J.; Slodowy, P.: Arithmetik und Geometrie Mathemaische Miniaturen 3 11288 (1988) Davis, L.: Genetic algorithms and simulated annealing 11301 (1987) Walther, H.; Naegler, G.: Graphen, Algorithmen, Programme 11312 (1989) Akritas, A.G.: elements of computer algebra with applications 11313 (1963) Jorden, Eleanor Harz: beginning Japanese I 11314 (1963) Jorden, Eleanor Harz: beginning Japanese II 11334 (1989) nn: the world of learning 1989 11344 (1989) Holland, J.H.; et al.: Induction, processes of inference, learning and discovery 11346 (1988) Kongshi, Xu: advances in chinese computer science 11373 (1987) Nn: Computational geometry, 1987 11429 (1988) nn: the brain simulator 11459 (1988) Anderson, J.A.; Rosenfeld, E.: Neurocomputing, foundations of research 11460 (1989) Brodmann, M.: Algebraische Geometrie 11496 (1988) Baase, S.: computer algorithms, introduction to design and analysis 11514 (1989) Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.: algebraische Spezifikation abstrakter Datentypen 11560 (1989) Tzafestas, S.; Eisinberg, A.; Carotenuto, L.: system modeling and simulation 11561 (1989) Zhongwan, Lu: mathematical logic for computer science 11573 (1992) Faltings, G.; Wuestholz, G.; et al.: rational points 11574 (1987) Kauffels, F.-J.: Alternativen der PC-Mainframe Kopplung 11603 (1989) Graham, R.L.; Knuth, D.E.; Patashnik, O.: concrete mathematics 11604 (1987) Puppe, F.: diagnostisches Problemloesen mit Expertensystemen 11605 (1988) Nossum, R.T. (ed.): advanced topics in Artificial intelligence 11606 (1987) Meertens, L.G.L.T. (ed.): program specification and transformation 11607 (1989) Morik, K. (ed.): knowledge representation and organization in machine learning 11608 (1985) Buchanan, B.G.; Shortliffe, E.H.: rule-based expert systems 11609 (1988) Chylla, P.; Hegering, H.-G.: Ethernet-Lans Planung, Realisierung und Netz-Management 11610 (1987) Marquardt, R.; et al.: Ethernet-Handbuch 11611 (1989) Cosnard, M.; Robert, Y.; Quinton, P.; Raynal, M (eds.): parallel and distributed algorithms 11612 (1989) Dershowitz, N. (ed.): rewriting techniques and applications 11613 (1984) Bobrow, D.G.: qualitative reasoning about physical systems 11614 (1988) Sanella, D.; Tarlecki, A. (eds.): recent trends in data type specification 11615 (1988) Grabowski, J.; Lescanne, P.; Wechler, W. (eds.): algebraic and logic programming 11616 (1988) Guenther, O.: efficient structures for geometric data management 11715 (1989) Della Dora, J.; Fitch, J.: computer algebra and parallelism 11739 (1987) da Cruz, Frank: Kermit, a file transfer protocol 11744 (1989) Davidson, J.: an introduction to tcp/ip 11746 (1989) Futschek, G.: Programmentwicklung und Verifikation 11754 (1987) Wegener, I.: the complexity of boolean functions 11755 (1989) Doberkat, E.; Fox, D.: Softwre prototyping mit SETL 11756 (1989) Drosten, K.: Termersetzungsysteme 11757 (1989) Besnard, P.: an introduction to default logic 11758 (1988) Mumford, David: the red book of varieties and schemes 11759 (1989) Fehr, E.: Semantik von Programmiersprachen 11760 (1989) Steiger, D.M.; Anderson, A.P.: algorithm synthesis, a comparative study 11761 (1988) Broy, M. (ed.): constructive methods in computing science 11762 (1989) van de Snepscheut, J.L.A.: mathematics of program construction 11763 (1987) Davenport, J. (ed.): EUROCAL'87 11764 (1985) Koh, S.S.(ed.): invariant theory 11765 (1989) Bourbaki, N.: elements of mathematicsconstruction commutative algebra, chapt. 1-7 11766 (1989) Bourbaki, N.: elements of mathematicsconstruction Algebra I, chapt. 1-3 11775 (1988) Troelstra , A.S.; Dalen, D. van: constructivism in mathematics, vol. I 11775 (1988) Troelstra , A.S.; Dalen, D. van: constructivism in mathematics, vol. II 11776 () Troelstra: construction in mathematics 11777 (1989) Fulton, W.: algebraic curves 11778 (1987) Takeuti, G.: proof theory 11779 (1985) Harrington, L.A.; et al.: Harvey Freidmans research on the foundations of mathematics 11780 (1985) Nn: Logic colloquium 85 11781 (1989) Chudnovsky, E.V.; Jenks, R.D.: computer algebra 11782 (1986) Drake, F.R.; Truss, J.K.: Logic colloquium 86 11783 (1989) Richards, T.: clausal form logic 11784 (1987) johnson, D.C.; lovis, F.: informatics and the teaching of mathematics 11797 (1987) Ginsberg, M.L.: readings in nonmonotonic reasoning 11798 (1988) Scheifler, R.W.; Gettys, J.; Newman, R.: x window system, C library and protocol specification 11799 (1989) Girard, J.-Y.; Taylor, P.; Lafont, Y.: proofs and types 11800 (1988) Lambek, J.; Scott, P.J.: introduction to higher order categorical logic 11801 (1989) Ramsay, A.: foraml methods in artifitial intelligence 11802 (1988) Mortimer, H.: the logic of induction 11803 (1989) Spivey, J.M.: understanding Z 11804 (1989) Blok, W.J.; don Pigozzi: algebraizable logics 11805 (1989) Paull, M.C.: algorithm design, a recursive transformation framework 11806 (1986) Michie, D.: on machine intelligence 11828 (1987) Godwin, J.W.: a theory ans system for nonmonotonic reasoning 11836 (1988) Coyne, R.: logic models of design 11837 (1988) Thistlewaite, P.B.; McRobbie, M.A.; Meyer, R.K.: automated theorem-proving in non-classical logics 11838 (1988) Herken, R.: the universal turing machine, a half-century survey 11848 (1990) Hamilton, A.g.: logic for mathematicians 11849 (1989) Young, M.: the technical writer's handbook 11850 (1988) Hayes, J.E.; Michie, D.; Richards, J.: machine intelligence 11 logic and acquisation of knowledge 11851 (1982) Segerberg, K.: classical propositional operators an exercise in the foundations of logic 11852 (1987) Fitting, M.: computability theory, semantics, and logic programming 11853 (1987) Smullyan, R.: forever undecided a puzzle guide to Goedel 11854 (1982) Smith, G.C.: the boole-de Morgan correspondence 11855 (1987) Barwise, J.; Etchemendy, J.: the liar an essay on truth and circularity 11856 (1988) Bell, J.L.: toposes and local set theories 11889 (1990) Fan, Ting-Jun: describing and recognizing 3-D objects using surface properties 11890 (1989) Tangora, M.C. (ed.): computers in geometry and topology 11891 (1988) Tangora, M.C. (ed.): computers in algebra 11906 (1989) Goebel, M.; Mehl, M.: Standards der graphischen Datenverarbeitung gks, gks-3d, phigs, cgi, cgm, x 11907 (1988) Hekmatpour, S.; Ince, D.: software prototyping, formal methods and vdm 11908 (1989) Dromey, G.: program derivation the development of programs from specifications 11909 (1987) Wirsing, M. (ed.): formal description of programming concepts III Ebberup, Denmark, Aug. 1986 11919 (1988) Welsh, D.: codes and cryptography 11920 (1987) White, N. (ed.): combinatorial geometries 11921 (1988) Meyer, B.: object-oriented software construction 11922 (1988) Hennessy, M.: algebraic theory of processes 11923 (1989) Hartmanis, J.: computational complexity theory 11924 (1973) chang, Chin-Liang; Lee, R. Char-Tung: symbolic logic and mechanical theorem proving 11925 (1988) Gibbins, P.: Logic with prolog 11926 (1990) Weiskamp, K.; Flaming, B.: the complete C++ primer 11927 (1988) Hockney, R.W.; Jesshope, C.R.: parallel computers 2 11936 (1987) Henson, M.C.: elements of functional languages 11940 (1989) Akl, Selim, G.: the design and analysis of parallel algorithms 11950 (1990) Quercia, Valerie; O'Reilly, Tim: X windows user's guide, vol. 3 11951 (1990) Glaser, G.M.; et al.: TCP/IP, Protokolle, Projektplanung, Realisierung 11952 (1990) Fitting, Melvin: first-order logic and automated theorem proving 11953 (1990) Eckmiller, R.; Hartmann, G.; Hauske, G.; (eds.): parallel processing in neural systems and computers 11962 (1988) Comer, D.: internetworking with TCP/IP 11963 (1989) de Bakker, J.W.: languages for parallel architectures 11964 (1990) Maeder, R.: programming in mathematica 11965 (1989) de Bakker, J.W.; et al.: linear time, branching time and partial order in logics and models for concurrency, 1988, Noordwijkerhout 11966 (1988) Arms, C. (ed.): campus networking strategies 11967 (1988) McNamara, J.E.: technical aspects of data communication 1198 () Groebner, Wolfgang: Algebraische Geometrie 11981 (1990) Abeln, O.: Die CA...-Techniken in der industriellen Praxis 11986 (1987) Haken, H.: advanced synergetics instability hierarchies of self-organizing systems and devices 11987 (1988) Haken, H.: information and self-organization 11988 (1988) Bergman, C.H.; Maddux, R.D.; Pigozzi, D.L. (eds): algebraic logic and universal algebra in computer science 11989 (1989) de Bakker, J.W.; et al.; (eds.): stepwise refinement of distributed systems 11990 (1989) Hoelldobler, St.: foundations of equational logic programming 11990 (1990) Stark, W.R.: lisp, lore, and logic an algebraic view of lisp 11992 (1990) Skiena, St.: implementing discrete mathematics combinatorics and graph theory with mathematica 11993 (1990) Banerji, R.B.; (ed.): formal techniques in artificial intelligence 11994 (1989) Silhol, R.: real algebraic surfaces 11995 (1987) Haken, H.; (ed.): computational systems -- natural and artificial 11996 (1989) Field, A.J.; Harrison, P.G.: functioanl programming 12039 (1990) Wilf, H.S.: generating functionology 12040 (1990) Treleaven, P.C.: parallel computers object-oriented, functional, logic 12041 (1990) Gorlen, K.E.; Orlow, S.M.; Plexico, P.S.: data abstraction and object-oriented programmin in c++ 12042 (1989) Taylor, St.: parallel logic programming techniques 12043 (1989) Kelly, P.: functional programming for loosely-coupled multiprocessors 12044 (1990) Bourbaki, N.: Algebra II, chapters 4-7 12045 (1990) Doolin, B.F.; Martin, C.F.: introduction to differential geometry for engineers 12046 (1986) Brieskorn, E.; Knoerrer, H.: plane algebraic curves 12047 (1990) Chudnovsky, D.V.; Jenks, R.D.: computers in mathematics 12048 (1983) Brieskorn, E.: lineare Algebra und analytische Geometrie, vol. I 12049 (1985) Brieskorn, E.: lineare Algebra und analytische Geometrie, vol. II 12065 (1990) Gelernter, D.; Nicolau, A.; Padua, D. (eds.): languages and compilers for parallel computing 12105 (1990) Traub, K.R.: implementation of non-strict functional programming languages 12105 (1990) Traub, K.R.: implementation of non-strict functional programming languages 1215 () curry: Foundations of mathematical logic 1215 (1963) Curry, Haskell B.: Foundations of Mathematical Logic 1224 () Coxeter: Introduction to geometry 12280 (1990) Abhyankar, S.S.: algebraic geometry for scientists and engineers 12281 (1989) Nn: 4th int. conf. on functional programming languages and computer architecture, FPCA'89 12282 (1990) Turner, D.A.: research topics in functional programming 12283 (1991) Szymanski, B.K.: parallel functional languages and compilers 12306 (1989) Gabbay, D.; Guenther, F.: handbook of philosophical logic vol. iv, topics in the philosophy of language 12319 (1990) Mitchell, D.A.P.; et al.: inside the transputer 12320 (1991) Harper, D.; Wooff, C.; Hodgkinson, D.: a guide to computer algebra systems 12321 (1990) Carriero, N.; Gelernter, D.: how to write parallel programs a first course 12367 (1991) Kostrikin, A.I.; Shafarevich, I.R. (eds.): algebra II noncommutative rings, identities 12368 (1991) Seroul, R.; Levy, S.: a beginner's book of tex 12369 (1989) Davis, K.; Hughes, J.; (eds.): functional programming Glasgow, 1989 12370 (1991) Seaborn, James B.: hypergeometric functions and their applications 12371 (1990) Partsch, H.A.: specification and transformation of programs 12372 (1990) Deimel, L.E. (ed.): software engineering education Pittsburgh, Pennsylvania, USA, 1990 12373 (1990) Choffrut, C.; Lengauer, T.; (eds.): STACS 90 Rouen, France, 1990 12374 (1981) Davenport, J.H.: on the integration of algebraic functions 12375 (1991) Watson, M.: common lisp modules artificial intelligence in the era of neural networks 12376 (1990) Haken, H.: synergetic computers and cognition 12377 (1991) Domany, E.; van Hemmen, J.L.; Schulten, K. (eds.): models of neural networks 12378 (190) Taylor, J.G.; Mannion, C.L.T. (eds.): theory and applications of neural networks 12379 (1990) Loogen, Rita: parallel Implementierung funktionaler Programmiersprachen 12380 (1991) Jordanides, T.; Torby, B.: expert systems and robotics 12381 (1990) Arikawa, S.; et al. (eds.): algorithmic learning theory 12382 (1991) Char, B.; et al.: Maple V 12409 (1987) Galton, Antony: temporal logics and their applications 12418 (1985) Schreiner, A.T.; Friedman, G.: Compiler bauen mit Unix Eine Einfuehrung 12420 (1989) Kochan, D.; Kuntsche, P.: CAD/CAM Technik 12421 (1990) Koehle, Monika: Neurale Netze 1248 (1965) Robinson, Abraham: Introduction to Model Theory and to the Metamathematics of Algebra 12539 (1991) Tanik, M.M.; chan, E.S.: fundamentals of computing for software engineers 12541 (1987) Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity 12541 (1987) Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity 12541 (1987) Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity 12644 (1985) Preparata, F.P.; Shamos, M.I.: computational geometry an introduction 12709 (1991) Pethoe, A.; et al. (eds.): computational number theory 12709 (1991) Pethoe, A.; et al. (eds.): computational number theory 12710 (1990) Reischuk, K.R.: Einfuehrung in die Komplexitaetstheorie 12710 (1990) Reischuk, K.R.: Einfuehrung in die Komplexitaetstheorie 12723 (1992) MacLane, S.; Moerdijk, I.: sheaves in geometry and logic a first introduction to topos theory 12723 (1992) MacLane, S.; Moerdijk, I.: sheaves in geometry and logic a first introduction to topos theory 12724 (1989) Schmidt-Schauss, M.: computational aspects of an order sorted logic with term declarations 12724 (1989) Schmidt-Schauss, M.: computational aspects of an order sorted logic with term declarations 12725 (1992) Walker, R.J.: algebraic curves 12725 (1992) Walker, R.J.: algebraic curves 12726 (1990) Zippel, R.E. (ed.): computer algebra and parallelism workshop, Ithaca, USA, May 1990 12726 (1990) Zippel, R.E. (ed.): computer algebra and parallelism workshop, Ithaca, USA, May 1990 12727 (1991) Breu, R.: algebraic specification techniques in object oriented programming environments 12727 (1991) Breu, R.: algebraic specification techniques in object oriented programming environments 12728 (1992) Finkel, A.; Jantzen, M. (eds.): STACS'92 9th symp. on theoretical aspects of computer science 12728 (1992) Finkel, A.; Jantzen, M. (eds.): STACS'92 9th symp. on theoretical aspects of computer science 12729 (1992) Raoult, J.-C.: CAAP'92 17th coll. on trees in algebra and programming 12729 (1992) Raoult, J.-C.: CAAP'92 17th coll. on trees in algebra and programming 12730 (1991) Jacquet, J.-M.: conclog: a methodological approach to concurrent logic programming 12730 (1991) Jacquet, J.-M.: conclog: a methodological approach to concurrent logic programming 12731 (1991) Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 1: conference contributions 12731 (1991) Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 1: conference contributions 12732 (1991) Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 2: tutorials 12732 (1991) Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 2: tutorials 12733 (1991) Mattson, H.F.; et al. (eds.): AAECC-9: applied algebra, algebraic algorithms and error-correcting codes 12733 (1991) Mattson, H.F.; et al. (eds.): AAECC-9: applied algebra, algebraic algorithms and error-correcting codes 12734 (1991) Pitt, D.H.; et al. (eds.): category theory and computer science Paris, France, Sept. 1991 12734 (1991) Pitt, D.H.; et al. (eds.): category theory and computer science Paris, France, Sept. 1991 12735 (1990) Sakata, S. (ed.): AAECC-8: applied algebra, algebraic algorithms and error-correcting codes 12735 (1990) Sakata, S. (ed.): AAECC-8: applied algebra, algebraic algorithms and error-correcting codes 12736 (1991) Choffrut, C.; Jantzen, M. (eds.): STACS'91 8th symp. on theoretical aspects of computer science 12736 (1991) Choffrut, C.; Jantzen, M. (eds.): STACS'91 8th symp. on theoretical aspects of computer science 12737 (1988) Mora, T. (ed.): AAECC-6: applied algebra, algebraic algorithms and error-correcting codes 12737 (1988) Mora, T. (ed.): AAECC-6: applied algebra, algebraic algorithms and error-correcting codes 12738 (1990) Gottlob, G.; Nejdl, W. (eds.): expert systems in engineering principles and applications 12738 (1990) Gottlob, G.; Nejdl, W. (eds.): expert systems in engineering principles and applications 12739 (1989) Monien, B.; Cori, R. (eds.): STACS'92 6th annual symp. on theoretical aspects of computer science 12739 (1989) Monien, B.; Cori, R. (eds.): STACS'92 6th annual symp. on theoretical aspects of computer science 12740 (1987) Huguet, L.; Poli, A. (eds.): AAECC-5: applied algebra, algebraic algorithms and error-correcting codes 12740 (1987) Huguet, L.; Poli, A. (eds.): AAECC-5: applied algebra, algebraic algorithms and error-correcting codes 12741 (1991) Fejer, P.A.; Simovici, D.A.: mathematical foundations of computer science vol. 1: sets, relations, and induction 12741 (1991) Fejer, P.A.; Simovici, D.A.: mathematical foundations of computer science vol. 1: sets, relations, and induction 12742 (1991) Tarlecki, A. (ed.): mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 12742 (1991) Tarlecki, A. (ed.): mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 12752 (1989) Gelenbe, E.: multiprocessor performance 12752 (1989) Gelenbe, E.: multiprocessor performance 12753 (1989) Diller, A.: compiling functional languages 12753 (1989) Diller, A.: compiling functional languages 12754 (1990) Williams, S.A.: programming models for parallel systems 12754 (1990) Williams, S.A.: programming models for parallel systems 12755 (1989) Reeve, M.: parallel processsing and artificial intelligence 12755 (1989) Reeve, M.: parallel processsing and artificial intelligence 12756 (1991) Singer, M.: differential equations and computer algebra 12756 (1991) Singer, M.: differential equations and computer algebra 12780 (1992) Harris, Joe: algebraic geometry a first course 12780 (1992) Harris, Joe: algebraic geometry a first course 12853 (1991) Brackx, F.; Constales, D.: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics 12853 (1991) Brackx, F.; Constales, D.: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics 12859 (1987) Ebbinghaus, H.-D.; et al.: logic colloquium'87 1987, Granada, Spain 12859 (1987) Ebbinghaus, H.-D.; et al.: logic colloquium'87 1987, Granada, Spain 12860 (1988) Ferro, R.; et al.: logic colloquium'88 1988, Padova 12860 (1988) Ferro, R.; et al.: logic colloquium'88 1988, Padova 12869 (1991) Mora, T.; Traverso, C.: effective methods in algebraic geometry 12869 (1991) Mora, T.; Traverso, C.: effective methods in algebraic geometry 12961 (1989) Nemeth, E.; et al.: unix system administration book 13 (0) : 13 (0) : 13012 (1991) Friedmann, A.: mathematics in industrial problems part 4 13013 (1992) Wloka, D.W.: Robotersysteme, vol. 1 13014 (1992) Wloka, D.W.: Robotersysteme, vol. 2 13015 (1992) Wloka, D.W.: Robotersysteme, vol. 3 13016 (1989) Strasser, W.; Seidel, H.-P. (eds.): theory and practice of geometric modeling 13017 (1987) Pitt, D.H.; et al. (eds.): category theory and computer science Edinburgh, UK, Sept. 1987 13018 (1991) Lam, T.Y.: a first course in noncommutative rings 13019 (1993) Becker, T.; WEispfenning, V.: Groebner bases a computative approach to commutative algebra 13032 (1993) Geddes, K.O.; Czapor, S.R.; Labahn, G.: algorithms for computer algebra 13042 (1993) Streicher, T.: semantics of type theory correctness, completeness and independence results 13043 (1993) Loustau, J.; Dillon, M.: linear geometry with computer graphics 13044 (1992) Perry, E.: geoemtry axiomatic developments with problem solving 13049 (1991) Slomson, A.: an introductin to combinatorics 13058 (1991) Choi, B.K.: surface modeling for CAD/CAM 13086 (1993) Cap, F.: Wie loest man Randwertprobleme in Physik und Technik 13087 (1991) Hofbauer, D.; Kutsche, R.-D.: Grundlagen des maschinellen Beweisens 13088 (1987) Lutz, M.: Untersuchungen zur Genauigkeit geometrischer Methoden in CAD-Systemen 13098 (1993) Best, E. 9ed.): concur'93 Hildesheim, Aug. 1993 13099 (1988) Sommese, A.J. (eds.): algebraic geometry L'Aquila, 1988 13100 (1992) Krieg-Brueckner, B. (ed.): ESOP'92 REnnes, France, 1992 13103 (1992) Vosselman, G.: relational matching 13104 (1987) Soare, R.I.: recursively enumerable sets and degrees 13105 (1988) Gianni, P. (ed.): ISSAC'88 Rome, Italy, 1988 13107 (1990) Kanatani, K.: group-theoretic methods in image understanding 13108 (1991) Cederberg, J.N: a course in modern geometry 13109 (1991) Jones, C.B.; et al. : mural: a formal development support system 13110 (1991) Yang, Kichoon: complex algebraic geometry an introduction to curves and surfaces 13112 (1993) Kuga, M.: Galois' dream group theory and differential equations 13134 (1992) Odifreddi, P.: classical recursion theory 13135 (1989) BErge, C.: hypergraphs 13137 (1991) Cormen, T.H.; et al.: introduction to algorithms 13138 (1978) Hunt, K.H.: kinematic geoemtry of mechanisms 13139 (1990) Eberhart, R.C., et al.: neural network PC tools 13141 (1993) Zipple, R.: effective polynomial computation 13142 (1992) King, J.P.: the art of mathematics 13143 (1993) Sleep, M.R.; et al.: term graph rewriting theory and practice 13144 (1989) Juettner, G. et al.: Entscheidungstabellen und wissensbasierte Systeme 13145 (1992) Vinberg, E.B. (ed.): lie groups, their discrete subgroups, and invariant theory 13146 (1989) Lyche, T.; Schumaker, L.L.: mathematical methods in computer aided geometric design 13154 (1993) Koepf, W.; et al.: Mathematik mit DERIVE 13156 (1985) Willisamson, S.G.: combinatorics for computer science 13161 (1991) Macconaill, P.A., et al.: mechatronics and robotics vol. 1 13162 (1991) Froehlich, A.: algebraic number theory 13163 (1984) fomenko, A.T.: variational problems in topology 13164 (1992) Kronsjoe, L. et al.: advances in parallel algorithms 13165 (1990) Dayhoff, J.E.: neural network architectures 13167 (1993) Kehoe, B.P.: ZEN and the art of the internet 13168 (1993) Stender, J. (ed.): parallel genetic algorithms: theory and applications 13169 (1989) Martin, N.M.: systems of logic 13170 (1993) Malamud, C.: exploring the internet a technical travelogue 13172 (1993) Plasmeijer, R., et al.: fuctional programming and parallel graph rewriting 13187 (1993) Curien, P.: categorical combinators, sequential algorithms, and functional programming 13188 (1990) Adamek, J.; et al.: abstract and concrete categories 135/85 (1985) Otto, Friedrich: On Deciding Whether A Monoid is a Free Monoid Or is a Group 1455 (1968) Hayden, Seymour; Kennison, John F.: Zermelo-Fraenkel Set Theory 1493 (1969) Durst, Lincoln K.: The Grammar of Mathematics 15/87 (1987) Kaeufl, T.: Reasoning about systems of linear inequalities 15/87 (1987) Kauefl, T.: Reasoning about theories with a finite model 153/86 (1986) Boley, Harold: RELFUN: A Relational/Functional Integration with Valued Clauses 153/86 (1986) Boley, Harold: RELFUN: A Relational/Functional Integration with Valued Clauses 1653 (1967) Kamlah, Wilhelm; Lorenzen, Paul: Logische Propaedeutik oder Vorschule des vernuenftigen Redens 17 (1982) Kulisch, U.; Ullrich, Ch.: Wissenschaftliches Rechnen und Programmiersprachen 1717 (1970) Leech, John (Ed): Computational Problems in Abstract Algebra 18 (1978) Paul, W. J.: Komplexitaetstheorie 18/86 (1986) Knoedler, Brigitte; Rosenstiel, Wolfgang: KI - Maschinen 1857 (1967) Hilbert, D.; Ackermann, W.: Grundzuege der theoretischen Logik 19 (1979) Berstel, J.: Transductions and Context-Free Languages 1940 (1962) Hasenjaeger, Gisbert: Einfuehrung in die Grundbegriffe und Probleme der Modernen Logik 1975 () Cohn: Differnce algebra 198 (1984) Bramer, Max; Bramer, Dawn: The Fifth Generation An Annotated Bibliography 199 (1982) nn: ACM guide to computing literature 1a49 (1963) Addison, J.W.: The theory of models 1r57 () Rice, J.R.: Mathematical software 20 (1974) Schnorr, C. P.: Rekursive Funktionen und ihre Komplexitaet 202 (1986) Engeln-Muellges, Gisela; Reutter, Fritz: Formelsammlung zur Numerischen Mathematik mit Standard- FORTRAN 77-Programmen 203 (1985) Aurenhammer, Franz: recognizing Polytopical Cell Complexes and Constructing Projection Polyhedra 205 (1985) Aurenhammer, Franz: A Criterion for the Affine Equivalence of Cell Complexes in R-d and Convex Polyhedra in R-d+1 207 (1986) nn: World directory of mathematicians 1986 21 (1978) Richter, M. M.: Logikkalkuele 211 (1985) Shilling, Werner: A Time- and Space-optimal Divide-and-Conquer Algorithm for the Rect angular Closure Problem 213 (1985) Boerger, E.: Logic as Machine: Complexity Relations Between Programs and formula e 213 (1985) Boerger, E.: Logic as Machine: Complexity Relations between Programs and Formula e 2138 (1967) Blackett, Donald W.: Elementary Topology A Combinatorial and Algebraic Approach 216 (1985) Aurenhammer, Franz: Efficient Computation of Low-Order Voronoi Diagrams via Convex Hull s 217 (1986) Szwillus, Gerder; Hemmer, Wilfried: Die automatische Erzeugung effizienter Scanner 218 (1986) Loewen, Ulrich: Logical Decision Problems and Compexity of Logic Programs 2185 (1969) Rescher, Nicholas: Many-valued Logic 219 (1986) Ohsendoth, Christoph; Schulz, Paul: SMAUG - Benutzerhandbuch 2194 (1968) Ginzburg, Abraham: Algebraic Theory of Automata 22 (1984) Loeckx, Jacques; Sieber, Kurt: The Foundations of Program Verification 220 (1986) Ganzinger, Harald; Giegerich, Robert; Vach, Martin: MARVIN. A Tool for Applicative and Modular Compiler Specifications 2211 (1965) Dertouzos, Michael L.: Threshold Logic: A Synthesis Approach 222 (1966) Korfhage, Robert R.: Logic and Algorithms With Applications to the Computer Information Sciences 2287 () Ferrar: Hoehere Algebra 23 (1984) Kemp, Rainer: Fundamentals of the Average Case Analysis of Particular Algorithms 2397 (1969) Unger, Stephen H.: Asynchronous Sequential Switching Circuits 2397 (1969) Unger, Stephen H.: Asynchronous Sequential Switching Circuits 24 (1982) van Lint, J. H.: Introduction to Coding Theory 2426 (1969) Watanable: Methods of pattern recognition 2470 (1964) Traub, J.F.: Iterative Methods for the Solution of Equations 2470 (1964) Traub, J.F.: Iterative Methods for the Solution of Equations 248 (1988) Aurenhammer, F.: Using gales transformation in computational geometry 25 (1983) Beardon, Alan F.: The Geometry of Discrete Groups 257-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 1: classical logic 258-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 2: non-classical logic 259-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 3: model theory 26 (1984) Berg, Christian; Christensen, Jens Peter Reus; Ressel, Paul: Harmonic Analysis on Semigroups Theory of Positive Definite and Related Functions 260-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 4: recursion theory 261-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 5: set theory 262-0 (1987) Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 6: proof theory, constructive mathematics 27 (1984) Edwards, Harold M.: Galois Theory 2709 () Coxeter: Unvergaengliche Geometrie 28 (1982) Bott, Raoul; Tu, Loring W.: Differential Forms in Algebraic Topology 2807 (1971) Felgner, Ulrich: Models of ZF-Set Theory 2870 (1971) Heyting, A.: Intuitionism An Introduction 29 (1981) Forster, Otto: Lectures on Riemann Surfaces 30 (1983) Warner, Frank W.: Foundations of Differentiable Manifolds and Lie Groups 304 (1977) berman, p. ; lingas, a. : on complexity of regular languages in terms of finite automata 3060 (1970) Delong, Howard: A Profile of Mathematical Logic 31 (1983) Brondsted, Arne: An Introduction to Convex Polytopes 32 (1971) Grove, L. C.; Benson, C. T.: Finite Reflection Groups 3297 () Hilbert: Grundlagen der Geometrie 3297 (1968) Hilbert, David: Grundlagen der Geometrie 3297 (1972) Hilbert, D.: Grundlagen der Geometrie 33 (1975) Weiss, Peter ; Rauchenschwandtner, B. : Ueber die Existenz von Markoff'schen und Gibbs'schen Punktprozessen mit Phasenraum R^{nu} 33 (1977) Hartshorne, Robin: Algebraic Geometry 3304 (1966) Freudenthal, Hans: The Language of LOGIC 34 (1972) Ireland, Kenneth; Rosen, Michael: A Classical Introduction to Modern Number Theory 3406 (1973) Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel: Foundations of Set Theory Second Edition 3457 (1972) Schafarewitsch, I.R.: Grundzuege der algebraischen Geometrie 3462 (1973) Bonne, W.W. (Ed); Cannonito, F.B. (Ed); Lyndon, R.C. (Ed): Word Problems Decision Problems and the Burnside Problem in Group Theory 3463 (1967) Schoenfield, Joseph R.: Mathematical Logic 3463 (1967) Schoenfield, Joseph R.: Mathematical Logic 35 (1975) Weiss, Peter ; Rauchenschwandtner, B. : Einige Eigenschaften von Gibbs'schen Punktprozessen mit Phasenraum R^{nu} 35 (1974) Varadarajan, V. S.: Lie Groups, Lie Algebras, and Their Representation 3507 (1971) Mal`cev, A.I.: The Metamathematics of Algebraic Systems 36 (1981) Kelly, Paul; Matthews, Gordon: The Non-Euclidean, Hyperbolic Plane Its Structure and Consistency 37 (1983) Marchuk, G. I.; Shaidurov, V. V.: Difference Methods and Their Extrapolations 3743 (1973) Quine, Willard Van Orman: Mengenlehre und ihre Logik 3750 (1973) Jech, Thomas J.: The Axiom of Chioce 38 () Neuwirth, E.: Informatik in der Mathematik oder Mathematik in der Informatik 38 (1982) Marchuk, G. I.: Methods of Numerical Mathematics Second Edition 380 (1967) Slupecki, J.; Borkowski, L.: Elements of Mathematical Logic and Set Theory 380 (1967) Slupecki, J.; Borkowski, L.: Elements of Mathematical Logic and Set Theory 39 (1985) Scharlau, W.; Opolka, Hans: From Fermat to Minkowski 3a10 () Aiserman, M.A.: Logik - Automaten - Algorithmen 3b101 () Bobrow, D.G.: Symbol manipulation languages and techniques 3b190 () Bird, R.: Programs and machines 3c112 () Charnial, E.: Computational semantics 4/85 (1985) Ebert, J. (ed.): Alternative Konzepte fuer Sprachen und Rechner 4/86 (1986) Kemper, Alfons: Abstract Datatypes in CIM Databases 40 (1982) Macki, Jack; Strauss, Aaron: Introduction to Optimal Control Theory 403 (1968) Hermes, Hans; Mittenecker, Erich: Methoden der Logik und Mathematik Statistische Methoden 4031 (1973) Byrne, George D. (Ed); Hall, Charles A. (Ed): Numerical Solution of Systems of Nonlinear Equations. ...NSF-CBMS regional conference ... Pittsburgh, July 10-14, 1972. 4050 (1973) Chang, C.C.; Keisler, H.J.: Model Theory 4057 (1970) Hilbert, D.; Bernays, P.: Grundlagen der Mathematik II 4059 (1973) Luckhardt, Horst: Extensional Goedel Functional Interpretation A Consistency Proof of Classical Analysis 4060 (1970) Hodges; et al. (eds.): Conference on mathematical logic 4061 (1971) Mathias; et al. (eds.): Cambridge summer school in mathematical logic 409 (1966) Varga, Tamas: Mathematische Logik fuer Anfaenger 409 (1966) Varga, Tamas: Mathematische Logik fuer Anfaenger 4097 (1965) Lakatos (ed.): Inductive logic 4099 (1971) Keisler, H. Jerome: Model Theory For Infinitary Logic Logic with Countable Conjunctions and Finite Quantifiers 41 (1984) Ebbinghaus, H. D.; Flum, J.; Thomas, W.: Mathematical Logic 4101 (1968) Kino; et al (eds.): Intuism and proof theory 4102 (1969) Gandy; Yates (eds.): Logic colloquium 4103 (1970) Fenstad (ed.): 2nd scandinavian logic symposium 4104 (1962) Luschei, Eugene C.: The Logical Systems of Lesniewski 4106 (1965) Lakatos (ed.): Philosophy of mathematics 4107 (1971) Suppes; et al. (eds.): Logic, methodology and philosophy of science 4109 (1969) Crossley, John N.: Constructive Order Types 4110 (1969) Szabo, M.E. (Ed): The Collected Papers of Gerhard Gentzen 4111 (1971) Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.: Mathematical Interpretation of Formal Systems 4111 (1971) Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.: Mathematical Interpretation of Formal Systems 4112 (1967) Sullivan, Mark W.: Apuleian Logic The Nature, Sources and Influence of Apuleius`s 4112 (1967) Sullivan, Mark W.: Apuleian Logic The Nature, Sources and Influence of Apuleius`s 4114 (1967) VanRottselar; Staal: Logic, methodology and philosophy of science 4115 (1966) Hintikka, Jaakko (Ed); Suppes, Patrick (Ed): Aspects of Inductive Logic 4116 (1971) Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.: Undecidable Theories 4116 (1971) Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.: Undecidable Theories 4117 (1970) Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni: Ordinal Algebras 4117 (1970) Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni: Ordinal Algebras 4119 (1971) Henkin. Leon; Monk, J. Donald; Tarski, Alfred: Cylindrical Algebras Part I 4120 (1966) Basri, Saul A.: A Deductive Theory of Space and Time 4121 (1968) Ackerman, W.: Solvable Cases of the Decision Problem 4122 (1974) Moschovakis, Yiannis N.: Elementary Induction on Absgtract Structures 4123 (1970) Curry, Haskell B.: Formalist Philosophy of Mathematics 4124 (1974) Craig, William: Logic in Algebraic Form Three Languages and Theories 4125 (1968) Bar-Hillel: Mathematical logic 4126 (1970) Bar-Hillel, Yehoshua (Ed): Mathemaical Logic and Foundations of Set Theory 4127 (1964) Bar-Hillel: Logic, methodology and philosophy of science 4128 (1974) Rasiowa, Helena: An Algebraic Approach to Non-Classical Logics 4129 (1965) Andrews, P.B.: A Transfinite Type Theory with Type Variables 4130 (1961) Goodstein, R.L.: Recursive Analysis 4131 (1964) Goodstein, R.L.: Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free ... 4132 () Penstad; Hinman (eds.): Generalized recursion theory 4158 (1973) Coffman, Edward G.; Denning, Peter J.: Operating Systems Theory 4164 (1974) Rudeanu, Sergiu: Boolean Functions and Equations 4165 (1969) Leisenring, A.C.: Mathematical Logic and Hilbert`s E-Symbol 4167 (1969) Robbin, Joel W.: Mathematical Logic A First Course 4182 (1966) Sacks, Gerald E.: Degrees of Unsolvability Second Edition 4182 (1966) Sacks, Gerald E.: Degrees of Unsolvability Second Edition 42 (1985) Protter, M. H.; Morrey, Charles B. Jr.: Intermediate Calculus 4206 (1974) Leclercq, Rene: The Logic of the Plausible and Some of its Applications 4234 (1966) Neumann, John von: Theory of Self-Reproducing Automata 4251 (1970) Acton, Forman S.: Numerical Methods That Work 4290 (1973) Lausch, Hans; Noebauer, Wilfried: Algebra of Polynomials 43 (1984) Curtis, Morton L.: Matrix Groups Second Edition 4306 (1974) Korfhage, Robert R.: Discrete Computational Structures 4307 (1972) Enderton, Herbert E.: A Mathematical Introduction to Logic 4308 (1970) Eilenberg, Samuel; Elgot, Calvin C.: Recursiveness 4310 (1973) Chang, Chin-Liang; Lee, Richard Char-Tung: Symbolic Logic and Mechanical Theorem Proving 4321 (1971) Yasuhara, Ann: Recursive Function Theory and Logic 4321 (1971) Yasuhara, Ann: Recursive Function Theory and Logic 4322 (1973) Traub, Joe Fred: Complexity of sequential and parallel numerical algorithms. Proceedings ... Carnegie-Mellon, Pittsburgh, May 16-18, 1986. 4344 (1968) Genuys, F. (Ed): Programming Languages NATO Advanced Study Institute 4346 (1956) Shannon, C.E. (Ed); McCarthy, J. (Ed): Studien zur Theorie der Automaten 4346 (1956) Shannon, C.E. (Ed); McCarthy, J. (Ed): Studien zur Theorie der Automaten 4348 (1967) Margaris, Angelo: First Order Mathematical Logic 44 (1982) Simmonds, James G.: A Brief on Tensor Analysis 4413 (1969) Harrison; et al. (eds.): ACM symposium on theory of computing 4414 (1970) Karp; et al. (eds.): 2th annual symposium on theory of computing 4415 (1971) Lewis; et al. (eds.): 3th annual symposium on theory of computing 4416 (1972) Rosenberg (ed.): 4th annual symposium on theory of computing 4417 (1973) Borodin; et al. (eds.): 5th annual symposium on theory of computing 4418 (1974) NN: 6th annual symposium on theory of computing 4422 (1974) nn: symp. on very high level languages 4423 (1972) Silberg, Bruce (Ed): Decision Table Bibliography 4423 (1972) Silberg, Bruce (Ed): Decision Table Bibliography 4425 (1971) Tou; Wegner (eds.): Data structures in programming languages 4492 (1971) Nilsson, Nils J.: Problem-solving methods in artificial intelligence. 45 (1982) Schalkwijk, J.P.M.: On a quantitative definition of information and its impact on the field of communications 45 (1984) Yosida, K.: Operational Calculus A Theory of Hyperfunctions 4515 (1972) Holt, Richard C.: On deadlock in computer systems. 4516 (1962) Bartee, Thomas C.; Lebow, Irwin I.; Reed, Irving S.: Theory and Design of Digital Machines. 4518 (1971) Fraisse, Roland: Cours de Logique Mathematique Relation et formule logique 4519 (1972) Fraisse, Roland: Cours de Logique Mathematique Theorie des modeles 4520 (1974) Grzegorczyk, Andrzej: An Outline of Mathematical Logic 4584 (1970) Birkhoff; Hall: Computer in algebra and number theory 46 (1982) Naimark, M. A.; Stern, A. I.: Theory of Group Representations 4675 (1973) Salomaa, Arto: Formal Languages 4675 (1973) Salomaa, Arto: Formal Languages 4676 (1975) Budach, Lothar; Hoehnke, Hans J.: Automaten und Fonktoren 47 (1982) Reisel, Robert B.: Elementary Theory of Metric Spaces 4742 (1975) Ginsburg, Seymour: Algebraic and Automata-Theoretic Properties of Formal Languages 4784 (1972) Clearwater (ed.): Optical computing symposium 4785 (1972) nn: 5th annual workshop on microprogramming 4786 (1971) Sarlo (ed.): Symp. on programming and machine organization 4787 (1972) Winkler (ed.): Computer communication 4788 (1973) nn: Computer and software reliability 4789 (1973) nn: Computer conference on parallel processing 4790 (1973) nn: Data network 4791 (1972) Avizienis (ed.): Compon 72 4792 (1971) Borodin; et al. (eds.): 12th annual symposium on switching and automata theory 4793 (1973) nn: Switching and automata theory 4794 (1973) nn: International symposium on multiple valued logic 4795 (1973) nn: COMPON 73 4796 (1973) Lipovski; Szygenda (eds.): Symposium on computer architecture 4797 (1973) nn: Symposium on high-level languages 48 (1967) Arkowitz, M.; Curjel, C. R.: Groups of Homotopy Classes 484 (1968) Bernays, Paul; Fraenkel, Abraham: Axiomatic Set Theory 4875 () Boddenberg: Logik I 4875 (1975) Boddenberg, Erich: Logik I 49 (1965) Hermes, Hans: Eine Termlogik mit Auswahloperator 4904 (1967) Marcus, Solomon: Algebraic Linguistics; Analytic Models 4927 (1973) Rose; Shepherdson (eds.): Logic colloquium 4929 (1975) Manaster, Alfred B.: Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic 4b55II (1975) Boehme, G.: Anwendungsorientierte Mathematik, Band II 4l30 () Lausch, H.: Algebra of polynomials 4r57 () Richter, M.M.: Logikkalkuele 4w28 () Wedekind, H.: Systemanalyse 5/86 (1986) Kemper, Alfons; Wessel, Mechtild: An Analysis of Geometric Modelling in Database Management Systems 50 (1982) Lang, Serge: Introduction to Algebraic and Abelian Functions Second Edition 5025 (1974) Feng (ed.): Parallel Processing 5028 (1975) Nickel (ed.): Intervall Mathematics 5050 (1974) Hallerberg, Arthur E.: Logic in Mathematics: An Elementary Approach 5068 (1972) Dold (ed.): Logic colloquium 51 (1984) Deil, Thomas: Darstellungen und Berechenbarkeit reeller Zahlen 51 (1984) Diestel, Joseph: Sequences and Series in Banach Spaces 5105 (1973) Schank, Roger C.: Computer Models of Thought and Language 5105 (1973) Schank, Roger C.: Computer Models of Thought and Language 5132 (1974) Manna, Zohar: Mathematical Theory of Computation 5133 (1974) Wang, Hao: From Mathematics to Philosophy 5133 (1974) Wang, Hao: From Mathematics to Philosophy 5135 (1975) Takeuti, Gaisu: Proof Theory 5135 (1975) Takeuti, Gaisu: Proof Theory 5190 (1965) Haendler; Peschl; Unger (eds.): Kolloquium ueber Automatentheorie 5192 (1960) Peschl; Unger (eds.): Kolloquium ueber Schaltkreise und Schaltwerktheorie 52 (1966) Oort, F.: Commutative group schemes 5207 (1975) Smith, Karl J.: Finite Mathematics A Discrete Approach 5207 (1975) Smith, Karl J.: Finite Mathematics A Discrete Approach 5217 (1975) Hunt, Earl B.: Artificial Intelligence 5218 (1975) Newborn, Monroe: Computer Chess 5246 (1975) Nijenhuis, Albert; Wilf, Herbert S.: Combinatorial Algorithms 5285 (1975) Dickmann, M.A.: Large Infinitary Languages Model Theory 53 (1966) Froehlicher, A.; Bucher, W.: Calculus in Vector Spaces without Norm 5344 (1975) Linstone, Harold A. (Ed); Turoff, Murray (Ed): The Delphi Method Techniques and Applications 53914 (1986) Rossignac, J.R.; Voelcker, H.B.: Active zones in constructive solid geometry for redundancy and interference detection 54 (1983) Troutman, John L.: Variational Calculus with Elementary Convexity 5480 () Shafarevich, I.R.: basic algebraic geometry 5490 (1973) Kanger (ed.): 3rd Scandinavian logic symposium 55 (1984) Jaenich, Klaus: Topology 5502 (1976) Traub, J.F. (Ed): Analytic Computational Complexity 5502 (1976) Traub, J.F. (Ed): Analytic Computational Complexity 5581 (1976) Raphael, Bertram: The Thinking Computer Mind Inside Matter 5585 (1976) Foster, Caxton C.: Content Addressable Parallel Processors 56 (1975) Martin, George E.: The Foundations of Geometry and the Non-Euclidean Plane 56 (87) Liskov, B.; Weihl, W.: Programming meth. group progress report 5644 (1976) Kuratowski, K.; Mostowski, A.: Set Theory. With an Introduction to Descriptive Set Theory. 2. Aufl. 5651 (1971) Takeuti, G.; Zaring, W.M.: Introduction to Axiomatic Set Theory 5651 (1971) Takeuti, G.; Zaring, W.M.: Introduction to Axiomatic Set Theory 57 (1982) Pierce, Richard S.: Associate Algebras 57 (87) Liskov, B.; Curtis, D.; Johnson, P.; Scheifler, R.: Implementation of ARGUS 570 (1985) Wierzchon, S.: Clustering Algorithms Based on Fuzzy Measure 571 (1985) Szafranska, I.: Hierarchia klas schematow programow z ograniczona pamiecia 572 () church: Introduction to modal logic 572 (1956) Church, ALonzo: Introduction to Mathematical Logic 572 (1986) Subieta, Kazimierz; Missala, Marek: Semantics of Query Languages for the Entity-Relationship Model 574 (1986) Ambroszkiewics, Stanislaw: Common Knowledge, Subjective Knowledge and Bayesian Players in Nonc ooperative Games 575 (1986) Wieczorek, Andrzej: O zastosowaniu twierdzen o punkcie stalym w teorii gier i matematyz nej ekonomii 5759 (1974) Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.: The Design and Analysis of Computer Algorithms 576 (1986) Idzik, Adam: On Gamma-almost Fixed Point Theorems 5760 () Aho; et al.: Design and analysis of computer algorithms 577 (1986) Warmus, M.; Bogdanik, T.; Geraga, W.; Zambrzycki, J.: modelowanie matematyczne w przewletej zastoinowej niewydolnosci kra zenia 5777 (1975) Stewart, Ian: Concepts of Modern Mathematics 5777 (1975) Stewart, Ian: Concepts of Modern Mathematics 578 (1986) Buszkowski, Wojciech; Orlowska, Ewa: Relational Calculus and Data Dependencies 579 (1986) Majerski, Stanislaw: High-speed Execution of the multiplication and Addition Sequences 58 (1985) Broecker, Theodor; Dieck, Tammo tom: Representations of Compact Lie Groups 580 (1986) Wieczorek, Andrzej: Spot Functions and Peripherals: Krein-Milman Type Theorems in Abstr act Setting 581 (1986) Gargov, George: Two Completeness Theorems in the Logic for Data Analysis 582 (1986) Orlowska, Ewa; Weingartner, Paul: Semantic Considerations on Relevance 5827 (1975) nn: 7th annual symposium on theory of computation 5828 (1971) Petrick (ed.): 2nd symposium on symbolic and algebraic manipulation 583 (1986) Rzeczkowski, Wiktor; Subieta, Kazimierz: Stored Queries, A Data Structure for Query Optimization 5830 () Barwise, J.: Admissible sets and structures. An approach to definability theory 58301 (1975) Barwise, Jon: Admissible Sets and Structures An Approach to Definability Theory 5877 (1975) Ledgard, Henry F.: Programming Proversbs 5888 (1976) Traub, J.F. (Ed): Algorithms and Complexity New Directions and Recent Results 5888 (1976) Traub, J.F. (Ed): Algorithms and Complexity New Directions and Recent Results 59 (1982) Brown, Kenneth S.: Cohomology of Groups 591 () Crossley: Sets, models and recursion theory 5920 (1970) Rabinowitz, Philip (Ed): Numerical Methods for Nonlinear Algebraic Equations 5922 (1976) Mueller, Gert H. (Ed): Sets and Classes on the work by Paul Bernays 595 (1986) Majerski, Stanislaw: A high-speed cellular-array multiplier with two-adder cells 596 (1986) Winkowski, Josef: Towards an algebraic model for communicating processes 5974 (1976) Fraenkel, Abraham A.: Abstract Set Theory Fourth Edition 5977 (1974) Curry, Haskell B.; Feys, Robert; Craig, William: Combinatory Logic Volume I 598 (1987) Penczek, Wojciech: Inevitability in diamond-discrete systems 599 (1987) Matuszewski. Andrzej: Frequentist interpretation of Bayes confidence regions and the binomial scheme 60 (1982) Halmos, Paul R.: A Hilbert Space Problem Book 600 (1987) Idzik, Adam: A selection theorem 6010 (1976) Stoer, Josef: Einfuehrung in die Numerische Mathematik I 6010 (1976) Stoer, Josef: Einfuehrung in die Numerische Mathematik I 602 (1987) Sosnowska, Honorata: Rights, similarity of induvidials and n-person symetrical games 6062 (1977) Schuette, Kurt: Proof Theorie 6062 (1977) Schuette, Kurt: Proof Theorie 6078 (1977) Beck, Robert E. (Ed); Kolman, Bernard (Ed): Computers in Nonassociative Rings and Algebras 61 (1982) Naylor, Arch W.; Sell, George R.: Linear Operator Theory in Engineering and Science 6138 (1977) Spies, P.P. (Ed): Modelle fuer Rechensysteme 6138 (1977) Spies, P.P. (Ed): Modelle fuer Rechensysteme 62 (1983) Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations 6241 (1977) Stanat, Donald F.; McAllister, David F.: Discrete Mathematics in Computer Science 6241 (1977) Stanat, Donald F.; McAllister, David F.: Discrete Mathematics in Computer Science 6242 (1977) Yeh, Raymond T. (Ed): Current Trends in Programming Methodology Volume I: Software Specification and Design 6242 (1977) Yeh, Raymond T. (Ed): Current Trends in Programming Methodology Volume I: Software Specification and Design 6260 (1976) Gandy (ed.): Logic colloquium 6279 (1974) Knuth, Donald E.: Surreal Numbers 6297 (1974) Mazurkiewicz, Antoni; Pawlak, Zdzislaw: Mathematical Foundations of Computer Science 63 (1983) Fischer, Emanuel: Intermediate Real Analysis 6382 () Barwise, J.: Handbook of mathematical logic 63821 (1977) Barwise, Jon (Ed): Handbook of Mathematical Logic 6388 () Renschuch, B.: Idealtheorie 6388 (1976) Renschuch, B.: Idealtheorie 6391 (1967) Heijenoort, Jean van: From Frege to Goedel A Source Book in Mathematical Logic 64 (1984) Silvester, Peter P.: The Unix System Guidebook An Introductory Guide for Serious Users 64 (1984) Silvester, Peter P.: The Unix System Guidebook An Introductory Guide for Serious Users 6485 (1978) Meschkowski, Herbert: Richtigkeit und Wahrheit in der Mathematik 6490 (1978) Lightstone, A.H.: Mathematical Logic An Introduction to Model Theory 6496 (1974) Daigneault, Aubert (Ed): Studies in Algebraic Logic Volume 9 6497 (1976) Coffman, E.G. (Ed): Computer and Job-Shop Scheduling Theory 65 (1982) Kfoury, A. J.; Moll, Robert N.; Arbib, Michael A.: A Programming Approach to Computability 6524 (1978) Szabo, M.E.: Algebra of Proofs 6524 (1978) Szabo, M.E.: Algebra of Proofs 653 (1966) Gleason, Andrew M.: Fundamentals of Abstract Analysis 6551 (1978) Hinman, Peter G.: Recursion-Theoretic Hierarchies 6564 (1978) Alspach, B. (Ed); Hell, P. (Ed); Miller, D.J. (Ed): Annals of Discrete Mathematics Algorithmic Aspects of Combinatorics 66 (1982) Washington, Lawrence C.: Introduction to Cyclotomic Fields 6667 (1977) Grandy, Richard E.: Advanced Logic for Applications 6668 (1975) Butis; Hintikka (eds.): Logic foundations of mathematics and computability theory 67 (1982) Kostrikin, A. I.: Introduction to Algebra 6729 (1977) Bell, J.L.: Boolean-Valued Models and Independence Proofs in Set Theory 6730 (1977) Bridge, Jane: Beginning Model Theory The Completeness Theorem and some Consequences 68 (1984) Lidl, Rudolf; Pilz, Guenther: Applied Abstract Algebra 6800 (1978) Loveland, Donald W.: Automated Theorem Proving: A Logical Basis 683 (1962) Halmos, Paul R.: Algebraic Logic 6895 (1978) Lamprecht, Guenther: Einfuehrung in die Programmiersprache FORTRAN IV. Anleitung zum Selbststudium. 3. Aufl. 3. Nachdr. 69 (1984) Smith, Larry: Linear Algebra Second Edition 70 (1982) Chow, Shui-Nee; Hale, Jack K.: Methods of Bifurcation Theory 705 (1987) Boissonnat, J.-D.; Preparata, F. P.: On the external boundary of a union of rays 707 () Hermes: Einfuehrung in die mathematische Logik 707 (1963) Hermes, Hans: Einfuehrung in die Mathematische Logik Klassische Pr"dikatenlogik 71 (1982) Aubin, Thierry: Nonlinear Analysis on Manifolds. Monge-Ampere Equations 7107 () Kopp: Theorie und Anwendungen der unendlichen Reihen 7111 (1978) Kohavi, Zvi: Switching and Finite Automata Theory. 2. ed. 7115 (1977) Macintyre; et al. (eds.): Logic colloquium 7153 (1970) Leblanc (ed.): Truth, syntax and modality 7154 (1970) Lukasiewicz, Jan: Selected Works 7155 (1974) Drake, Frank R.: Set Theory An Introduction to Large Cardinals 7156 (1977) Williams, Neil H.: Combinatorial Set Theory 7156 (1977) Williams, Neil H.: Combinatorial Set Theory 7157 (1968) Bochenski, I.M.: Ancient Formal Logic 7158 (1976) Leblanc, Hugues: Truth-Value Semantics 7159 (1977) Fenstad; et al. (eds.): Generalized recursion theory 7160 (1978) Shelah, S.: Classification Theory and the Number of Non-Isomorphic Models 7160 (1978) Shelah, S.: Classification Theory and the Number of Non-Isomorphic Models 7183 (1976) Dijkstra, Edsger W.: A Discipline of Programming 72 (1985) Jouannaud, Jean-Pierre: Functional Programming Languages and Computer Architecture 7212 (1978) Gries, David (Ed): A Collection of Articles by Members of IFIP WG2.3 7213 (1978) Machtey, Michael; Young, Paul: An Introduction to General Theory of Algorithms 7225 (1978) Bracchi; Lockeman (eds.): Information, systems methodology 7226 (1978) Schindler; Giloi (eds.): GI Jahrestagung 7303 () Knuth, D.E.: The art of computer programming 7343 (1979) Gewald, Klaus; Haake, Gisela; Pfadler, Werner: Software Engineering Grundlagen und Technik rationeller Programmentwicklung 7347 (1978) Davio, Marc; Deschamps, Jean-Pierre; Thayse, Andre: Discrete and Switching Functions 74 (1947) Breitung, P. Eusebius: Deutsch-japanisches Woerterbuch 7470 (1978) Beech, Graham (Ed): Computer Assisted Learning in Science Education 75 (1980) Schinzinger, Robert; Yamamoto, Akira; Nambara, Minoru: Woerterbuch der deutschen und japanischen Sprache 7554 (1979) Wait, R.: The Numerical Solution of Algebraic Equations 7554 (1979) Wait, R.: The Numerical Solution of Algebraic Equations 76 (1985) Muehlbacher, Joerg (ed.): Mikroelektronik fuer den Menschen, Band 1 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin 76/79 (1979) barth, h. : an architecture for a generalized application system 7638 (1979) Klein, Wolfgang; Dittmar, Norbert: Developing Grammars The Acquisition of German Syntax by Foreign Workers 7640 (1979) Miller, Max: The Logic of Language Development in Early Childhood 7641 (1979) Noordman, Leonard G.M.: Inferring from Language 7643 (1978) Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.: The Child`s Conception of Language 7643 (1978) Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.: The Child`s Conception of Language 7679 (1974) Rheinboldt, Werner C.: Methods for Solving Systems of Nonlinear Equations 7683 (1977) Johnson; Tinsley (eds.): Informatics and mathematics in secondary schools 7684 (1978) Arruda; et al. (eds.): Mathematical logic in Latin Amerika 7690 (1979) Doerfler, W.; Fischer, R.: Beweisen im Mathematikunterricht 77 (1985) Muehlbacher, Joerg (ed.): Mikroelektronik fuer den Menschen, Band 2 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin 7722 (1977) Baer (ed.): Parallel processing 7723 (1976) Enslow (ed.): Parallel processing 7724 (1978) nn: IEEE 1978 fault tolerance computing 7725 (1977) nn: Symposium on foundations of computer science 7726 (1978) nn: Software engineering 7778 () Frost: Curve tracing 7779 (1952) Hilbert, David; Cohn-Vossen, S.: Geometry and Imagination 7791 (1978) Dodes, Irving Allen: Numerical Analysis for Computer Science 7796 (1979) Mostowski, Andrezej: Foundational Studies Selected Works, Volume I 7797 (1979) Mostowski, Andrezej: Foundational Studies Selected Works, Volume II 78 (1974) berkling, k.j. ; kluge, w. : conceptual design of a handwired main storage management unit 7876 (1980) Adian, S. I.; Boone, W.W.; Higman, G.: Word Problems II 7879 () nn: 7th annual symposium on computational architecture 7924 (1980) Moschovakis, Yiannis N.: Descriptive Set Theory 7948 (1979) Epstein, Richard L.: Degrees of Unsolvability: Structures and Theory 7949 (1980) Fenstad, Jens E.: General Recursion Theory An Axiomatic Approach 7954 (1980) Flum, Joerg; Ziegler, Martin: Topological Model Theory 7959 (1977) Zuse, Konrad: Beschreibung des Plankalkuels 7959 (1977) Zuse, Konrad: Beschreibung des Plankalkuels 7971 (1979) Ferrante, Jeanne; Rackoff, Charles W.: The Computational Complexity of Logical Theories 7980 (1979) Bowen, Kenneth A.: Model Theory for Modal Logic 7985 (1980) Cutland, Nigel: Computability An Introduction to Recursive Function Theory 7994 (1980) Metropolis, N. (Ed); Howlett, J. (Ed); Rota, Gian-Carlo (Ed): A History of Computing in the Twentieth Century A Collection of Essays 7a144 () Darling, A.R.: Use of mathematical literature 8007 (1979) Edwards, R.E.: A Formal Background to Mathematics 1a Logic, Sets and Numbers 8026 (1980) Normann, Dag: Recursion on the Countable Functionals 8027 (1979) Boyer; Moore: A computational logic 8028 (1979) Anderson, T. (Ed); Randell, B. (Ed): Computing Systems Reliability 8029 (1979) Dreben, Burton; Goldfarb, Warren D.: The Decision Problem Solvable Classes of Quantificational Formulas 8032 (1980) Parkin, Andrew: System Analysis 8033 (1980) Rozenberg, Grzegorz; Salomaa, Arto: The Mathematical Theory of L Systems 8034 (1979) Bostock, David: Logic and Arithmetic Rational and Irrational Numbers 8036 (1978) Boffa; et al. (eds.): Logic colloquium 8037 (1979) Saarinen, Esa (Ed): Game-Theoretical Semantics 8037 (1979) Saarinen, Esa (Ed): Game-Theoretical Semantics 8051 (1980) Gosling, John B.: Design of Arithmetic Units for Digital Computers 8057 (1979) Gipper, Hans: Rationalisierung in der SW-Erstellung durch ein verallgemeinertes Genratorprinzip 8058 (1979) Robinson, J.A.: Logic: Forma and Function The Mechanization of Deductive Reasoning 8063 (1977) Gschwendtner, Hermann: Schaltalgebra fuer Fachschulen Technik 8079 (1978) Barwise; et al. (eds.): The Kleene Symposium 8087 (1980) Arsenault, J.E. (Ed); Roberts, J.A. (Ed): Reliability & Maintainability of Electronic Systems 8089 (1979) Boolos, Georg: The Unprovability of Consistency An essay in modal logic 8090 (1980) Chellas, Brian F.: Moda Logic An Introduction 8093 () Kowalski: Logic for problem solving 8094 (1979) Lewis, Harry R.: Unsolvable Classes of Quantificational Formulas 8098 (1980) Drake, F.R. (Ed); Wainer, S.S. (Ed): Recursion Theory: Its Generalisations and Applications 8100 (1980) Wand, Mitchell: Induction, Recursion and Programming 8100 (1980) Wand, Mitchell: Induction, Recursion and Programming 8109 (1980) Riddle, W.E.; Fairley, R.E.: Software Development Tools 8113 (1980) Kunen, Kenneth: Set Theory An Introduction to Independence Proofs 8159 (1980) Sluga, Hans D.: Gottlob Frege 8159 (1980) Sluga, Hans D.: Gottlob Frege 8160 (1980) Resnik, Michael D.: Frege and The Philosophy of Mathematics 8185 (1980) Howard, James C.: Practical Applications of Symbolic Computation 8186 (1981) Knoedel, W. (Hrsg.); Schneider, H. J.: Parallel processes and related automata. 8190 (1979) Rautenberg, Wolfgang: Klassische und nichtklassische Aussagenlogik 82 (1979) Bibel, Wolfgang: A Comparative Study of Several Proof Procedures 8200 (1978) Horowitz, Ellis; Sahni, Sartaj: Fundamentals of computer algorithms. 8224 (1978) Constable, Robert L.; O'Donnell, Michael J.: A Programming Logic with an Introduction to the PL/CV Verifier 8229 (1979) Berg; Giloi (eds.): The case of formel specification software 8238 (1978) Weelblat: History of programming languages 8259 () Bauer, F.L.: Algorithmische Sprache und Programmentwicklung 8259 (1981) Bauer, F.L.; Woessner, H.: Algorithmische Sprache und Programmentwicklung 8280 (1979) Anderson, Robert B.: Proving Programs Correct 8282 (1979) Shapiro, Stuart C.: Techniques of Artificial Intelligence 8292 (1980) Bundy, A.; Burstall, R.M.; Weir, S.; Young, R.M.: Artificial Intelligence: An Introductory Course 8294 (1980) Henderson, Peter: Functional Programming Application and Implementation 8298 (1981) Astesiano; Boehm (eds.): CAAP 8304 (1980) lavington (ed.): Information processing 8311 (1980) Ershov, A.P.: The British Lectures 8312 (1981) Kulisch, Ulrich W.; Miranker, Willard L.: Computer Arithmetik in Theory and Practice 8332 (1981) Arbib, Michael A.; Kfoury, A.J.; Moll, Robert N.: A Basis for Theoretical Computer Science 8348 (1977) Arsac, Jacques: La Construction de Programmes Structures 84 (1983) Indermark, K.: Complexity of infinite trees 84-645 (1984) Constable, R.L.; Knoblock, T.B.; Bates, J.L.: Writing Programs That Construct Proofs 8401 (1975) Barnes, Donald W.; Mack, John M.: An Algebraic Introduction to Mathematical Logic 8402 (1981) Noltemeier, Hartmut: Informatik I Einfuehrung in Algorithmen und Berechenbarkeit 8425 (1981) Even; Kariv (eds.): Automata, languages and programs 8426 (1981) Gruska; Chytil (eds.): mathematical foundations of computer science 8458 (1948) Uspenskij, V.A.: Theory of Equations 8458 (1948) Uspenskij, V.A.: Theory of Equations 8473 (1981) Chuaqui, Rolando Basim: Axiomaic Set Theory Impredicative Theories of Classes 8474 (1981) Lipson, John D.: Elements of Algebra and Algebraic Computation 8485 (1976) Thiagarajan, Sivasailam; Stolovitch, Harold D.: Games With the Pocket Calculator 8485 (1976) Thiagarajan, Sivasailam; Stolovitch, Harold D.: Games With the Pocket Calculator 8493 (1981) Barr, Avron (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume I 85-10 (1985) Grude, Ulrich: Algebraische Spezifikation und Korrektheit von Compilen 85-11 (1985) Beierle, Christoph; Lichter, Horst; Olthoff, Walter; Voss, Angelika: Integrated Software Development and Verification: A case study usin g the SPESY system 85-11 (1985) Drosten, K.: Term Rewriting Systems with Restricted Variables 85-11 (1985) Langen, Anno: PERSIST ein Programm zur Ueberpruefung syntaktischer, hinreichender B ed. fuer Persistenz parametrisierter, algebraischer Spezifikationen 85-118 (1985) Demichev, A.P.; Rodionov, A.Ya.: The reduce program for the calculation of the geometrical character istics of compactified multidimensional riemann space 85-12 (1985) Langen, Anno: Algorithmen zur Ueberpruefung der semantischen Kontextbedingungen der Spezifikationssprache ACT ONE 85-13 (1985) Rieckhoff, Catharina: Induzierte Korrektheit parametrisierter algebraischer Spezifikation en unter der Anwendung kategorieller Methoden 85-17 (1985) Hummert, Udo; Werner, Klaus-Juergen: A Storage Management System. An Example for an Algebraic Specificat ion and its Proof Techniques 8505 (1985) Kroeger, Henner: A Summary of a System for Partial Evaluation, Residual Evaluation, Code Generation and Semantics Directed Compiler Generation 8506 (1986) Olderog, E.R.; Hoare, C.A.R.: Specification-oriented -semantics for Communicating Processes 8507 (1985) Olderog, Ernst Ruediger: Process Theory: Semantics, Specification and Verification 8527 (1981) Siekmann (ed.): GWAI 8528 (1981) Wahlster, Wolfgang: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... 8528 (1981) Wahlster, Wolfgang: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... 8529 (1981) Brauer (ed.): GI Jahrestagung 8530 (1980) Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving 8530 (1980) Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving 8531 (1980) Marlin, Christopher D.: Coroutines A Programming Methodology, a Language Design and an Implementation 8532 (1980) Peterson, James L.: Computer Programs for Spelling Correction: An Experiment in Program Design 8534 (1981) Clocksin, W.F.; Mellish, C.S.: Programming in PROLOG 8536 (1981) Kaiser, H.; Mlitz, R.; Zeilinger, G.: Algebra fuer Informatiker 8542 (1973) Rohlfing, Helmut: SIMULA Eine Einfuehrung 8549 (1981) Cohen, Donald N.: Knowledge Based Theorem Proving and Learning 8550 (1981) Greene, Daniel H.; Knuth, Donald E.: Mathematics for the Analysis of Algorithms 8555 () Zimmer: comp. problems, methods ... in algebraic number theory 8557 (1981) Gecseg (ed.): Fundamentals of computation theory 8559 (1984) Kunii, Tosijasu L. (Ed): VLSI Engineering Beyond Software Engineering 8565 (1980) Nilsson, Nils J.: Principles of artificial intelligence. 8567 (1979) Bjorner (ed.): Abstract software specification 8572 () Coxeter: Geometry revisited 8579 (1979) Ahl, David H. (Ed): Computers in Mathematics: A Sourcebook of Ideas 8592 (1940) Birkhoff; Beatley: basic geometry 8595 (1981) Fitting, Melvin: Fundamentals of Generalized Recursion Theory 8601 (1986) Krause, Manfred; Roessig, Stephan: A New Class Concept Supporting Abstract Data Types 8611 (1986) Olderog, E.R.; Apt, K.R.: Fairness in Parallel Programs: The Transformational Approach 8620 () Gordon: Edinburgh LCF 8622 (1980) DeBakker; et al. (eds.): Automata, languages and programs 8623 (1980) Dembinski (ed.): Mathematical foundations of computer science 8626 (1981) Diaz; Ramos (eds.): Formalization of program concepts 8633 () Konheim: Cryptography 8633 (1981) Konheim, Alan G.: Cryptography A Primer 865 (1962) Meschkowski, Herbert: Unendliche Reihen 8661 (1979) Kahn (ed.): Semantics of concurrent computation 8670 (1981) Potthoff, Klaus: Einfuehrung in die Modelltheorie und ihre Anwendungen 8692 () Krekel: PASCAL 8692 (1981) Krekel, Dietrich; Trier, Wolfgang: Die Programmiersprache PASCAL Eine Beschreibung und Anleitung zur Benutzung 8699 (1980) Bus, J.C.P.: Numerical Solution of Systems of Nonlinear Equations 87-08 (1987) Kuechlin, W.: Inductive completion by ground proof transformation 87-10 (1987) Klaeren, Herbert; Indermark, Klaus: A new implementation technique for recursive function definitions 8702 (1981) Marty, Rudolf: PISA A Programming System for Interactive Production of App. SW. 8703 (1980) Jones (ed.): Semantics and directed compiler generation 8705 (1981) Liskov, Barbara; Atkinson, Russell; Bloom, Toby; Moss, Eliot: CLU Reference Manual 8705 (1987) Grabowski, M.; Hungar, H.: A characterization of expressive interpretations 8708 (1981) Hibbard, Peter; Hisgen, Andy; Rosenberg, Jonathan; Shaw, Mary: Studies in Ada Style 8711 (1987) Simon, F.: Programmspezifikation 8712 (1981) Orzech, Grace; Orzech, Morris: Plane Algebraic Curves An Introduction Via Valuations 8716 (1987) Wilmes, T.: A unification of functional and logic programming based on many-valued functions 8729 (1981) Agazzi, Evandro (Ed): Modern Logic - A Survey Historical, Philosophical and Mathematical Aspects of ... 8732 (1980) Webb, Judson Chambers: Mechnaism, Mentalism and Metamathematics 8732 (1980) Webb, Judson Chambers: Mechnaism, Mentalism and Metamathematics 8787 (1982) Schinzel, Andrzej: Selected Topics on Polynomials 8787 (1982) Schinzel, Andrzej: Selected Topics on Polynomials 8800 (1981) Shaw, Mary (Ed): ALPHARD: Form and Content 8800 (1981) Shaw, Mary (Ed): ALPHARD: Form and Content 8824 (1979) Cohen; et al. (eds.): Logic methodology and philosophy of science 8836 (1982) Wallach, Y.: Alternating sequential/parallel processing. 8837 (1981) Ershov, A.P. (Ed); Knuth, D.E. (Ed): Algorithms in Modern Mathematics and Computer Science 8838 () Hailpem, B.: Verifying concurrent processes using temporal logic 8839 (1982) Goldblatt, Robert: Axiomatising the Logic of Computer Programming 8840 (1981) Kozen (ed.): Logic of programs 8842 (1979) Mueller; et al. (eds.): Logic symposia 8843 (1980) Girault; Reisig (eds.): Application and theory of petri nets 8907 (1982) Schneider; Wassermann (eds.): Automated tools for information systems design 8908 (1978) Doemoelki; Gercely (eds.): Mathematical logic in computer science 8909 (1981) Csakany, B. (Ed); Rosenberg, I. (Ed): Finite Algebra and Multiple-Valued Logic 8910 (1981) Stern (ed): Proceedings of the Herbrand symposium 8911 (1982) Reid (ed.): Relationship: numerical computation and programs 8912 () Robinson: Model theory 8913 (1956) Robinson, Abraham: Complete Theories 8914 (1981) Jackson (ed.): Teaching informatics courses 8948 (1982) Dijkstra, Edsger W.: Selected Writings on Computing: A Personal Perspective 8980 (1982) Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed): Computer Algebra Symbolic and Algebraic Computation 8989 (1982) Bibel, Wolfgang: Automated Theorem Proving 8990 () Buchberger, B.: Mathematik fuer Informatiker 9048 (1972) Lawrence, J. Dennis: A Catalog of Special Plane Curves 9062 (1982) Solow, Daniel: How to Read and do Proofs An Introduction to Mathematical Thought Process 9062 (1982) Solow, Daniel: How to Read and do Proofs An Introduction to Mathematical Thought Process 909 (1968) Oberschelp, Arnold: Aufbau des Zahlensystems 91 (1974) Weihrauch, Klaus : Teilklassen primitiv-rekursiven Wortfunktionen 9102 (1982) Beth (ed.): Cryptography 9118 (1983) Lang, S.; Murrow, G.: Geometry, a high school course 9148 (1982) Nagl, Manfred: Einfuehrung in die Programmiersprache Ada 9155 (1983) Marty, Rudolf: Methodik der Programmierung in Pascal 9156 (1983) Schmidt, Joachim W.; Brodie, Michael L.: Relational Database Systems Analysis and Comparison 9156 (1983) Schmidt, Joachim W.; Brodie, Michael L.: Relational Database Systems Analysis and Comparison 9158 (1982) Bibel; Siekmann (eds.): Kuenstliche Intelligenz 9159 (1982) Wahlster (ed.): GWAI 1982 9160 (1983) Engeler E.: Metamathematik der Elementarmathematik 9161 (1980) Messina; Murli (eds.): Problems and methods in mathematical software production 9181 (1983) Larson, Loren C.: Problem-Solving Through Problems 9186 (1982) Ohno, Y. (Ed): Requirements, Engineering, Environments 9187 (1982) Bjorner (ed.): Formal description of program concepts 9209 (1982) Myers, Glenford J.: Methodisches Testen von Programmen 9235 (1982) Evans, David J. (Hrsg.): Parallel processing systems. 9244 (1983) Berka, Karel; Kreiser, Lothar: Logik-Texte Kommentirte Auswahl zur Geschichte der modernen Logik 9255 (1983) Gottinger, Hans W.: Coping with Complexity Perspecives for Economics, Management and ... 9256 (1981) Biermann; Guibo (eds.): Computer program synthesis methods 9257 (1982) Broy, M.; Schmidt, G.: Theoretical foundations of programming methodology 9258 (1983) Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.: Data Structures and Algorithms 9261 (1980) Dobbs, David E.; Hanks, Robert: A Modern Course on the Theory of Equations 9265 (1982) Barr, Avron (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume II 9266 (1982) Cohen, Paul R. (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume III 9294 (1983) Anceau; Aas (eds.): VLSI 1983 9311 (1983) Ralston; Young (eds.): Teh future of college mathematics 9312 () Staunstrup (ed.): Program Specifications 9313 (1981) Gries, David: The Science of Programming 9338 () Darlington; et al.: Functional programming and its applications 9338 (1982) Darlinton, J. (Ed); Henderson, P. (Ed); Turner, D.A. (Ed): Functional Programming and its Applications An Advanced Course 9339 (1984) Clark, K.L.; McCabe, F.G.: micro-PROLOG: Programming in Logic 9346 (1983) Ledgard, Henry F.: ADA An Introduction 9347 (1980) Salwicki (ed.): Logics of programs and their applications 9348 (1982) Goto; et al. (eds.): RIMS Symp. 9349 (1983) Hommel; Kroenig (eds.): Requirements Engineering 9357 (1982) Broy, Manfred (Ed); Schmidt, Gunther (Ed): Theoretical Foundations of Programming Methodology 9357 (1983) Helson, H.: harmonic analysis 9360 (1982) Kwong, Yat-sang: On reductions and livelocks in asynchronous parallel computing. 9362 (1982) Johnson, Scott D.: A Computer System for Checking Proofs 9363 (1982) Catell, R.G.G.: Formalization and Automatic Derivation of Code Generators 9364 (1982) Woods, John Lowe: Path Selection for Symbolic Execution Systems 9364 (1982) Woods, John Lowe: Path Selection for Symbolic Execution Systems 9365 (1982) Oleinick, Peter N.: Parallel algorothms on a multiprocessor. 9366 (1981) McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy P.: LISP 1.5 Programmer`s Manual 2. Edition, 3. Printing 9368 (1982) Kemmerer, Richard A.: Formal Verification of an Operating System Security Kernel 9374 (1976) Siklossy, Laurent: Let`s Talk LISP 9374 (1976) Siklossy, Laurent: Let`s Talk LISP 9380 (1979) Klix, Friedhart (Ed): Human and Artificial Intelligence 9384 (1984) Uhr: Algorithmic structured computer array and networks 9385 (1983) Karp, Richard Alan: Proving Operating Systems Correct 9392 () Davis: Computability 9392 (1983) Davis, Martin; Weyuker, Elaine J.: Computability, Complexity and Languages Foundamentals of Theoretical Computer Science 9397 (1982) Lolli; Longo; Marcja (eds.): Logic Colloquium 9399 (1983) Bundy, Alan: The Computer Modelling of Mathematical Reasoning 9400 (1967) Weissman, Clark: LISP 1.5 Primer 9401 (1974) Friedman, Daniel P.: The Little LISPer 9403 (1984) Kohonen, Teuvo: Self-Organization and Associative Memory 9404 (1983) Wong, C.K.: Algorithmic Studies in Mass Storage Systems 9404 (1983) Wong, C.K.: Algorithmic Studies in Mass Storage Systems 9406 (1983) Nakajima, R. (Ed); Yuasa, T. (Ed): The IOTA Programming System A Modular Programming Environment 9408 (1983) Diaz (ed.): Automata, Languages and programs 9409 (1983) Herkenrath; et al. (eds.): Mathematical learning models 9410 (1983) Lerman, Manuel: Degrees of Unsolvability Local and Global Theory 9411 (1983) Van Hulzen (ed.): Eurocal 1983 9412 (1983) Ausiello; Protasi (eds.): CAAP 1983 9413 (1983) Lehmann, Eberhard: Lineare Algebra mit dem Computer 9414 (1983) Uehara; Barbacc (eds.): Computer Hardware description languages 9415 (1983) Ruschitzka, Manfred (Hrsg.); Christensen, M. (Hrsg.); Ames, W. F. (Hrsg.); Vichnevetsky, R. (Hrsg.): Parallel and large-scale computers. Performance, architecture, applications...10th IMACS world congress. Montreal 8-13 Aug.1982 9416 (1981) Chong; Wicks (eds.): Southeast Asian conference on logic 9421 () Boyer, R.S.; Moore, J. St.: The correctness problem in computer science 9423 (1982) Clark, K.L. (Ed); Taernlund, S.-A. (Ed): Logic Programming 9424 () Preston: Multicomputers and image processing 9425 () Paker: Multi-microprocessor systems 9431 () Lee: Computer Semantics 9435 (1984) Retti, J.; Bibel, W.; Buchberger, B.; Buchberger, E.: Artificial Intelligence - Eine Einfuehrung 9440 (1982) Marek, Wiktor; Onyszkiewicz, Janusz: Elements of Logic and Foundations of Mathematics in Problems 9443 (1983) Jones, Andrew J. I.: Communicaion and Meaning An Essay in Applied Modal Logic 9444 (1983) Fitting, Melvin: Proof Methods for Modal and Intuitionistic Logics 9445 (1984) Gabbay, D. (Ed); Guenthner, F. (Ed): Handbook of Philosophical Logic Volume II: Extensions of Classical Logic 9473 (1983) Schwabhaeuser, W.; Szmielew, W.; Tarski, A.: Metamathematische Methoden in der Geometrie 9473 (1983) Schwabhaeuser, W.; Szmielew, W.; Tarski, A.: Metamathematische Methoden in der Geometrie 9484 (1982) Sleeman, D. (Ed); Brown, J.S. (Ed): Intelligent Tutoring Systems 9484 (1982) Sleeman, D. (Ed); Brown, J.S. (Ed): Intelligent Tutoring Systems 9486 (1984) Stoyan, Herbert; Goerz, Guenter: LISP Eine Einfuehrung in die Programmierung 9487 (1984) Sims, Charles S.: Abstract Algebra A Computational Approach 9487 (1984) Sims, Charles S.: Abstract Algebra A Computational Approach 9488 (1983) Danicic, I.: LISP Programming 9488 (1983) Danicic, I.: Lisp Programming 9491 (1984) Bucher, Walter: Theoretische Grundlagen der Programmiersprachen Automaten und Sprachen 9502 (1978) Allen, John: Anatomy of LISP 9505 (1981) Salomaa, Arto: Jewels of Formal Language Theory 9505 (1981) Salomaa, Arto: Jewels of Formal Language Theory 9511 () Beth: Kryptography 9527 () Briggs, Hwang: Computer architecture and parallel processing 9528 () Bunse: numerische lineare Algebra 9528 (1985) Bunse, Wolfgang; Bunse-Gerstner, Angelika: Numerische Lineare Algebra 9542 (1984) Rand, R.H.: Computer Algebra in Applied Mathematics: An Introduction to MACSYMA 9550 (1981) Dehning, Waltraud; Essig, Heidrun; Maass, Sussanne: The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs 9551 (1982) Constable, Robert L.; Johnson, S.D.; Eichenlaub, C.D.: An Introduction to the PL/CV2 Programming Logic 9552 () Kahn: Semantics of Data types 9553 (1981) Doberkat, Ernst-Erich: Stochastic Automata: Stability, Nondeterminism and Prediction 9555 (1984) Ronse, Christian: Feedback Shift Registers 9556 (1984) Paul; Robinet (eds.): Int. Symp. on Programming 9557 (1984) Fontet; Mehlhorn (eds.): STACS 1984 9558 (1983) Clarke; Kozen (eds.): Logic of programs 9559 () Kunii, T.L.: VLSI Design 9561 (1981) Hirst, Graeme: Anaphora in Natural Language Understanding: A Survey 9562 (1981) Casanova, Marco Antonio: The concurrency control problem for database systems. 9564 (1981) Bolc, Leonard (Ed); Kulpa, Zenon (Ed): Digital Image Processing Systems 9567 (1981) Guessarian, Irene: Algebraic Semantics 9568 () Nijholt, A.: Context free grammars 9568 (1980) Nijholt, Anton: Context-Free Grammars: Covers, Normal Forms, and Parsing 9569 (1982) Loveland (ed.): Automated deduction 9570 (1983) Karpinski (ed.): Foundations of Comp. Theory 9575 (1980) Milner, Robin: A Calculus of Communicating Systems 9576 (1983) Overmars, Mark H.: The Design of Dynamic Data Structures 9578 (1984) Paredaens (ed.): Automata, alnguages and programming 9579 (1977) Tarski, Alfred: Einfuehrung in die mathematische Logik 5. Auflage 9579 (1977) Tarski, Alfred: Einfuehrung in die mathematische Logik 5. Auflage 9580 (1981) Ausiello, G. (Ed); Lucertini, M. (Ed): Analysis and Design of Algorithms in Combinatorial Optimization 9581 (1973) Novikov, P.S.: Grundzuege der mathematischen Logik 9586 (1974) Peters, Fritz Eduard: Einfuehrung in Mathematische Methoden der Informatik 9588 (1984) Laufer, Henry B.: Discrete Mathematics and Applied Modern Algebra 9590 (1979) Ebbinghaus, Heinz-Dieter: Einfuehrung in die Mengenlehre 9591 (1977) Ecker, Klaus: Organisation von parallelen Prozessen. Theorie deterministischer Schedules. 9592 (1975) Schneider, Hans-Juergen: Compiler Aufbauweise und Arbeitsweise 9592 (1975) Schneider, Hans-Juergen: Compiler Aufbauweise und Arbeitsweise 9594 (1983) Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 1: Aussagenkalkuel 9595 (1976) Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 2: Praedikatenkalkuel der Ersten Stufe 9596 (1981) Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 3: Praedikatenlogik Hoeherer Stufe 9600 () Groebner: algebraische Geometrie I 9601 () Groebner: algebraische Geometrie II 9607 (1979) Malitz, Jerome: Intoriduction to Mathematical Logic Set Theory Computable Functions Model Theory 9608 (1981) Deussen (ed.): Theoretical computer science 9609 (1983) Cremers; Krieger (eds.): Theoretical computer science 9610 (1974) Heyting, A.: Mathematische Grundlagenforschung Intuitionismus, Beweistheorie 9611 () Gordon: Denotational description 9612 (1977) Manin, Yu.I.: A Course in Mathematical Logic 9613 (1983) Klaeren, H.A.: Algebraische Spezifikation Eine Einfuehrung 9614 (1979) Maurer (ed.): Automata, Languages, Programming 9616 (1981) Buchberger, Bruno; Lichtenberger, Franz: Mathematik fuer Informatiker I Die Methode der Mathematik 9618 () Heidler, K.; et al. (eds.): Rekursive Funktionen 9618 (1977) Heidler, Klaus; Hermes, Hans; Mahn, Friedrich-K.: Rekursive Funktionen 9622 (1980) Winograd, Shmuel: Arithmetic complexity of computations. 9623 (1980) Manna, Zohar: Lectures on the logic of computer programming. 9624 (1972) Kolman (ed.): Lie Algebras 9625 (1977) Aho, Alfred V.; Ullman, Jeffrey D.: Principles of Computer Design 9626 (1983) hayes-Roth, Frederick; Waterman, Donald A.; Lenat, Douglas B.: Building Expert Systems 9627 (1976) Spencer, Donald D.: Computer Science Mathematics 9627 (1976) Spencer, Donald D.: Computer Science Mathematics 9635 (1983) Karpinsky; et al. (eds.): Topics in the theory of computation 9636 (1980) Book, Ronald V. (Ed): Formal Laguage Theory Perspectives and Open Problems 9637 (1976) Prather, Ronald E.: Discrete Mathematical Structures for Computer Science 9639 (1980) Boolos, Georg; Jeffrey, Richard: Computatibility and Logic 9644 (1979) Kronsjo, Lydia I.: Algorithms: Their Complexity and Efficiency 9645 (1980) Palmer, D.C.; Morris, B.D.: Computing Science 9646 (1983) Rudin; West (eds.): Protocol specification, testing, and verification 9647 (1977) Manna, Zohar; Waldinger, Richard: Studies in Automatic Programming Logic 9648 (1977) Bell, J.L.; Machover, M.: A Course in Mathematical Logic 9649 (1981) DeBakker; Van Vliet (eds.): Algorithmic languages 9650 (1975) Tremblay, J.P.; Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science 9650 (1975) Tremblay, J.P.; Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science 9670 (1982) Pouzet; Richard (eds.): Orders, description and rules 9691 (1984) Alty, J.L.; Coombs, M.J.: Expert Systems Concepts and Examples 9693 (1981) Kant, Elaine: Efficiency in Program Synthesis 9708 (1983) Burmeister: Univers. Algebra 9714 (1983) Chow, Wushow (Hrsg.); Cotton, Ira W.; Falk, Gilbert; Lam, Simon S.: Computer communications. Vol. 1. Principles. (Weitere Beitraeger:) Patrick V. McGregor, R.Andrews Pickens, Helen M. Wood 9715 (1981) Tanenbaum, Andrew S.: Computer networks. 9739 () Lee; Gonzales; Fu: Robotics 9741 (1973) Knuth, Donald E.: Fundamental Algorithms The Art of Computer Programming 9748 (1984) Adams, James L.: Ich Hab's 9749 (1984) Goldschlager, Les; Lister, Andrew: Informatik Eine moderne Einfuehrung 9750 (1982) McDougall, Anne; Adams, Tony; Adams, Pauline: Einstieg in LOGO mit MIT-LOGO und Apple-LOGO 9751 (1984) Banahan, M.; Rutter, A.: UNIX Lernen, verstehen, anwenden 9752 (1985) Ben-Ari, M.: Grundlagen der Parallel-Programmierung. (Principles of concurrent programming. Deutsch.) 9753 (1978) Graf, Ulrich: Darstellende Geometrie Elfte Auflage 9754 (1984) Ausiello, G. (Ed); Lucertini, M. (Ed); Serafini, P. (Ed): Algorithm Design for Computer System Design 9763 (1984) Rohl, J.S.: Recursion via Pascal 9764 (1984) Gascoigne, Serafim: Microchild Learning through LOGO 9765 () McGregor: Pascal for Science and engineering 9765 (1983) McGregor, James J.; Watt, Alan H.: Pascal for Science and Engineering 9766 (1985) Politakis, Peter G.: Empirical Analysis for Expert Systems 9767 (1985) Cohen, Paul R.: Heuristic Reasining about Uncertainty: An AI Approach 9768 (1983) Jamieson, M. J.: Elementary Numerical Methods 9769 (1984) Bramer (ed.): Research and development in expert systems 9770 (1981) Paul, Richard P.: Robot Manipulators: Mathematics, Programming, and Control The Computer Control of Robot Manipulators 9771 (1979) Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... 9771 (1979) Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... 9772 (1979) Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... 9772 (1979) Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... 9773 (1982) Brady, Michael (Ed); Hollerbach, John M. (Ed); Johnson, Timothy L. (Ed); Lozano-Perez, Tomas (Ed): Robert Motion: Planning and Control 9774 (1984) Winston; Prendergast (eds.): The AI business 9775 (1984) Queinnec, Christian: LISP and Engineering 9776 (1982) McKeown, G.P.; Rayward-Smith, V.J.: Mathematics for Computing 9777 (1985) Dunsmuir, M.R.M.; Davies, G.J.: Programming the UNIX System 9778 (1985) Herman, Gary: Micro-Music for the Commodore 64 and BBC Computer 9779 (1984) Berry, R.E.; Meekings, B.A.E.: A Book on C 9780 (1981) Angell, Ian O.: A Practical Introduction to Computer Graphics 9781 (1979) Bornat, Richard: Understanding and Writing Compilers A do-it-yourself guide 9782 (1985) Angell, I. O.: Advanced Graphics with the IBM Personal Computer 9783 (1982) Ibbett, Roland N.: The Architecture of High Performance Computers 9784 (1984) Paddon, D.J. (Ed): Supercomputers and parallel Computation 9785 (1980) Rogers, M.W. (Ed): Ada: Language, Compilers and Bibliography 9786 (1985) Siegel, Howard Jay: Interconnection networks for large-scale parallel processing. Theory and case studies. 9787 (1983) Tenhagen (ed.): Eurographics 1983 9788 (1983) Hausen (ed.): Software validitation 9789 (1981) Brady, J. M. (ed.): Computer Vision 9789 (1981) Brady, Michael (Ed): Computer Vision 9790 (1983) Pearl, J. (ed.): Search and Heuristics 9791 (1985) Roukens, J. (ed.); Renuart, J. F.: ESPRIT '84 Status Report of Ongoing Work 9792 (1981) Moto-Oka (ed.): 5th generation computer systems 9793 (1984) Cipprs; Iapr (eds.): Pattern recognition, vol. 1 9794 (1984) Cipprs; Iapr (eds.): Pattern recognition, vol. 2 9795 (1983) Lee, C.S.G.; Gonzalez, R.C.; Fu, K.S.: Tutorial on ROBOTICS 9796 (1984) Rosenfeld (ed.): Applied machine vision 9797 (1984) Phang (ed.): Trends in electronics 9798 (1984) Hasemer, Tony: A Beginner's Guide to LISP 9799 (1983) Krueger, Myron W.: Artificial Reality 9800 (1984) Pearl, Jedea: HEURISTICS Intelligent Search Strategies for Computer Prob. Solving 9801 (1974) Tou, Julius T.; Gonzalez, Rafael C.: Pattern Recognition Principles 9801 (1974) Tou, Julius T.; Gonzalez, Rafael C.: Pattern Recognition Principles 9802 (1977) Gonzalez, Rafael C.; Wintz, Paul: Digital Image Processing 9803 (1985) Charniak, Eugene; McDermott, Drew: Introduction to Artificial Intelligence 9804 (1985) Batchelor, B.G. (Ed); Hill, D.A. (Ed); Hodgson, D.C. (Ed): Automated Visual Inspection 9805 (1985) Bernolds, Thomas (Ed); Albers, Guenter (Ed): Artificial Intelligence: Towards Practical Application 9806 (1985) Bertolazzi, Paola (Hrsg.); Luccio, Fabrizio (Hrsg.): VLSI, algorithms and architectures. Proceedings ... Amalfi, May 23-25, 1984. 9807 (1984) Bo; Tucker (eds.): Eurographics 1984 9808 (1984) Danthine, Andre (Hrsg.); Geradin, Michel (Hrsg.): Advanced software in robotics. Proceedings ... Liege, May 6-8, 1984. 9809 (1983) Kochan (ed.); Banerji: Integration of CAD/CAM 9810 (1981) Stern (ed.): Herbrand symposium logic colloquium 9810 (1985) Griffiths, M. (Ed); Tagg, E. D. (Ed): The Role of Programming in Teaching Informatics 9811 () Elithorn; Banerji: Artificial and human intelligence 9812 (1983) Ausilleo; Lucertin (eds.): Analysis and design of algorithms 9813 (1982) Troelstra, A. S. (ed.); Van Dalen, D.: The L.E.J. Brouwer Centenary Symposium 9814 (1980) Metakides (ed.): Patras Logic symposium 9815 (1982) Nastasescu, C.; Oystaeyen, F. van: Graded Ring Theory 9816 (1985) Rubin, Herman; Rubin, Jean E.: Equivalents of the Axiom of Choice, II 9817 (1982) Van Dalen, D.; Lascar, D.; Smiley, T. J.: Logic Colloquium '80 9818 (1984) Elithorn, Alick (Ed); Banerji, Ranan (Ed): Artificial and Human Intelligence 9818 (1985) Shapiro, S. (ed.): Intensional Mathematics 9819 (1984) ICOT (ed.): 5th generation computer systems 9820 (1984) Dwivedi, Suren N. (ed.): Robotics and Factories of the Future 9821 (1984) Pan, Victor: How to Multiply Matrices Faster 9822 (1985) Gleaves, Richard: Modula-2 fuer Pacsal-Programmierer 9823 (1984) Zuse, Konrad: Der Computer Mein Lebenswerk 9823 (1984) Zuse, Konrad: Der Computer Mein Lebenswerk 9824 () Mueller; Richter; (eds.): Models and sets 9825 () Cossart: Resolution of surface singularities 9826 () Shostak; (ed.): Automated Deduction 1984 9827 (1985) Shaw, Mary (Ed): The Carnegie-Mellon Curriculum for Undergraduate Computer Science 9827 (1985) Shaw, Mary (Ed): The Carnegie-Mellon Curriculum for Undergraduate Computer Science 9828 () Richter; et al.; (eds.): Computation and proof theory 1983 9829 (1985) Beeson, Michael J.: Foundations of Constructive Mathematics 9830 (1984) Chong, C.T.: Techniques of Admissible Recursion Theory 9830 (1984) Greco, S.; Strano, R.: Complete Intersections 9831 () Chong, C.T.: Techniques of admissible recursion theory 9832 () Habel; (ed.): Kuenstliche Intelligenz 1984 9833 (1974) Jensen, Kahleen; Wirth, Niklaus: Pascal User Manual and Report 9834 (1985) Arbarello, E.; Cornalba, M.; Griffiths, P. A.; Harris, J.: Geometry of Algebraic Curves Volume I 9834 (1985) Arbarello, E.; Cornalba, M.; Griffiths, P.A.; Harris, J.: Geometry of Algebraic Curves Volume 1 9835 (1985) CIP Language Group: The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L 9836 (1984) Bowles, Kenneth L.; Franklin, Stephen D.; Volper, Dennis J.: Problem Solving Using UCSD Pascal Second Edition 9837 () Ehrich; (ed.): GI Tagung 1984 9838 () Josephc; Shyamasundar: Foundations of software technology and theoretical computer science 9839 (1984) Abelson, Harold; diSessa, Andrea A.: Turtle Geometry The Computer as a Medium for Exploring Mathematics 9840 (1983) Barwise, Jon; Perry, John: Situations and Attitudes 9841 (1980) Bolc, Leonard (Ed): Natural Language Questing Answering Systems 9842 (1980) Bolc, Leonard (Ed): Natural Language Based Computer Systems 9843 (1980) Bolc, Leonard (Ed): Representation and Processing of Natural Language 9844 (1984) Brady, Michael (ed.); Paul, Richard (ed.): Robotics Research The First International Symposium 9845 (1984) Cooke, D.J.; Bez, H.E.: Computer Mathematics 9846 (1984) Day, A. Colin: Text Processing 9847 (1985) Devlin, Keith: Micro-Maths Mathematical Problems and Theorems to Consider and Solve on a Comp. 9848 (1983) Dew, P.M.; James, K.R.: Introduction to Numerical Computation in PASCAL 9849 (1977) Dummett, Michael: Elements of Intuitionism 9850 (1983) Dyer, Michael George: In-Depth Understanding A Computer Model of Integrated Processing for Narrative Comprehensi 9851 (1982) Fisher, Alec: Formal Number Theory and Computability A Workbook 9852 (1981) Haugeland, John (ed.): Mind Design Philosophy - Psychology - Artificial Intelligence 9853 (1984) Hildreth, Ellen Catherine: The Measurement of Visual Motion 9854 (1983) Huggins, Eric: Mastering Pascal Programming 9855 (1984) Hyman, Anthony: Charles Babbage Pioneer of the Computer 9856 (1984) Johnson, Steven D.: Synthesis of Digital Designs from Recursion Equations 9857 (1985) Korf, Richard E.: Learning to Solve Problems by Searching for Macro-Operators 9857 (1985) Korf, Richard E.: Learning to Solve Problems by Searching for Macro-Operators 9858 (1983) Leighton, Frank Thomson: Complexity Issues in VLSI Optimal Layouts for the Shuffle-Exchange Graph and Other Networks 9859 (1983) Leiserson, Charles Eric: Area-Efficient VLSI Computation 9860 (1983) Mallgren, William R.: Formal Specification of Interactive Graphics Programming Languages 9861 (1982) Meijer, Anton; Peeters, Paul: Computer network architectures 9862 (1984) Moreau, R.: The Computer Comes of Age The People, the Hardware, and the Software 9863 (1985) Ohta, Yuichi: Knowledge-based Interpretation of Outdoor Natural Color Scenes 9864 (1984) Pylyshyn, Zenon W.: Computation and Cognition Toward a Foundation for Cognitive Science 9865 (1984) Rose, H.E.: Subrecursion Functions and Hierarchies 9866 (1984) Salman, W.P.; Tisserand, O.; Toulout, B.: FORTH 9866 (1984) Salman, W.P.; Tisserand, O.; Toulout, B.: FORTH 9867 (1983) Shapiro, Ehud Y.: Algorithmic Program Debugging 9867 (1983) Shapiro, Ehud Y.: Algorithmic Program Debugging 9868 (1977) Stoy, Joseph E.: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory 9868 (1977) Stoy, Joseph E.: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory 9869 (1977) Troelstra, A.S.: Choice Sequences A Chapter of Intuitionistic Mathematics 9869 (1977) Troelstra, A.S.: Choice Sequences A Chapter of Intuitionistic Mathematics 9870 (1979) Wegner, Peter (ed.): Research Directions in Software Technology 9872 (1984) Jankel, Annabel; Morton, Rocky: Creative Computer Graphics 9873 (1985) Salomaa, Arto: Computation and Automata 9873 (1985) Salomaa, Arto: Computation and Automata 9874 (1968) Kulp, Martin: Menschliches und maschinelles Denken 9875 () Leblanc; et al.; (eds.): Foundations, logic, languages and mathematics 9875 (1984) Leblanc, Hugues; Mendelson, Elliott: Foundations: Logic, Language and Mathematics 9876 () Halpern, R.: Microcomputer graphics using PASCAL for the Apple II family 9876-68 (1985) Halpern, Richard: Microcomputer Graphics Using PASCAL For the Apple II Family 9877 (1984) Touretzky, David S.: LISP A Gentle Introduction to Symbolic Computation 9878 () Knuth; Neuhold; (eds.): specification and design of software systems 9879 (1984) McDonald, Bernard R.: Linear Algebra Over Commutative Rings 9880 (1984) Lloyd, J. W.: Foundations of Logic Programming 9882 (1985) Abney, Darrell H.; Rubin, Laurence; Sibrel, Donald W.: Computer Mathematics for Programmers 9883 (1949) Semple, J. G.; Roth, L.: Introduction to Algebraic Geometry 9897 () Muller; Pottmeyer; (eds.): The fifth generation challenge 9898 (1984) Winston, Patrick Henry; Horn, Berthold Klaus Paul: LISP Second Edition 9920 (1981) Bezdek, James C.: Pattern recognition with fuzzy objective function algorithms. 9921 (1980) Nagao, Makoto; Matsuyama, Takashi: A Structural Analysis of Complex Aerial Photographs. 9922 (1984) Preston, Kendall Jr.; Duff, Michael J.B.: Modern Cellular Automata Theory and Applications. 9923 (1983) Hodges, Andrew: Alan Turing: The enigma. 9924 (1984) Goldberg, Adele: Smalltalk-80, The Interactive Programming Environment 9925 (1983) Goldberg, Adele; Robson, David: Smalltalk-80, The Language and its Implementation 9926 (1984) Krasner, Glenn (Ed): Smalltalk-80, Bits of History, Words of Advice 9927 (1985) Kluzniak, Feliks; Szpakowicz, Stanislaw: PROLOG for Programmers 9928 (1986) Waterman, Donald A.: A Guide to Expert Systems 9940 (1985) Boerger, Egon: Berechenbarkeit, Komplexitaet, Logik 9943 (1985) Abelson, Harold; Sussman, Jay; Sussman, Julie: Structure and Interpretation of Computer Programs 9946 (1985) Danckwerts, Rainer; Vogel, Dakwart; Bovermann, Klaus: Elementare Methoden der Kombinatorik 9957 (1985) Moyne, John A.: Understanding Language Man or Machine 9967 (1982) Rodrigue, Garry (Ed): Parallel Computations 9968 (1985) Turski, Wladislaw M.: Infomatics A Propaedeutic View 9969 (1985) O'Shea, Tim (Ed): Advances in Artificial Intelligence 9975 (1983) Plum, Thomasce (Ed): Das C-Lernbuch 9989 (1985) Nivat, Maurice (Ed); Reynolds, John C. (Ed): Algebraic methods in semantics 9993 (1985) Burnham, W.D.; Hall, A.R.: Prolog Programming and Applicatons 9994 (1985) Cluley, J.C.: Transducers for Microprocessor Systems 9998 (1986) Gabbay, D. (Ed); Guenthner F. (Ed): Handbook of Philosophical Logic ATP-1-I-80 (1980) Bibel, Wolfgang: A Formal Basis for the Systematic Proof Method ATP-20-IX-83 (1983) Fronhoefer, B.: On Refinements of the Connection Method ATP-22-XII-83 (1984) Bibel, Wolfgang; Bruynooghe, M.; Freska, C.; Haddawy, P.: An Overview of Formalisms, Issues, Languages and Systems for the Re presentation of Knowledge ATP-23-I-84 (1984) caferra, R.; Eder, E. Gerhard; Froenhofer, B.; Bibel, W.: Extensions of PROLOG Through MAtrix Reduction ATP-25-III-84 (1984) Furbach, Ulrich; Dirlich, Gerhard; Freska, Christian: Towards a Theory of Knowledge Representation Systems ATP-26-III-84 (1984) Fronhoefer, Bertram: Heuristics for Recursion Improvement ATP-31-VII-84 (1984) Fronhoefer, B.gen; Caferra, R.Bernd; Jacquet, P.: Improvement of Recursive Programs from a Logic Programming Point of View ATP-32-VII-84 (1984) Brena, R.; Caferra, R.; Fronhoefer, B.; Gresse, C.: Program Synthesis Through Problem Splitting: a Method for Subproble m Characterization ATP-33-VII-84 (1984) Eder, Elmar: An Implementation Theorem Prover Based on the Connection Method ATP-35-X-84 (1984) Bibel, Wolfgang: Artificial Intelligence in Europe BMFT-GMD-96 (1975) Wedde, Horst : Losse Kopplung von Systemkomponenten CRL-TR-2-86 (1986) Nadel, Bernhard A.: The general consistent labeling (or constraint satisfactin) problem CRL-TR-3-86 (1986) Nadel, Bernhard A.: Three constraint satisfaction algorithms and their complexities: se arch-order dependent and effectively instance-specific results CRL-TR-5-86 (1986) Nadel, Bernhard A.: Representation-selection for constraint satisfaction problems: a ca se study using n-queens CRL-TR-50-84 (1984) Gurevich, Y. .; Shelah, S.: Expected computation time for Hamiltonian path problem and clique p roblem CRL-TR-50-84 (1984) Gurevich, Y.; Shelah, S.: Expected computation time for Hamiltonian path problem and clique p roblem CRL-TR-6-86 (1986) Nadel, Bernhard A.: Theory-based search-order selection for constraint satisfaction pro blems CS-83-06 (1983) Char, Bruce; Geddes, Keith O.; Gentleman, Morven; Gonnet, Gaston: The Design of MAPLE: A Compact, Portable, and Powerful Computer Algebra System CS-84-13 (1984) Char, Bruce; Fee, Gregory; Geddes, Keith O.; Gonnet, Gaston: On the Design and Performance of the MAPLE System CSD-TR-567 (1986) Bajaj, Chanderjit: Limitations to Algorithm Solvability: Galois Methods and Models of Computation CSD-TR-583 (1984) Abhyankar, Shreeram; Bajaj, Chanderjit: Automatic Rational Parameterization of Curves and Surfaces I: Conic s and Conoids Done. ETH (1986) Kuechlin, Wolfgang: Equational Completion by Proof Transformation F109 (1983) Aurenhammer, Franz; Edelsbrunner, H.: An Optimal Algorithm for Constructing the Weighted Voronoi Diagram in the Plane F110 (1983) Aurenhammer, Franz: The One-Dimensional Weighted Voronoi Diagram F120 (1983) Aurenhammer, Franz: Power Diagrams, Properties, Algorithms, and Applications FBI-HH-B-112/85 (1985) Sakharov, Alexander: D/M: An Interactive Functional Language for the Modular Constructio n of Programs ICSCA-CMP-44 (1985) Boyer, Robert S.; Moore, J. Strother: Integrating Decision Procedures into Heuristic Theorem Provers: A C ase Study of Linear Arithmetic PRG-2 (1981) Scott, Dana: Outline of a Mathematical Theory of Computation PRG-20 (1981) Chen, Zhou Chao; Hoare, C.A.H.: Partial Correctness of Communicating Processes and Protocols PRG-22 (1981) Hoare, C.A.H.: A Model for Communicating Sequential Processes PRG-23 (1981) Hoare, C.A.R.: A Calculus of Total Correctness for Communicating Processes PRG-29 (1981) Hoare, C.A.R.: Specifications, Programs and Implementations PRG-3 (1981) Scott, Dana: The Lattice of Flow Diagrams PRG-37 (1981) Olderog, E.R.; Hoare, C.A.R.: Specification-Oriented Semantics for Communicating Processes PRG-39 (1983) Sheeran, Maryao: muFP - An Algebraic VLSI Design Language PRG-44 (1984) Hoare, C.A.H.; Jifeng, He: The Weakest Prespecification PRG-5 (1981) Scott, Dana: Data Types as Lattices PRG-52 (1981) Hoare, C.A.H.; Jifeng, He: Algebraic Specification and Proof of Properties of Communicating Se quential Processes PRG-6 (1981) Scott, Dana; Strachey, Christopher: Toward a Mathematical Semantics for Computer Languages R-100 (1981) Gardin, Francesco; Campbell, John A.: Tracing Occurences of Patterns in Symbolic Computations R-103 (1981) Campbell, John A.; Gardin, Francesco: A Rule-Based Approach to the Optimisation of a Many-Variable Comput ation R-107 (1981) Gardin, Francesco; Campbell, John A.: Integration of Expert-Systems Techniques and Specification of Patte rns in Testing of Program Behaviour R-110 (1982) Turner, S.J.: Extensible Languages: Which Parsing Method? R-112 (1984) GArdin, Francesco; Campbell, John A.: A Knowledge-Based Approach to user-Freindliness in Symbolic Computi ng R-120 (1984) Turner, S.J.: W-Grammars for Logic Programming R-123 (1984) Campbell, John A.; Froeman, O.; Walles, E.: Explicit Series Formulae for the Evaluation of Integrals by the Met hod of Steepest Descents R-125 (1984) Blatt, D.W.E.; Narayanan, A.; Nymeyer, A.; Wallis, W.D.: LISP Through ULISP R-127 (1984) Cumming, R.C.: Using PROLOG to Learn Grammars from Examples R-136 (1985) Yazdani, Masoud: Intelligent Tutorial Systems: An Overview R-146 (1985) Yazdani, Masoud; Lawler, Robert: Artificial Intelligence and Education: An Overview RC11248 (1985) Wagner, E.G.; Ehrig, H.: Canonical Constraints for Parameterized Data Types RIMS-558 (1986) Hattori, T.; Nakajima, R.; Sakuragawa, T.; Niide, N.: RACCO: a Modal-Logic Programming Language for Writing Models of Rea l-time Process-Control Systems RIMS-561 (1986) Sakuragawa, T.; Nakajima, R.; Hattori, T.; Niide, N.: A Work Out Example of Tube Mill in RACCO Roider(Nachlass) () Arnold, V.: methodes mathematiques de la mecanique classique Roider(Nachlass) () Arnold, V.I.: matematiueskie metody klassiueskoy mekhainki Roider(Nachlass) () Arnold, V.I.; Avez, A.: problemes erodiques de la mecanique classique Roider(Nachlass) () Ataiasya, L.S.; Vasilbeva, M.V.; Gurevich, G.; et al.: sornik zadach po zlementarnoy geometrii Roider(Nachlass) () Barashko, A.C.; Lipskaya, B.A.; Royzen, S.I.: Issledovane po teorii slozhosti vychisleniy l formalnym yazykam Roider(Nachlass) () Berger, A.: Einfuehrung in COBOL Roider(Nachlass) () Billingsley, Patrick: Ergodic theory and information Roider(Nachlass) () Boecker, Franz; Thomas, Lutz: Marketing Roider(Nachlass) () Bowen, Rufus: On axiom a diffeomorphisms Roider(Nachlass) () Bronstein, I.N.; Semendjajew, K.A.: Taschenbuch der Mathematik Roider(Nachlass) () Buchberger, B.; Collins, G.E.; Loos, R.; Albrecht, R.: Computer algebra, symbolic and algebraic computation Roider(Nachlass) () Buchberger, B.; Lichtenberger, F.: Mathematik fue Informatiker I Roider(Nachlass) () Chevalley, Claude: Theory of Lie groups Roider(Nachlass) () Collet, Pierre; Eckmann, Jean-Pierre: Iterated maps on the interval as dynamical systems Roider(Nachlass) () Cooper, Joseph D.: So schafft man mehr in weniger Zeit Roider(Nachlass) () Cornfeld, I.P.; Fomin, S.V.; Sinai, Ya. G.: Ergodic theory Roider(Nachlass) () Davis, Martin: Computability and unsolvability Roider(Nachlass) () Denker, Manfred; Grillenberger, Christian; Sigmund, Karl: Ergodic theory of compact spaces, Lnm. 527 Roider(Nachlass) () Dick, Auguste: Emmy Noether Roider(Nachlass) () Dick, Auguste: Emmy Noether Roider(Nachlass) () Doob, J.L.; et al.: A manual for authors of amthematical papers Roider(Nachlass) () Edwards, R.E.; Gaudry, G.I.: Littlewood-Paley and multiplier theory Roider(Nachlass) () Ershov, Yu. L.: teoriya iumeratsiy Roider(Nachlass) () Faddev, D.K.; Somniskiy, I.S.: Sornik zadach po visshey algere Roider(Nachlass) () Feller, William: An introduction to probability theory and its applications Roider(Nachlass) () Halmos, P.R.: Lectures on ergodic theory Roider(Nachlass) () Hirschman, I.I.: Teh decomposition of walsh and fourier series Roider(Nachlass) () Klingenberg, W.: Eine Vorlesung ueber Differentialgeometrie Roider(Nachlass) () Kolchin, E.R.: Differential algebra and algebraic groups Roider(Nachlass) () Loomis, L.H.: An introduction to abstract harmonic analysis Roider(Nachlass) () Neveu, Jacques: Discrete parameter martingales Roider(Nachlass) () Noltemeier, Hartmut: Datenstrukturen und hoehere Programmiertechniken Roider(Nachlass) () Ornstein, Donald S.: Ergodic theory, randomness, and dynamical systems Roider(Nachlass) () Polkinghorne, J.C.: Teh particle play Roider(Nachlass) () Preston, Chris: Iterates of maps on an interval Roider(Nachlass) () Proskuryakov, I.V.: Sornik zadach po lineynoy algebre Roider(Nachlass) () Rao, Ganti Prasada: Piecewise constant orthogonal functions and their application to sy stems and control Roider(Nachlass) () Rottmann, Karl: Myers grosser Rechenduden Roider(Nachlass) () Schmidt, Wolfgang M.: Equations over finite fields. An elementary approach Roider(Nachlass) () Schroedinger, Erwin: Statistische Thermodynamik Roider(Nachlass) () Schubert, Hermann: kalkuel der abzaehlenden Geometrie Roider(Nachlass) () Schwartz, Laurent: Annales de L'institut fourier Roider(Nachlass) () Shoenfield, Joseph R.: Degrees of Unsolvability Roider(Nachlass) () Shoenfield, Joseph R.: Mathematical Logic Roider(Nachlass) () Smale, Steve: Teh amthematics of time Roider(Nachlass) () Smorodinsky, Meir: Ergodic theory, entropy Roider(Nachlass) () Taibleson, M.H.: Fourier analysis on local fields Roider(Nachlass) () Targonsky, Gyoergy: Topics in iteration theory Roider(Nachlass) () Thirring, W.: Lehrbuch der mathematischen Physik 1 Klassische dynamische Systeme Roider(Nachlass) () Thirring, W.: Lehrbuch der mathematischen Physik 2 Klassische Feldtheorie Roider(Nachlass) () Thirring, W.: Lehrbuch der mathematischen Physik 3 Quantenmechanik von Atomen und Molekuelen Roider(Nachlass) () Thirring, W.: Lehrbuch der mathematischen Physik 4 Quantenmechanik grosser Systeme Roider(Nachlass) () Truesdell, C.; Bharatah, S.: Classical thermodynamics as a theory of heat engines Roider(Nachlass) () Truesdell, C.; Muncaster, R.G.: Fundamentals of Maxwell's kinetic theory of a simple monatomic gas Roider(Nachlass) () Walters, Peter: An introduction to ergodic theory Roider(Nachlass) () Walters, Peter: Ergodic theory - introductory lectures Roider(Nachlass) () Wirth, Niklaus: Algorithmen und Datenstrukturen Roider(Nachlass) () Wunderlich, Walter: Darstellende Geometrie I Roider(Nachlass) () Wunderlich, Walter: Darstellende Geometrie II Roider(Nachlass) () Zygmund, A.: Trigonometric series Roider(Nachlass) () deRham, G.: Lectures on introduction to algebraic topology Roider(Nachlass) () korolyuka, V.C.: Spravochnik po teorii veroyatnostey i matematicheskoy statistike SEKI-85-03 (1985) Boley, Harold; Kammermeier, Franz: LISPLOG: Momentaufnahmen einer LISP/PROLOG - Vereinheitlichung SEKI-85-10 (1985) Dahmen, Michael; Herr, Juergen; Hinkelmann, Knut; Morgenstern, Harry: LISPLOG: Beitraege zur LISP/PROLOG Vereinheitlichung SEKI-85-10 (1986) Dahmen, Michael; Herr, Juergen; Hinkelmann, Knut; Morgenstern, Harry: LISPLOG: Beitraege zur LISP/PROLOG Vereinheitlichung SEKI-86-04 (1986) Boley, Harold: RELFUN: A Realtional/Functional Integration with Valued Clauses SR-86-01 (1986) Blaesius, Karl-Hans: Construction of Equality Graphs SR-86-02 (1986) Beierle, Christoph; Vo~, Angelika: Specification, Horizontal Composition and Parameterization of Algeb raic Implementations SR-86-03 (1986) Reinfrank, Michael; Beetz, Michael; Freitag, Hartmut; Klug, Juergen: Kapri: A Rule Based Non-Monotonic Inference Engine with an Integrat ed Reason Maintenance System SR-86-04 (1986) Boley, Harold: RELFUN: A Relational/Functional Integration with Valued Clauses SR-86-05 (1986) Buerckert, Hans-Juergen: Some Relationships between Unification Restricted Unification and M atching SR-86-06 (1986) Goebel, Richard: Completion of Globally Finite Term Rewriting Systems for Inductive Proofs SR-86-07 (1986) Schmidt-Schau~, Manfred: Unification Properties of Idempotent Semigroups SR-86-08 (1986) Schmidt-Schau~, Manfred: Some Undecidable Classes of Clause Sets SR-86-09 (1986) Olthoff, Walter: The Augmentation of Object-Oriented Programming by Concepts of Abst ract Data Type theory: The ModPascal Experience SR-86-11 (1986) Socher, Rolf: Verification of COBOL Programs SR-86-12 (1986) Puppe, F.G.: Assoziatives diagnostisches Problemloesen mit dem Expertensystem-she ll MED2 SR-86-13 (1986) Beierle, Christoph; Vo~, Angelika: Hierarchical Structures and Dynamic Parameterization without Parame ters SR-86-14 (1986) Beierle, Christoph; Vo~, Angelika: On Implementations of Loose Abstract Data Type Specifications and t heir Vertical Composition SR-86-15 (1986) Beierle, Christoph; Vo~, Angelika: Stepwise Software Development: Combining Axiomatic and Algorithmic Approaches in Algebraic Specifications SR-86-16 (1986) Herold, Alexander: Narrowing Techniques Applied to Idempotent Unification SR-86-18 (1986) Goebel, Richard: Ground Confluence STAN-CS-78-687 (1978) Weyhrauch, Richard W. : Prolegomena to a Theory of Formal Reasoning STAN-CS-86-1093 (1985) Subramanian, D.; Buchanan, B. G.: A general reading list for artificial intelligence SWP-86-01 (1986) Puppe, Frank; Voss, Hans: Qualitative Modelle in wissensbasierten Systemen SWP-86-02 (1986) Eiden, Hans-Werner; Linster, Marc: HIQUAL. Implementierung eines Systems zur Darstellung von Zeit und Kausalitaet SWP-86-04 (1986) Lessel, Michael: micro-UNIXPERT. Ein wissensbasiertes System zur Behandlung von Prob lemen bei UNIX-Druckauftraegen SWP-86-05 (1986) Hinkelmann, Knut: Uebersetzung von LISPLOG-Programmen nach CPROLOG ScR-1 (1968) Walters, Daniel A : A representation system for parsing procedures TM-0087 (1984) Sakai, Ko: Knuth-Bendix algorithm for Thue system based on Kachinuki ordering TR-027 (1983) Yasuura, Hiroto: On the parallel computational complexity of unification TR-045 (1984) Yokota, Minoru; Yamamoto, Akira; Taki, Kazuo; et al.: The design and implementation of a personal sequential inference ma chine: PSI TR-048 (1984) Onai, Rikio; Shimizu, Hajime; Masadu, Kanae; Aso, Moritoshi: Analysis of sequential PROLOG programs TR-06-84 (1984) Valiant L.G.: Deductive Learning TR-062 (1984) Sakai, Ko: An ordering method for term rewriting systems TR-086 (1984) Uchida, Shunichi; Yokoi, Toshio: Sequential inference machine: SIM, progress report TR-096 (1984) Kanamori, Tadashi; Seki, Hirohisa: Verification of PROLOG programs using an extension of execution TR-104 (1985) Hayashi, Susumu: Towards automated synthetic differential geometry 1 - basic categor ial construction - TR-108 (1985) Seki, H.; Kanamori, T.: Incorporating generalization heuristics into verification of prolog programs TR-113 (1985) Mukai, Kuniaki: Unification over complex indetreminates in PROLOG TR-117 (1986) Kanamori, Tadashi; Horiuchi, Kenji: Construction of logic programs based on generalized unfold/fold rul es TR-131 (1985) Yokomori, Takashi: Representation theorems and primitive predicates for logic programs TR-138 (1985) Onai, R.; Masuda, K.; Shimizu, H.; et al.: Architecture and evaluation of a reduction-based inference machine: PIM-R TR-161 (1986) Minami, Toshiro: A theorem prover based on connection graph and its implementation b y PROLOG TR-175 (1986) Kanamori, Tadashi: Soundness and completeness of extended execution for proving proper ties of PROLOG programs TR-176 (1986) Kanamori, Tadashi; Fujita, Hiroshi; Horiuchi, Kenji; et al.: Argus/v: a system for verification of PROLOG programs TR-178 (1986) Kanamori, Tadashi; Maeji, Machi: Derivation of logic programs from implicit definition TR-179 (1986) Kanamori, Tadashi; Fujita, Hiroshi: Unfold/fold transformation of logic programs with counters TR-20-84 (1984) Denenberg, Lawrence: Computational Complexity of Logical Problems: Formulas, Dependencie s, and Circuits TUM-I8521 (1985) Kroeger, Fred: Temporal Logic of Programs UMCS-86-11-2 (1986) Martin, Ursula: Unification in boolean rings and unquantified formulae of first ord er predicate calculus UMCS-86-5-1 (1987) Martin, Ursula: Multiset orderings UMCS-87-5-2 (1987) Martin, Ursula: How to choose the weights in the Knuth Bendix ordering W100 (1984) Campbell, J.A.d: Symbolic Computing and Program Verification W111 (1984) Yazdani, Masoud: How to Build an Expert System W116 (1983) Ford, L.Eric Ole: The Value of Natural Language to the Novice Programmer Learning to Structure Programs W122 (1984) Barber, Eric Ole: Expert Systems Survey W126 (1984) Davies, Roy; James, Brian: Expert Systems and Cataloguing W127 (1984) Campbell, J.A.; Froman, O.; Walles, E.: Explicit Series Formulae for the Evaluation of Integrals by the Met hod of Steepest Descents W132 (1984) Lamb, M.A.R.; Turner, S.J.: Error Detection and Recovery for a LALR (1) ADA PArser W133 (1984) Campbell, J.A.: Expert Systems and Professional Liability b33 (1986) Kettunen, Esa; Montonen, Esa; Tuuliniemi, Timo: A comparison of Pr/T-net based fifo channel models b34 (1986) Tiusanen, M.; Valmari, A.: A graph model for efficient reachability analysis of description languages b35 (1986) Tuominen, H.: A logical basis for C/E-systems c5 (1986) Montonen, Esa: SPNA - a stochastic petri net analyzer cim-86-2 (1986) Kant, K.; Zucker, St. W.: Planning smooth collision-free trajectories: Path, velocity and splines in free-space csd-tr-549 (1985) Atallah, Mikhail J.; Bajaj, Chanderjit: Efficient algorithms for common transversals csr-26-78 (1978) atkinson, m.p. : programming languages and databases cu-cs-055-74 (1974) Osterweil, L.J.; Fosdick, L.D.: Data flow analysis as an aid in documentation, assertion generation validitation, and error detection ln.c.-05 (1972) Ershov, A.; et al.: International symposium on theoretical programming ln.c.-19 (1974) Robinet, B.: Programming symposium ln.c.-25 (1974) Manes, E.G.: Category theory applied to computation and control ln.c.-33 (1975) Brakhage, H.: Automata theory and formal languages ln.c.-35 (1975) Everling, W.: Exercises in computer systems analysis ln.c.-37 (1975) Boehm, C.: Lambda calculus and computer science theory ln.c.-45 (1976) Mazurkiewicz, A.: mathematical foundations of computer science ln.c.-48 (1977) Tzschach, H.; et al.: Theoretical computer science ln.c.-62 (1978) Ausiello, G.; et al.: Automata, Languages and programming ln.c.-64 (1978) Winkowski, J.: Mathematical foundations of computer science rc12626 () Farouki, R.T.; Rajan, V.T.: On the numerical condition of Bernstein polynomials seki-84-05 (1984) Boley, H.: LISP, Eine funktionale Einfuehrung syspro42/87 (1987) Stadler, Kurt: Sprachvollsynthese mit TALKMAN syspro43/87 (1987) Novacek, Alfred: Das Interfacing von Modula-2 Programmen zu anderen Software- Produkten am Beispiel der Index-Verwaltung FABS tm-57 (1986) Ang, M.H.; Tourassis, V.D.: General-purpose inverse kinematics transformations for robotic manipulators tom15 () Abramov, S.A.: Nauchnye soobshchentsya tr-87-05 (1987) Rival, I.; Urrutia, J.: Representing orders in the plane by translating convex figures tr-87-11 (1987) Pelc, A.; Rival, I.: Orders with level diagrams tr-87-12 (1987) Czyzowics, J.; Pelc, A.; Rival, I.: Drawing orders with few slopes tr314/rr118 (1987) Aronov, B.; O'Dunlaing, C.: Analysis of the motion-planning problem for a simple two-link planar arm