Journal articles on the topic 'Tarski's world (Computer program)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Tarski's world (Computer program).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Goldson, Doug, Steve Reeves, Jon Barwise, and John Etchemendy. "The Language of First-Order Logic, including the Macintosh Program Tarski's World." Philosophical Quarterly 44, no. 175 (April 1994): 272. http://dx.doi.org/10.2307/2219757.
Full textRaitt, David. "World Watch." Electronic Library 14, no. 2 (February 1, 1996): 165–66. http://dx.doi.org/10.1108/eb045462.
Full textYonezawa, A. "The Real World Computing Program: MITI's Next Computer Research Initiative." Science 258, no. 5082 (October 23, 1992): 581–82. http://dx.doi.org/10.1126/science.258.5082.581.
Full textRANDOLPH, Justus J., and Pasi J. ERONEN. "Program and Evaluation Planning Light: Planning in the Real World." Informatics in Education 6, no. 1 (April 15, 2007): 189–96. http://dx.doi.org/10.15388/infedu.2007.13.
Full textYe, Jiaxi, Bin Zhang, Ruilin Li, Chao Feng, and Chaojing Tang. "Program State Sensitive Parallel Fuzzing for Real World Software." IEEE Access 7 (2019): 42557–64. http://dx.doi.org/10.1109/access.2019.2905744.
Full textScott, Ralph L. "Wired to the World: Firewalls." North Carolina Libraries 61, no. 3 (January 20, 2009): 109. http://dx.doi.org/10.3776/ncl.v61i3.168.
Full textKhalil, Wisama, Rezia Maria Molfino, and Valentina Resaz. "EMARO: A European Contribution in Shaping the Future World Roboticists." Journal of Robotics and Mechatronics 23, no. 5 (October 20, 2011): 871–80. http://dx.doi.org/10.20965/jrm.2011.p0871.
Full textCash, B. "The Last Place in the World - Copyright Protection for Computer Software in New Zealand." Victoria University of Wellington Law Review 27, no. 3 (November 3, 1997): 391. http://dx.doi.org/10.26686/vuwlr.v27i3.6109.
Full textSun, Xiaobing, Xiangyue Liu, Bin Li, Bixin Li, David Lo, and Lingzhi Liao. "Clustering Classes in Packages for Program Comprehension." Scientific Programming 2017 (2017): 1–15. http://dx.doi.org/10.1155/2017/3787053.
Full textPeifer, R. W. "Integrating Digital Multimedia, Computer-based Instruction, and the World Wide Web into an Introductory Biology Curriculum." HortScience 31, no. 4 (August 1996): 697b—697. http://dx.doi.org/10.21273/hortsci.31.4.697b.
Full textLin, Zhou. "Perspective of Digital Architecture World." Applied Mechanics and Materials 392 (September 2013): 909–12. http://dx.doi.org/10.4028/www.scientific.net/amm.392.909.
Full textMathai, Maria Salina, and Rochelle Mendonca. "Evaluating a computer-training program for individuals with physical disabilities." Journal of Enabling Technologies 11, no. 4 (December 18, 2017): 148–58. http://dx.doi.org/10.1108/jet-08-2017-0031.
Full textSiler, Todd. "The ArtScience Program for Realizing Human Potential." Leonardo 44, no. 5 (October 2011): 417–24. http://dx.doi.org/10.1162/leon_a_00242.
Full textNguyen, Andy N. D., Margaret O. Uthman, and Kathy A. Johnson. "A Web-Based Teaching Program for Laboratory Diagnosis of Coagulation Disorders." Archives of Pathology & Laboratory Medicine 124, no. 4 (April 1, 2000): 588–93. http://dx.doi.org/10.5858/2000-124-0588-awbtpf.
Full textGuiguer, N., and T. Franz. "Development and Applications of a Wellhead Protection Area Delineation Computer Program." Water Science and Technology 24, no. 11 (December 1, 1991): 51–62. http://dx.doi.org/10.2166/wst.1991.0336.
Full textEngel, Samuel S., Jill Crandall, Charles E. Basch, Patricia Zybert, and Judith Wylie-Rosett. "Computer-Assisted Diabetes Nutrition Education Increases Knowledge and Self-Efficacy of Medical Students." Diabetes Educator 23, no. 5 (October 1997): 545–49. http://dx.doi.org/10.1177/014572179702300505.
Full textEdwards, B., B. B. Edwards, S. Griffiths, F. F. Reynolds, A. Stanford, and M. Woods. "The Bryn Celli Ddu Minecraft Experience." Journal on Computing and Cultural Heritage 14, no. 2 (June 2021): 1–16. http://dx.doi.org/10.1145/3427913.
Full textO. Soloshych, I., and S. I. Pochtovyuk. "Using “Sustainable Development” Computer Program to Determine the Environmental Safety of the Regions." International Journal of Engineering & Technology 7, no. 4.3 (September 15, 2018): 366. http://dx.doi.org/10.14419/ijet.v7i4.3.19834.
Full textHastriana, Umniyatis Sholiha. "Penyelenggaraan Program Unggulan Teknologi Informasi di MAN 1 Malang." Idarah (Jurnal Pendidikan dan Kependidikan) 2, no. 2 (December 10, 2018): 117–32. http://dx.doi.org/10.47766/idarah.v2i2.276.
Full textHamdan, Muhammad, Othman Omran Khalifah, and Teddy Surya Gunawan. "Measuring the Road Traffic Intensity using Neural Network with Computer Vision." Indonesian Journal of Electrical Engineering and Computer Science 10, no. 1 (April 1, 2018): 184. http://dx.doi.org/10.11591/ijeecs.v10.i1.pp184-190.
Full textSTÄRK, ROBERT F. "CUT-PROPERTY AND NEGATION AS FAILURE." International Journal of Foundations of Computer Science 05, no. 02 (June 1994): 129–64. http://dx.doi.org/10.1142/s0129054194000086.
Full textReeves, Aaron. "MicroMeasure: A new computer program for the collection and analysis of cytogenetic data." Genome 44, no. 3 (June 1, 2001): 439–43. http://dx.doi.org/10.1139/g01-037.
Full textWang, Hao, and Ze Yu Han. "Applied Technology in Design and Implementation of Infrared Communication Module." Applied Mechanics and Materials 685 (October 2014): 302–5. http://dx.doi.org/10.4028/www.scientific.net/amm.685.302.
Full textBennett, Audrey, and Ron Eglash. "cSELF (Computer Science Education from Life)." International Journal of Web-Based Learning and Teaching Technologies 8, no. 4 (October 2013): 34–49. http://dx.doi.org/10.4018/ijwltt.2013100103.
Full textGrossi, Davide, Wiebe van der Hoek, Christos Moyzes, and Michael Wooldridge. "Program models and semi-public environments." Journal of Logic and Computation 29, no. 7 (January 28, 2016): 1071–97. http://dx.doi.org/10.1093/logcom/exv086.
Full textVoevodin, V. V. "Supercomputing technologies in the digital world: theory, practice, education." Вестник Российской академии наук 89, no. 4 (April 24, 2019): 351–54. http://dx.doi.org/10.31857/s0869-5873894351-354.
Full textLineberger, R. Daniel. "ENHANCING HORTICULTURAL EDUCATION THROUGH WORLD WIDE WEB TECHNOLOGY." HortScience 31, no. 5 (September 1996): 743d—743. http://dx.doi.org/10.21273/hortsci.31.5.743d.
Full textLiu, Xiao, Tianyi Wei, and Anfeng Liu. "Fast Program Codes Dissemination for Smart Wireless Software Defined Networks." Scientific Programming 2016 (2016): 1–21. http://dx.doi.org/10.1155/2016/6907231.
Full textOchkov, V. F., and M. Nori. "JOURNEY INTO THE WORLD OF SCIENCE AND ART ON A PLANTIGRADE MACHINE." Informatics in school 1, no. 8 (November 16, 2018): 53–61. http://dx.doi.org/10.32517/2221-1993-2018-17-8-53-61.
Full textAlbrecht, Stefano V., J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi-hung Chi, Theodoros Damoulas, et al. "Reports on the 2015 AAAI Workshop Program." AI Magazine 36, no. 2 (June 21, 2015): 90–101. http://dx.doi.org/10.1609/aimag.v36i2.2590.
Full textKusuma, Lalu Tri Wijaya Nata, and Fu-Shiang Tseng. "IOT Framework to Support Maritime Highway Program." Journal of Cases on Information Technology 22, no. 3 (July 2020): 35–50. http://dx.doi.org/10.4018/jcit.2020070103.
Full textКотов, Сергей Владимирович, and Александр Леонидович Блохин. "USE OF THE COMPUTER PROGRAM AND THE DATABASE IN THE RESEARCH OF HUMAN CAPITAL DEVELOPMENT." Pedagogical Review, no. 6(34) (December 14, 2020): 152–59. http://dx.doi.org/10.23951/2307-6127-2020-6-152-159.
Full textSánchez-Carracedo, Fermín, and David López. "A Service-Learning Based Computers Reuse Program." Sustainability 13, no. 14 (July 12, 2021): 7785. http://dx.doi.org/10.3390/su13147785.
Full textWohlwend, Karen E., Sarah Vander Zanden, Nicholas E. Husbye, and Candace R. Kuby. "Navigating discourses in place in the world of Webkinz." Journal of Early Childhood Literacy 11, no. 2 (June 2011): 141–63. http://dx.doi.org/10.1177/1468798411401862.
Full textDesnanjaya, I. Gusti Made Ngurah, and Ida Bagus Ary Indra Iswara. "Trainer Atmega32 Sebagai Media Pelatihan Mikrokontroler Dan Arduino." Jurnal RESISTOR (Rekayasa Sistem Komputer) 1, no. 1 (April 21, 2018): 55–64. http://dx.doi.org/10.31598/jurnalresistor.v1i1.266.
Full textRowe, Robert. "Representations, Affordances, and Interactive Systems." Multimodal Technologies and Interaction 5, no. 5 (May 1, 2021): 23. http://dx.doi.org/10.3390/mti5050023.
Full textHyatt, Robert. "The history of Blitz/Cray-Blitz/Crafty." ICGA Journal 42, no. 2-3 (November 10, 2020): 120–31. http://dx.doi.org/10.3233/icg-200167.
Full textKelley, Sean, Edward Aftandilian, Connor Gramazio, Nathan Ricci, Sara L. Su, and Samuel Z. Guyer. "Heapviz: Interactive heap visualization for program understanding and debugging." Information Visualization 12, no. 2 (May 7, 2012): 163–77. http://dx.doi.org/10.1177/1473871612438786.
Full textKvíz, Z. "Phase-night diagram for periodic variable stars." Symposium - International Astronomical Union 118 (1986): 297–98. http://dx.doi.org/10.1017/s0074180900151587.
Full textBrock, John F. "Applying ISD to a Social Problem: Systematic Development of a Driver Training Computer-Based Program." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 42, no. 20 (October 1998): 1393. http://dx.doi.org/10.1177/154193129804202006.
Full textGedikli, Abdullah, Hafzullah Aksoy, and N. Erdem Unal. "AUG-Segmenter: a user-friendly tool for segmentation of long time series." Journal of Hydroinformatics 12, no. 3 (January 12, 2010): 318–28. http://dx.doi.org/10.2166/hydro.2009.084.
Full textLightfoot, Geoff, and Simon Lilley. "Writing Utopia." Sociological Review 50, no. 1_suppl (May 2002): 155–68. http://dx.doi.org/10.1111/j.1467-954x.2002.tb03583.x.
Full textProffen, Th, R. B. Neder, and S. J. L. Billinge. "Teaching diffraction using computer simulations over the Internet." Journal of Applied Crystallography 34, no. 6 (November 17, 2001): 767–70. http://dx.doi.org/10.1107/s0021889801013656.
Full textCollins, Nick. "A Funny Thing Happened on the Way to the Formula: Algorithmic Composition for Musical Theater." Computer Music Journal 40, no. 3 (September 2016): 41–57. http://dx.doi.org/10.1162/comj_a_00373.
Full textRahman, Md Mostafizer, Yutaka Watanobe, and Keita Nakamura. "A Neural Network Based Intelligent Support Model for Program Code Completion." Scientific Programming 2020 (July 14, 2020): 1–18. http://dx.doi.org/10.1155/2020/7426461.
Full textBetelin, V. B., A. G. Kushnirenko, A. G. Leonov, and K. A. Mashchenko. "Basic Programming Concepts as Explained for Preschoolers." International Journal of Education and Information Technologies 15 (September 9, 2021): 245–55. http://dx.doi.org/10.46300/9109.2021.15.25.
Full textGörg, Nora, Kathlen Priebe, Tilman Deuschel, Martin Schüller, Friederike Schriner, Nikolaus Kleindienst, Petra Ludäscher, Christian Schmahl, and Martin Bohus. "Computer-Assisted In Sensu Exposure for Posttraumatic Stress Disorder: Development and Evaluation." JMIR Mental Health 3, no. 2 (June 8, 2016): e27. http://dx.doi.org/10.2196/mental.5697.
Full textUlla, HASBULLAH. "EVALUASI KURIKULUM PROGRAM KEAHLIAN TEKNIK KOMPUTER DAN JARINGAN SMKN 2 WATAMPONE DI KABUPATEN BONE SULAWESI SELATAN Hasbullah." Adaara: Jurnal Manajemen Pendidikan Islam 8, no. 1 (February 1, 2019): 761–83. http://dx.doi.org/10.35673/ajmpi.v8i1.417.
Full textFrazelle, Jessie. "A New Era for Mechanical CAD." Queue 19, no. 2 (April 30, 2021): 5–16. http://dx.doi.org/10.1145/3466132.3469844.
Full textChen, Yibing, Cheng-Few Lee, John Lee, and Jow-Ran Chang. "Alternative Methods to Estimate Implied Variance: Review and Comparison." Review of Pacific Basin Financial Markets and Policies 21, no. 04 (December 2018): 1850025. http://dx.doi.org/10.1142/s021909151850025x.
Full text