Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2001-3-1

SYNTHESIS OF CHESS AND CHESS-LIKE ENDGAMES: A PROOF OF CORRECTNESS

K.P Coplan

ICGA Journal: The Journal of the Computer Games Community

Retricted access

Research article

First published 1997-2

A COMPILER CORRECTNESS PROOF FOR THE STATIC LINK TECHNIQUE BY MEANS OF EVOLVING ALGEBRAS

Markus Mohnen

Fundamenta Informaticae

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2023-9

Partial mobilisation of the neurovascular bundle for ventral penile curvature correction: A proof-of-concept study

Pankaj M Joshi, Marco Bandini, Guido Barbagli [...]

Journal of Clinical Urology

Retricted access

Research article

First published 2010-2

Correction for Rhiel's Theory for the Range Estimator of the Coefficient of Variation for Skewed Distributions

G. Steven Rhiel

Psychological Reports

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2019

On the Existence of Kernel Function for Kernel-Trick of k -Means in the Light of Gower Theorem

Mieczysław A. Kłopotek

Fundamenta Informaticae

Retricted access

Research article

First published 1990-12

On Guttman's Proof That Squared Multiple Correlations are Lower Bounds for Communalities

Henry F. Kaiser

Psychological Reports

Search results