Zusammenfassung
Dieser Aufsatz befaßt sich mit Programmiersprachen, die ihrem Gehalt nach hauptsächlich in dem Sinn „erklärend“ sind, daß viel weniger Information als üblich über die Reihenfolge, in der einzelne Operationen auszuführen sind, angegeben wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Elcock, E. W., Foster, J. M., Gray, P. M. D., McGregor, J. J., Murray, A. M.: ABSET, a programming language based on sets; motivation and examples. In : Machine Intelligence 6, 467–492 ( Meltzer, B., Michie, D., Hrsg.). Edinburgh: Edinburgh University Press 1971.
Fikes, R. E.: REF-ARF: a system for solving problems stated as procedures. Artificial Intelligence 1, 27–120 (1970).
Foster, J. M., Elcock, E. W.: ABSYS 1: an incremental compiler for assertions; an introduction. In: Machine Intelligence 4, 423–429 ( Meltzer, B., Michie, D., Hrsg.). Edinburgh Edinburgh University Press 1969.
Nevins, A. J.: A programming language with automatic goal generation and selection. J. Ass. Comput. Mach. 17, 216–230 (1970).
Robinson, J. A.: Mechanizing higher-order logic. In: Machine Intelligence 4, 151–170 ( Meltzer, B., Michie, D., Hrsg.). Edinburgh: Edinburgh University Press 1969.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag/Wien
About this chapter
Cite this chapter
Elcock, E.W. (1975). Problemlösungskompilierer. In: Findler, N.V. (eds) Künstliche Intelligenz und Heuristisches Programmieren. Springer, Vienna. https://doi.org/10.1007/978-3-7091-8389-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-7091-8389-2_3
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-8390-8
Online ISBN: 978-3-7091-8389-2
eBook Packages: Springer Book Archive