Sage Journals: Discover world-class research

Retricted access

Research article

First published 1989-01

On modelling and differential/algebraic systems

Sven Erik Mattsson

SIMULATION

Retricted access

Research article

First published 2004-1

Nonmonotonic Proof Systems: Algebraic Foundations

Sujata Ghosh, Mihir Kr. Chakraborty

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

Finding Symmetries of Algebraic System Nets

Tommi A. Junttila

Fundamenta Informaticae

Retricted access

Research article

First published 2013-10

An Incidence Algebra Approach to Knowledge Granulation in Pawlak Information Systems

Marcin Wolski, Anna Gomolińska

Fundamenta Informaticae

Retricted access

Research article

First published 2019-10-25

The solution sets of max-algebraic linear equation systems

Shi-ju Li, Hui-li Wang

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020-04-30

Fuzzy weak hyper deductive systems of hyper equality algebras and their measures

Yongwei Yang, Kuanyun Zhu, Xiaolong Xin

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2005-8

An Algebra Subsystem for Diagnosing Students' Input in a Physics Tutoring System

Joel A. Shapiro

International Journal of Artificial Intelligence in Education: The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2000-2

A computer algebra-based coordinate reduction technique for multi-body systems

G A Chochia, P K Chawdhry, C R Burrows

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2006-10

On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra

Erzsébet Csuhaj-Varjú, Alexandru Mateescu

Fundamenta Informaticae

Search results