Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-5

Algorithms that extract knowledge from fuzzy big data: Conserving traditional science 1

Allen D. Allen

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

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Research article

First published 1999-8

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving

Stéphane Fèvre, Dongming Wang

Fundamenta Informaticae

Retricted access

Research article

First published 2001-1-1

Athena: a novel approach to efficient automatic security protocol analysis 1

Dawn Xiaodong Song, Sergey Berezin, Adrian Perrig

Journal of Computer Security

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 2014-1

Fixed point theorems for fuzzy ψ – contractive mappings in fuzzy metric spaces

Duran Turkoglu, Muzeyyen Sangurlu

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

Retricted access

Research article

First published 2006-5

The CADE-20 Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2007-5

The 3rd IJCAR Automated Theorem Proving Competition

Geoff Sutcliffe

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2022-3-18

The CADE-28 Automated Theorem Proving System Competition – CASC-28

Geoff Sutcliffe, Martin Desharnais

The European Journal on Artificial Intelligence

Search results