Skip to main content
SpringerLink
Log in

Literaturverzeichnis

  • Chapter
LISP

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

  • 96 Accesses

Zusammenfassung

Die am Ende jedes Zitats in Klammern angebenen Zahlen bezeichnen das Kapitel, in dem das betreffende Werk zitiert wird.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Abbreviations

CMU-CS-…:

Carnegie Mellon University, Department of Computer Science, Technical Report

Comm. ACM:

Communications of the Association for Computing Machinery

IJCAI:

International Joint Conference on Artificial Intelligence

ISSCO:

Institute for Semantic and Cognitive Studies, Genf

Jl. ACM:

Journal of the Association for Computing Machinery

MIT-AI-TR-…:

Massachusetts Institute of Technology, Artificial Intelligence Laboratory, Technical Report

MIT-AIM-…:

Massachusetts Institute of Technology, Artificial Intelligence Laboratory, Memo

STAN-CS-…:

Stanford University, Department of Computer Science, Report

SU-AIM-…:

Stanford University, Artificial Intelligence Laboratory, Memo

References

  • Abelson H, Sussman G, The Structure and Interpretation of Computer Programs, Versionen 1978, 1980, 1981, MIT-AI-TR-735, Cambridge, Mass., 1983, (0, 7, 9)

    Google Scholar 

  • Abrahams PW et al. (Ed.), The LISP 2 Programming Language and System, in: Proc. Fall Joint Computer Conference, Vol. 29, Washington, D.C., Spartan Books, 1966, 661–676, (8)

    Google Scholar 

  • Aho AV, Hoperoft JE, Ullman JD, The Design and Analysis of Computer Algorithms, Reading, Mass., Addison-Wesley, 1974, (6)

    MATH  Google Scholar 

  • Allen J, Anatomy of LISP, New York, McGraw-Hill, 1978, (0, 9)

    MATH  Google Scholar 

  • Allen J, The TLC-LISP Documentation, Los Gatos, The LISP Company, 1980, (0, 8, 12) Backus J, Can Programming be Liberated from the Von Neumann Style? A Functional Style and Its Algebra of Programs, Comm. ACM, Vol. 21, No. 8, 1978, 613–641

    Google Scholar 

  • Baker H, Shallow Binding in LISP 1.5, Comm. ACM, Vol. 27, No. 7, 1978, 565–569, (9)

    Article  Google Scholar 

  • Barr A, Feigenbaum E, The Handbook of Artificial Intelligence, Vol. 1–3, Los Altos, W. Kaufmann, 1981

    MATH  Google Scholar 

  • Bauer FL, Goos G, Informatik: Eine einfuehrende Uebersicht, Berlin, Springer, 3. Aufl., 1982, (1)

    MATH  Google Scholar 

  • Bauer FL, Woessner H, Algorithmische Sprache und Programmentwicklung, Berlin, Springer, 2. Aufl., 1984, (5, 6)

    Google Scholar 

  • Berkeley EC, Bobrow DG, The Programming Language LISP: Its Operation and Applications, Cambridge, Mass., MIT Press, 1966

    Google Scholar 

  • Bibel W, Automated Theorem Proving, Braunschweig, Wiesbaden, Vieweg, 1982

    Book  Google Scholar 

  • Bobrow DG, Natural Language Input for a Computer Problem-Solving System, in: Minsky (1968), 135–215, (11)

    Google Scholar 

  • Bobrow DG, Raphael B, New Programming Languages for Artificial Intelligence Research, ACM Computing Surveys, Vol. 6, No. 3, 1974, 153–174

    Article  MATH  Google Scholar 

  • Bobrow DG, Stefik M, The LOOPS Manual, Xerox PARC, 1983, (10)

    Google Scholar 

  • Bobrow DG, Wegbreit B, A Model and Stack Implementation of Multiple Environments, Comm. ACM, Vol. 16, No. 10, 1973, 591–603, (9)

    Google Scholar 

  • Boden MH, Artificial Intelligence and Natural Man, New York, Basic Books, 1977

    Google Scholar 

  • Boehm C, Jacopini G, Flow Diagrams, Turing Machines and Languages with only Two Formation Rules, Comm. ACM, Vol. 9, No. 5, 1966, 366–371

    Google Scholar 

  • Berry DM, LISP for ALGOL Afficionados and ALGOL for LISP Afficionados, Brown University, Computer Science Rept., Providence, R.I., 1970, (9)

    Google Scholar 

  • Brady M, The Theory of Computer Science, London, 1977, (6)

    MATH  Google Scholar 

  • Buchberger B, Collins GE, Loos R (Hg.), Computer Algebra - Symbolic and Algebraic Computation, Wien, Springer, 1983, (6)

    Google Scholar 

  • Bundy A, Artificial Intelligence: An Introductory Course, Edinburgh, Edinburgh Univ. Press, 1978

    Google Scholar 

  • Burge WH, Recursive Programming Techniques, Reading, Mass., Addison-Wesley, 1975 Calmet J (Ed.), Computer Algebra, Berlin, Springer LNCS 144, 1982, (7)

    Google Scholar 

  • Chang CL, Lee RCT, Symbolic Logic and Mechanical Theorem Proving, New York, Academic Press, 1973, (11)

    MATH  Google Scholar 

  • Charniak E, Riesbeck C, McDermott D, Artificial Intelligence Programming, Hillsdale, L. Erlbaum Assoc., 1980, (0, 7, 8, 9, 13)

    Google Scholar 

  • Chase WG, Visual Information Processing, New York, Academic Press, 1973, (11)

    Google Scholar 

  • Christaller T, Di Primio F, A Poor Man’s Flavor System, Report ISSCO, Genf, 1983, (10)

    Google Scholar 

  • Church A, The Calculi of Lambda-Conversion, Annals of Mathematics Studies, Vol. 6, Prince-ton, N.J., Princeton Univ. Press, 1941, (5)

    Google Scholar 

  • Darlington J et al. (Ed.), Functional Programming and its Applications - An Advanced Course, Cambridge, Cambridge Univ Press, 1982, (1)

    MATH  Google Scholar 

  • Davis R, King J, An Overview of Production Systems, in: Michie (1977), 300–332, (11)

    Google Scholar 

  • Di Primio F, Realisierung objektorientierter Konzepte in LISP, in: Stoyan/Wedekind (1983), 319–338, (10)

    Google Scholar 

  • Dijkstra EW, Goto statement considered harmful, Comm ACM Vol. 18, 1975, 147f., 538, 541 (7)

    Google Scholar 

  • Elcock E, Michie D, Machine Intelligence Vol. 8, Chichester, Ellis Horwood Ltd., 1977, (11)

    Google Scholar 

  • Elithorn A, Jones D (Ed.), Artificial and Human Thinking, Amsterdam, Elsevier, 1973, (11)

    MATH  Google Scholar 

  • Elson M, Concepts of Programming Languages, Chicago, SRA, 1973, (7)

    MATH  Google Scholar 

  • Emanuelsson P, Performance enhancement in a well-structured pattern matcher through partial evaluation, Diss. Univ. Linkoeping, Linkoeping, 1980, (11)

    Google Scholar 

  • Floyd RW, Syntactic Analysis and Operator Precedence, J1. ACM, Vol. 10, 1963, 316–333, (8)

    Google Scholar 

  • Floyd RW, The Paradigms of Programming, Comm. ACM, Vol. 22, 1979, 455–460, (7)

    Google Scholar 

  • Foderaro JK, The FRANZ LISP Manual, University of California, Berkeley, Calif., 1979

    Google Scholar 

  • Forgy C, OPS4 User’s Manual, CMU-CS-79–132, Pittsburgh, 1979, (11)

    Google Scholar 

  • Forgy C, OPS5 User’s Manual, CMU-CS-81–735, Pittsburgh, 1981

    Google Scholar 

  • Friedman D, The Little LISPer, Palo Alto, SRA, 1974

    Google Scholar 

  • Friedman P, Wise DS, CONS should not evaluate its arguments, in: Michaelson/Milner, Automata, Languages and Programming. Third International Colloquium, Edinburgh, Edinburgh Univ Press, 1976, 257–284, (9)

    Google Scholar 

  • Ghezzi C, Jazayeri M, Programming Language Concepts, New York, Wiley, 1982, (7)

    MATH  Google Scholar 

  • Goldberg A, Robson D, Smalltalk 80: The Language and Its Implementation, Reading, Mass., Addison-Wesley, 1983, (1, 9)

    MATH  Google Scholar 

  • Goldstein IP, PrettyPrinting - Converting List to Linear Structure, MIT AIM-495, Cambridge, Mass., 1973, (8)

    Google Scholar 

  • Gordon MJC, The Denotational Description of Programming Languages, Berlin, Springer, 1977, (1)

    Google Scholar 

  • Griss M, Hearn A, A Portable LISP Compiler, Software - Practice and Experience Vol. 11, 1981, 541–605, (12)

    Google Scholar 

  • Guttag JV, Abstract Data Types and the Development of Data Structures, Comm. ACM, Vol. 20, No. 6, 1977, 396–404, (5)

    Google Scholar 

  • Haraldsson A, LISP details - InterLISP 360–370, Uppsala Univ., Dept. of Comp. Science, Uppsala, 1978, (6)

    Google Scholar 

  • Hayes P, The Frame Problem and Related Problems in Artificial Intelligence, in: Elithorn/Jones (1973), 45–59, (11)

    Google Scholar 

  • Hearn AC, Standard LISP, ACM SIGPLAN Notices, Vol. 4, No. 9, auch: Stanford Univ. SU-AIM-90 (1969), 1969

    Google Scholar 

  • Hearn AC, Norman AC, A One-Pass Prettyprinter, ACM SIGPLAN Notices, Vol. 14, No. 12, 1979

    Article  Google Scholar 

  • Henderson P, Functional Programming - Application and Implementation, Englewood Cliffs, Prentice-Hall, 1980, (1, 6, 9)

    Google Scholar 

  • Henderson P, Morris JH, A Lazy Evaluator, ACM SIGPLAN Third Symp. on Principles of Programm. Languages, 1976, (9)

    Google Scholar 

  • Hermes H, Aufzaehlbarkeit, Entscheidbarkeit, Berechenbarkeit, Berlin, Springer, 1971, (6)

    MATH  Google Scholar 

  • Hewitt C, Viewing Control Structures as Patterns of Passing Messages, Artificial Intelligence Jl., Vol. 8, 3, 1977, 324–364

    Google Scholar 

  • Hewitt C, Bishop P, Steiger R, A Universal Modular Actor Formalism for Artificial Intelligence, in: Advance Papers of the Third IJCAI -73, Los Altos, Kaufmann, 1973, 235–245, (9, 10)

    Google Scholar 

  • Hofstadter DR, Gödel - Escher Bach: An Eternal Golden Braid, Hassocks, Sussex, Harvester, 1979

    Google Scholar 

  • Hulzen JA v. (Ed.), Computer Algebra, Berlin, Springer (LNCS 162), 1983, (12)

    Google Scholar 

  • Jenks RD, MODLISP: An Introduction, in: Ng (1981), 466–480, (10)

    Google Scholar 

  • Jenks RD, Trager BM, A Language for Computational Algebra, in: Proc. 1981 ACM Symp. on Symbolic and Algebraic Computation, New York, ACM, 1981, (10)

    Chapter  Google Scholar 

  • Kambartel F et al., Wissenschaftstheorie als Wissenschaftskritik, Frankfurt, Aspekte Verlag, 1974, (5)

    Google Scholar 

  • Klahr D, A Production System for Computing, Subitizing, and Adding, in: Chase (1973), 527–546, (11)

    Google Scholar 

  • Knuth DE, The Art of Computer Programming. Vol. 1: Fundamental Algorithms, Reading, Mass., Addison-Wesley, 1968, (6)

    Google Scholar 

  • Knuth DE, Structured Programming with goto statements, ACM Computing Surveys, Vol. 6, No. 4, 1974, 262–301, (7)

    Google Scholar 

  • Kornfeld WA, Pattern-Directed Invocation Languages, Byte, No. 8, 1979, 34–48

    Google Scholar 

  • Kurokawa T, Input/Output Facilities in LISP 1.9, Software - Practice and Experience, Vol. 8, 1978, 277–284, (8)

    Google Scholar 

  • LISP Conference, Conference Record of the 1980 LISP Conference, Stanford/Redwood Est, The LISP Conference, 1980, (7)

    Google Scholar 

  • LISP Conference, Conference Record of the 1982 ACM Symposium on LISP and Functional Programming, New York, ACM, 1982

    Google Scholar 

  • Landin P, The mechanical evaluation of expressions, The Computer Journal, Vol. 6, No. 4, 1964, 308–320, (9)

    Google Scholar 

  • Laubsch JH et al., MACLISP Manual, Inst. f. Informatik, Univ. Stuttgart, CUU-Memo-3, Stuttgart, 1976, (7)

    Google Scholar 

  • Laubsch JH, Programmiermethoden in der Künstlichen Intelligenzforschung, Habilitationsschrift, Stuttgart, 1983

    Google Scholar 

  • Laubsch JH, Advanced LISP Programming, in: O’Shea (1984)

    Google Scholar 

  • Ledgard HF, Marcotty M, A Genealogy of Control Structures, Comm. ACM, Vol. 18, No. 11, 1975, 629–639, (7)

    Google Scholar 

  • Lehmann E, Ein LISP-Programm zur experimentellen Untersuchung automatischer Problemlöseprozesse, TU Dresden, 1973, 100–125, (11)

    Google Scholar 

  • Lieberman H, A Preview of Act1, MIT-AIM-625, 1981, (9)

    Google Scholar 

  • Liskov B, Zilles S, Programming with Abstract Data Types, in: Proc. ACM SIGPLAN Conf. on Very High Level Languages, SIGPLAN Notices Vol. 9, No. 4, 1974, 50–59, (6)

    Google Scholar 

  • Lorenzen P, Schwemmer O, Konstruktive Logik, Ethik und Wissenschaftstheorie, Mannheim, Bibliographisches Institut (BI 700), 1975, (5)

    Google Scholar 

  • Manna Z, Mathematical Theory of Computation, New York, McGraw-Hill, 1974, (1)

    Google Scholar 

  • Marti JAC et al., Standard LISP Report, ACM SIGPLAN Notices, Vol. 14, No. 10, 1979, 48–68

    Article  Google Scholar 

  • Masinter LM, Deutsch P, Local Optimization in a Compiler for Stack-based Lisp Machine, in: LISP Conference (1980), 223–230, (12)

    Google Scholar 

  • Masinter LM, Deutsch LP, Local Optimization in a Compiler for Stack-based LISP Machines. LISP Conference (1980), 223–230

    Google Scholar 

  • McCarthy J, Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I, Comm ACM Vol. 3, No. 4, 1960, 185–195, (1, 6)

    Google Scholar 

  • McCarthy J, A Micro-Manual for LISP Not the Whole Truth, ACM SIGPLAN Notices, Vol. 13, No. 8, 1978, 215–216

    Article  Google Scholar 

  • McCarthy J et al., LISP I Programmer’s Manual, MIT Computer Center and Res. Lab. Electronics, Cambridge, Mass., 1960, (6)

    Google Scholar 

  • McCarthy J et al., LISP 1.5 Programmer’s Manual, Cambridge, Mass., MIT Press, 1962, (1, 6)

    Google Scholar 

  • McCarthy J, Talcott C, LISP - Programming and Proving, Stanford Univ., Dept. of Comp. Science, Stanford, 1980

    Google Scholar 

  • McCorduck P, Machines Who Think, San Francisco, Freeman, 1979

    Google Scholar 

  • McDermott J, A Rule-Based Configurer of Computer Systems, Artificial Intelligence Jl., Vol. 19, 1982, 39–88, (11)

    Google Scholar 

  • Meehan J, The New UCI LISP Manual, Hillsdale, N.J., L. Erlbaum Assoc., 1979

    Google Scholar 

  • Michie D (Ed.), Expert Systems in the Microelectronic Age. Edinburgh, 1979

    Google Scholar 

  • Minsky M, Computation: Finite and Infinite Machines, Englewood Cliffs, Prentice-Hall, 1967, (5)

    Google Scholar 

  • Minsky M (Ed.), Semantic Information Processing, Cambridge, Mass., MIT Press, 1968, (11)

    Google Scholar 

  • Model M, Monitoring System Behavior in a Complex Computational Environment, Xerox PARC CSL-79–1, Palo Alto, 1979, (10)

    Google Scholar 

  • Moon D, Stallman R, Weinreb D, LISP Machine Manual, MIT AI Lab., Cambridge, Mass., Fifth Edition, 1983

    Google Scholar 

  • Moon D, Weinreb D, Flavors: Message Passing in the Lisp Machine, MIT-AIM-602, Cambridge, Mass., 1980, (10)

    Google Scholar 

  • Moore JS, The InterLISP Virtual Machine Specification, Xerox PARC CSL-76–6, Palo Alto, Xerox, 1976, (9)

    Google Scholar 

  • Moses J, The Function of FUNCTION in LISP or Why the FUNARG Problem Should be Called the Environment Problem, ACM SIGSAM Bulletin, Vol. 16, 1970, 13–27, (9)

    Article  Google Scholar 

  • Moses J, Algebraic Simplification: A Guide for the Perplexed, Comm. ACM, Vol. 14, 1971, 527–537, (6)

    Google Scholar 

  • Newell A, Production Systems: Models of Control Structures, in: Chase (1973), 463–526, (11)

    Google Scholar 

  • Nicholls JE, The Structure and Design of Programming Languages, Reading, Mass., Addison-Wesley, 1975, (7)

    Google Scholar 

  • Ng EW (Ed.), Symbolic and Algebraic Computation - EUROSAM’79, An International Symposium on Symbolic and Algebraic Computation, Berlin, Springer (LNCS 72), 1979, (10)

    Google Scholar 

  • Nilsson N, Principles of Artificial Intelligence, Berlin, Springer, 1980

    MATH  Google Scholar 

  • O’Shea T, Eisenstadt M, Artifical Intelligence Skills, London, Harper & Row, 1984

    Google Scholar 

  • Padget JA, Escaping from intermediate expression swell: a continuing saga, in: Calmet (1982), 256–262, (7)

    Google Scholar 

  • Peter R, Rekursion in der Komputer-Theorie, Budapest, 1976, (6)

    Google Scholar 

  • Pitman K, Special Forms in LISP, in: LISP Conference (1980), 179–187, (7)

    Google Scholar 

  • Post E, Formal reductions of the general combinatorial decision problem, Am. Journal of Mathematics, Vol. 65, 1943, 197–268, (11)

    Google Scholar 

  • Pratt V, Top Down Operator Precedence, in: Proc. ACM Conference on Principles of Programming Languages, New York, ACM, 1973, 41–53, (8)

    Google Scholar 

  • Pratt VR, LISP, MIT, unpublished manuscript, Cambridge, Mass., 1977

    Google Scholar 

  • Raphael B, The Thinking Computer - Mind Inside Matter, San Francisco, Freeman, 1976

    MATH  Google Scholar 

  • Raulefs P, Expert Systems: State of the Art and Future Prospects, in: Siekmann (1981), 98–111, (11)

    Google Scholar 

  • Raulefs P et al., A Short Survey on the State of Art in Matching and Unification Problems, SIGSAM Bulletin, Vol. 13, 1978, (11)

    Google Scholar 

  • Ribbens D, Programmation non numerique LISP 1.5, Paris, Dunod, 1969

    Google Scholar 

  • Rulifson JF, Derksen JA, Waldinger RJ, QA4 Reference Manval SRI International, Technical Report, Meulo Park, 1971

    Google Scholar 

  • Sandewall E, A Proposed Solution to the FUNARG problem, Uppsala Univ., Dept. Computer Science, Report No. 29, 1970, (9)

    Google Scholar 

  • Sandewall E, Ideas about Management of LISP Data Bases, in: Advance Papers of the Fourth IJCAI -75, Los Altos, Kaufmann, 1975, 585–592

    Google Scholar 

  • Sandewall E, Some Observations on Conceptual Programming, in: Elcock/Michie (1977), 223–265

    Google Scholar 

  • Sandewall E, Programming in the Interactive Environment: The LISP Experience, ACM Computing Surveys, Vol. 10, No. 1, 1978, 35–72, (10, 13)

    Google Scholar 

  • Shapiro SC, Techniques of Artificial Intelligence, New York, D. van Nostrand, 1979

    MATH  Google Scholar 

  • Shortliffe EH, Computer Based Medical Consultations: MYCIN, New York, American Elsevier, 1976, (11)

    Google Scholar 

  • Sheil B, Power Tools for Programmers, Datamation, Feb. 1983, 131–144

    Google Scholar 

  • Siekmann JH (Hg.), GWAI-81. German Workshop on Artificial Intelligence, Berlin, Springer (IFB 47), 1981, (11)

    Google Scholar 

  • Siekmann J, Wrightson G (Ed.), Automation of Reasoning, Vol. 1–2, Berlin, Springer, 1983 Siklossy L, Let’s Talk LISP, Englewood Cliffs, Prentice-Hall, 1976

    Google Scholar 

  • Slagle JR, Artificial Intelligence: The Heuristic Programming Approach, New York, McGraw-Hill, 1971

    Google Scholar 

  • Steele BK, Strategies for Data Abstraction in LISP, in LISP Conference, 1980, 173–178

    Google Scholar 

  • Steele GL, LAMBDA - The Ultimate Declarative, MIT-AIM-379, Cambridge, Mass., 1976, (7, 12)

    Google Scholar 

  • Steele GL, Maccaroni is better than Spaghetti, in: Proc. of the Symp. on Art. Intell. And Programming Languages, ACM SIGART Newsletter/SIGPLAN Notices, 1977, 60–66, (9)

    Google Scholar 

  • Steele GL, Fast Arithmetic in MacLISP, MIT-AIM-421, Cambridge, Mass., 1977, (12)

    Google Scholar 

  • Steele GL, RABBIT: A Compiler for SCHEME (A Study in Compiler Optimization), MIT-AI- TR-474, Cambridge, Mass., 1978, (12)

    Google Scholar 

  • Steele GL, Sussman GJ, LAMBDA: The Ultimate Imperative, MIT AIM-353, Cambridge, Mass., 1976, (7)

    Google Scholar 

  • Steele GL, Sussman GJ, The Revised Report on SCHEME: A Dialect of LISP, MIT-AIM-452, Cambridge, Mass., 1977

    Google Scholar 

  • Steele GL, Sussman GJ, The Art of Interpreter, or, The Modularity Complex, MIT-AIM-453, Cambridge, Mass., 1978

    Google Scholar 

  • Steele GL et al., Common LISP Reference Manual (Mary Poppins Edition), CMU, Dept. Comp. Science, Spice Project, Pittsburgh, 1983, (0)

    Google Scholar 

  • Stefik M, Planning and Meta-Planning (MOLGEN Part 2), Artificial Intelligence Jl., Vol. 16, 1981, 141–170, (11)

    Google Scholar 

  • Stoy JE, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, Cambridge, Mass., MIT Press, 1977, (1)

    Google Scholar 

  • Stoyan H, LISP - Anwendungsgebiete, Grundbegriffe, Geschichte, Berlin, Akademie-Verlag, 1980, (1)

    Google Scholar 

  • Stoyan H, Lisp compilation viewed as provable semantics preserving program transformation, in: Hulzen (1983), 116–127, (12)

    Google Scholar 

  • Stoyan H, Goerz G, Was ist objektorientierte Programmierung?, in: Stoyan/Wedekind (1983), 9–31, (1, 9)

    Google Scholar 

  • Stoyan H, Wedekind H (Hg.), Objekt-orientierte Software-and Hardware-Architekturen, Stuttgart, Teubner, 1983, (1)

    Google Scholar 

  • Sussman GJ, LISP, Programming and Implementation, in: Darlington (1982), 29–71, (1)

    Google Scholar 

  • Sussman GJ, McDermott D, From PLANNER to CONNIVER - A genetic approach, in: Proc. Fall Joint Computer Conference, Vol. 41, Montvale, N.J., AFIPS Press, 1972, 1171–1179

    Google Scholar 

  • Sussman GJ, Steele GL, SCHEME: An Interpreter for Extended Lambda Calculus, MIT-AIM- 349, Cambridge, Mass., 1975, (9, 12)

    Google Scholar 

  • Sussman GJ, Winograd T, Charniak E, MICRO-PLANNER Reference Manual, MIT-AIM203A, Cambridge, Mass., 1973

    Google Scholar 

  • Suzuki N, Automatic Program Verification II: Verifying Programs by Algebraic and Logical Reduction, Stanford Univ. STAN-CS-74–473 (SU-AIM-255), Stanford, 1974, (10)

    Google Scholar 

  • Suzuki N, Automatic Verification of Programs with Complex Data Structures, Ph.D. Thesis, Stanford Univ., Stanford, 1976, (10)

    Google Scholar 

  • Teitelman W et al., InterLISP Reference Manual, Xerox PARC, Palo Alto, Xerox, 1978, (11)

    Google Scholar 

  • Teitelman W, Masinter L, The InterLISP Programming Environment, IEEE Computer, Vol. 14, No. 4, 1981, 25–33

    Article  Google Scholar 

  • Tesler LG et al., The LISP70 Pattern Matching System, in: Advance Papers of the Third IJCAI -73, Los Altos, Kaufmann, 1973, 671–676

    Google Scholar 

  • Theriault DG, Issues in the Design and Implementation of Act2, MIT-AI-TR-728, Cambridge, Mass., 1983, (9)

    Google Scholar 

  • Waterman DA, Adaptive Production Systems, in: Advance Papers of the Fourth IJCAI -75, Los Altos, Kaufmann, 1975, 296–303, (11)

    Google Scholar 

  • Waterman DA, Hayes-Roth P (Ed.), Pattern-Directed Inference Systems, New York, Academic Press, 1978, (11)

    Google Scholar 

  • Weissman C, LISP 1.5 Primer, Belmont, Calif., Dickenson Publ. Comp, 1967

    Google Scholar 

  • Weizenbaum J, ELIZA - A Computer Program for the Study of Natural Language Communi-cation between Man and Machine, Comm. ACM, Vol. 9, No. 1, 1965, (11)

    Google Scholar 

  • Weizenbaum J, Die Macht der Computer and die Ohnmacht der Vernunft, Frankfurt, Suhrkamp (stw 274), 1978, (11)

    Google Scholar 

  • Wexelblat R, History of Programming Languages, New York, Academic Press, 1981, (1)

    MATH  Google Scholar 

  • Winograd T, Understanding Natural Language, New York, Academic Press, 1972, (5, 10)

    Google Scholar 

  • Winograd T, Beyond Programming Languages, Comm ACM, Vol. 22, 1979, 391–401 (13)

    Google Scholar 

  • Winston P, Artificial Intelligence, Reading, Mass., Addison-Wesley, 1977, (5, 11)

    Google Scholar 

  • Winston P, Brown RH (Ed.), Artificial Intelligence: An MIT Perspective, Vol. 1–2, Cambridge, Mass., MIT Press, 1980

    Google Scholar 

  • Winston P, Horn BKP, LISP, Addison-Wesley, 1981, (0, 5, 6, 8, 11)

    Google Scholar 

  • Wirth N, Algorithmen and Datenstrukturen, Stuttgart, Teubner, 1979, (6)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IMMD VI, Universität Erlangen-Nürnberg, Martensstr. 3, 8520, Erlangen, Deutschland

    Dr. Ing. habil. Herbert Stoyan

  2. RRZE, Martensstr. 1, 8520, Erlangen, Deutschland

    Dipl.-Math. Günter Görz

Authors
  1. Dr. Ing. habil. Herbert Stoyan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dipl.-Math. Günter Görz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Stoyan, H., Görz, G. (1984). Literaturverzeichnis. In: LISP. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71455-9_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-71455-9_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16914-7

  • Online ISBN: 978-3-642-71455-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation