Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Brian P. McCune
Formalization of the Program Reference Language.
Related publications
Reference Model for Smart X Sensing Manufacturing Collaborative Networks - Formalization Using Unified Modeling Language
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Trends in Language Formalization in Architecture
Joelho Revista de Cultura Arquitectonica
Formalization of the Pedagogical Model by the Language of Predicate Logic
Towards a Computational Formalization of Natural Language Semantics
A Formalization of the Coach Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Empowering Students Through Language & Critical Thinking: The Bard College Language & Thinking Program
Voprosy Obrazovaniya
Education
Formalization of Medical Guidelines
European Journal for Biomedical Informatics
Formalization of the Ad Hominem Argumentation Scheme
Journal of Applied Logic
Applied Mathematics
Logic
Small Firms' Formalization: The Stick Treatment
Policy Research Working Papers
