Amanote Research

Amanote Research

    RegisterSign In

Formalization of the Program Reference Language.

doi 10.21236/ada164265
Full Text
Open PDF
Abstract

Available in full text

Date

October 8, 1985

Authors
William M. BrickenSusan G. RosenbaumMichael A. BrzustowiczJeffrey S. DeanBrian P. McCune
Publisher

Defense Technical Information Center


Related search

Reference Model for Smart X Sensing Manufacturing Collaborative Networks - Formalization Using Unified Modeling Language

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2015English

Trends in Language Formalization in Architecture

Joelho Revista de Cultura Arquitectonica
2014English

Formalization of the Pedagogical Model by the Language of Predicate Logic

2020English

Towards a Computational Formalization of Natural Language Semantics

1969English

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Empowering Students Through Language & Critical Thinking: The Bard College Language & Thinking Program

Voprosy Obrazovaniya
Education
2015English

Formalization of Medical Guidelines

European Journal for Biomedical Informatics
2005English

Formalization of the Ad Hominem Argumentation Scheme

Journal of Applied Logic
Applied MathematicsLogic
2010English

Small Firms' Formalization: The Stick Treatment

Policy Research Working Papers
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy