Suchergebnisse
Der Artikel „Journal of Logic Programming“ existiert in der deutschsprachigen Wikipedia nicht. Du kannst den Artikel erstellen (Quelltext-Editor, Anleitung).
Wenn dir die folgenden Suchergebnisse nicht weiterhelfen, wende dich bitte an die Auskunft oder suche nach „Journal of Logic Programming“ in anderssprachigen Wikipedias.
- Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994. S.H. Nienhuys-Cheng and R. de Wolf: Foundations of Inductive…10 KB (771 Wörter) - 15:37, 10. Mai 2025
- algorithms for testing the satisfiability of propositional horn formulae. In: The Journal of Logic Programming. Band 1, Nr. 3, 1984, S. 267–284, doi:10…37 KB (4.848 Wörter) - 08:47, 15. Mai 2025
- Wos: Automated theorem proving and logic programming: A natural symbiosis. In: The Journal of Logic Programming. Band 11, Nr. 1, 1991, S. 1–53, doi:10…5 KB (609 Wörter) - 23:28, 2. Dez. 2022
R (Programmiersprache) (Weiterleitung von „R Journal“)PopularitY of Programming Language. In: PYPL Index. Pierre Carbonnelle, abgerufen am 19. März 2024 (englisch). Stephen Cass: The Top Ten Programming Languages…149 KB (14.177 Wörter) - 18:45, 28. Jun. 2025- Association for Computing Machinery (Abschnitt Journals)Multimedia SIGMOBILE Mobility of Systems, Users, Data and Computing SIGMOD Management of Data SIGOPS Operating Systems SIGPLAN Programming Languages SIGSAC Security…9 KB (925 Wörter) - 16:33, 12. Jun. 2025
- 88). „On the history of the logic of propositions“, abgedruckt in: Łukasiewicz 1970, Seite 207 ff. Michael L. Scott: Programming Language Pragmatics.…8 KB (1.003 Wörter) - 20:11, 3. Okt. 2024
AnyLogic ist ein Multimethoden-Simulationswerkzeug, das von The AnyLogic Company (ehemals XJ Technologies) entwickelt wird. Es unterstützt systemdynamische…26 KB (2.610 Wörter) - 20:30, 25. Feb. 2025- Ray Reiter (Kategorie Hochschullehrer (University of Toronto))1978, S. 147–177 A logic for default reasoning. Artificial Intelligence, Band 13, 1980, S. 81–132. Towards a logical reconstruction of relational database…4 KB (434 Wörter) - 19:13, 12. Jul. 2025
Graphs, Journal of the ACM, Band 22, 1975, S. 572–596 Algorithm= Logic + Control, Communications of the ACM, Band 22, 1979, S. 424–436 Logic Programming, Byte…3 KB (383 Wörter) - 23:21, 26. Okt. 2024
computer programming. In: Laurence Jonathan Cohen, Jerzy Łoś, Helmut Pfeiffer, Klaus-Peter Podewski (Hrsg.): Logic, Methodology and the Philosophy of Science…6 KB (611 Wörter) - 18:29, 6. Jun. 2025
memoriam: Martin Davis – Association for Logic Programming. In: Logicprogramming.org. Association for Logic Programming, 3. Januar 2023, abgerufen am 4. Januar…6 KB (560 Wörter) - 17:16, 2. Jul. 2024- the calculus of relations. In: Journal of Symbolic Logic. Band 6, 1941, S. 73–89, doi:10.2307/2268577. Steven Givant: A Formalization of Set Theory without…8 KB (925 Wörter) - 15:15, 12. Sep. 2024
- Programming. In: Journal of Computer and System Science (JCSS), 17, 1978, S. 348–374, online (PDF; 1,6 MB) Luis Damas: Type Assignment in Programming…7 KB (805 Wörter) - 13:06, 27. Mai 2023
Curry (Programmiersprache) (Kategorie Wikipedia:Vorlagenfehler/Vorlage:Cite journal/temporär)Januar 1 Sergio Antoy and Michael Hanus: Functional Logic Programming. In: Communications of the ACM. 53. Jahrgang, Nr. 4. ACM, 2010, S. 74–85, doi:10…6 KB (450 Wörter) - 16:51, 25. Nov. 2024- Hoare-Kalkül (Abschnitt Konsequenzregel (Rule of Consequence))Edmund M. Clarke: Programming Language Constructs for Which it is Impossible to Obtain Good Hoare-like Axiom Systems. In: Journal of the Association for…12 KB (1.696 Wörter) - 08:46, 28. Okt. 2024
- Model driven Software Engineering Notations for logic control in Manufacturing Automation. In: Journal of Software Engineering and Applications, Vol. 7…9 KB (952 Wörter) - 17:11, 2. Dez. 2024
Constructive Interpretation of the Full Set Theory. Journal of Symbolic Logic (Association for Symbolic Logic) 52 (1): 172–201. (March 1987) On Cybernetic Epistemology…7 KB (687 Wörter) - 20:39, 21. Jun. 2025
Australasian Journal of Philosophy, Vol. 72, No. 4; December 1994, page 548. Vaughan R. Pratt (1980). Application of modal logic to programming. Studia Logica…7 KB (885 Wörter) - 21:45, 15. Apr. 2025
Logic and the Foundations of Mathematics, 103, North-Holland 1984 Barendregt Introduction to General Type Systems, Journal of Functional Programming,…3 KB (237 Wörter) - 07:39, 7. Feb. 2025- Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde…24 KB (3.949 Wörter) - 17:21, 14. Nov. 2024
- Max Butting: Music of and for the radio [Radio a government monopoly in Germany; broad scope of programming; differences in hearing of engineers and musicians;