Suchergebnisse
Ähnlicher Begriff: symbol programm analysis
Der Artikel „Symbolic Program Analysis“ 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 „Symbolic Program Analysis“ in anderssprachigen Wikipedias.
Approximation. An Introduction to the Theoretical Analysis and Numerical Treatment of Semi-infinite Programs. Springer, New York. 1983 ISBN 978-0-387-90857-1…5 KB (509 Wörter) - 11:21, 19. Apr. 2025
Journal of Symbolic Logic 6 (1941), S. 10. R. M. Robinson: The theory of classes. A modification of von Neumann's System, in: Journal of Symbolic Logic 2…48 KB (6.857 Wörter) - 17:05, 17. Mär. 2025
-adic analysis compared to real sowie Continued fractions, hyperbolic geometry and quadratic forms). mit Anatole Katok, Sergej Tabachnikov: MASS Program at…4 KB (382 Wörter) - 23:14, 29. Jan. 2025- Business Application Programming Interface BASIC Beginner’s All-purpose Symbolic Instruction Code (Programmiersprache) BBS Bulletin Board System BCC Blind…65 KB (42 Wörter) - 21:35, 2. Jan. 2025
A semantics of evidence for classical logic, Journal of Symbolic Logic, 1995. An Analysis of Girard's paradox, LICS 1986. mit A. Spiwack: A proof of…5 KB (505 Wörter) - 13:11, 22. Feb. 2024
1969, S. 279–284 Existence and Feasibility in Arithmetic. In: Journal of Symbolic Logic. Band 36, Nr. 3, 1971, S. 494–508, JSTOR:2269958. mit Milton Parnes:…9 KB (1.184 Wörter) - 23:28, 1. Feb. 2025- 1984. G. Rohr: Mental Models – On the Relation Between Structure adn its Symbolic Representation in Human-Computer Interaction. In: Zeitschrift für Psychologie…33 KB (4.048 Wörter) - 23:41, 23. Mär. 2025
- conventional and achievment norms. Referat, AERA, New York 1982. Blumer, H.: Symbolic interactionism. Perspective and method. Englewood Cliffs: Prentice Hall