You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (1373)

Journals (0)

1-10 of 1373 results for Computational formalisms

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Computing Formal Concepts by Attribute Sorting

Retricted access

Research article

First published 2012-6

Computing Formal Concepts by Attribute Sorting

Petr Krajca, Jan Outrata, Vilem Vychodil

Fundamenta Informaticae

Select article: Computer Scoring of Formal Letters

Retricted access

Other

First published 1974-01

Computer Scoring of Formal Letters

Henry B. Slotnick

International Journal of Business Communication

Select article: A morphological study of fivefold Islamic geometric patterns using formal grammar for computer-aided design applications

Retricted access

Research article

First published 2024-9

A morphological study of fivefold Islamic geometric patterns using formal grammar for computer-aided design applications

Ghazal Refalian, Eloi Coloma, Joaquim Narcis Moya

International Journal of Architectural Computing

Select article: On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Retricted access

Research article

First published 2019

On the computational realization of formal ontologies: Formalizing an ontology of instantiation in spacetime using Isabelle/HOL as a case study

Thomas Bittner

Applied Ontology

Select article: Study on formal modeling and verification of safety computer platform

Open access

Research article

First published 2016-5

Study on formal modeling and verification of safety computer platform

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Select article: Formal Representations: A Foundation for Computer-Aided Architectural Design

Retricted access

Research article

First published 1986-6

Formal Representations: A Foundation for Computer-Aided Architectural Design

W J Mitchell

Environment and Planning B: Urban Analytics and City Science

Select article: A Formal Language for Computational Systems Biology

Retricted access

Research article

First published 2004-12

A Formal Language for Computational Systems Biology

Daniel D. Errampalli, Corrado Priami, Paola Quaglia

OMICS: A Journal of Integrative Biology

Select article: Computing Implications with Negation from a Formal Context

Retricted access

Research article

First published 2012-6

Computing Implications with Negation from a Formal Context

Rokia Missaoui, Lhouari Nourine, Yoan Renaud

Fundamenta Informaticae

Select article: Re-Formalizing owl:sameas: Iterating Meaning-Making in a Computer Ontology Language

Retricted access

Research article

First published 2026

Re-Formalizing owl:sameas: Iterating Meaning-Making in a Computer Ontology Language

Lindsay Poirier

Social Studies of Science

Select article: GRAMR1: A Computer Program for Instruction in Formal Syntax

Retricted access

Research article

First published 1982-12

GRAMR1: A Computer Program for Instruction in Formal Syntax

William H. Smith, Olen R. Pearson

Journal of Educational Technology Systems

1
2
3
•••
138
10 / page

Article type

Publication date

Subjects

Access