Connecting you to content on EBSCOhost

Works matching IS 02182130 AND DT 2006 AND VI 15 AND IP 1

Results: 6

1

THINGS TO KNOW WHEN IMPLEMENTING LPO.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 53, doi. 10.1142/S0218213006002564

By:

LÖCHNER, BERND

Publication type:

Article

2

PREFACE.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 1, doi. 10.1142/S0218213006002539

By:

SCHULZ, STEPHAN;
SUTCLIFFE, GEOFF;
TAMMET, TANEL

Publication type:

Article

3

MILESTONES FOR AUTOMATED REASONING WITH OTTER.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 3, doi. 10.1142/S0218213006002540

By:

WOS, LARRY

Publication type:

Article

4

AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 81, doi. 10.1142/S0218213006002576

By:

DENNEY, EWEN;
FISCHER, BERND;
SCHUMANN, JOHANN

Publication type:

Article

5

MoMM — FAST INTERREDUCTION AND RETRIEVAL IN LARGE LIBRARIES OF FORMALIZED MATHEMATICS.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 109, doi. 10.1142/S0218213006002588

By:

URBAN, JOSEF

Publication type:

Article

6

IMPLEMENTING THE MODEL EVOLUTION CALCULUS.

Published in:

International Journal on Artificial Intelligence Tools, 2006, v. 15, n. 1, p. 21, doi. 10.1142/S0218213006002552

By:

BAUMGARTNER, PETER;
FUCHS, ALEXANDER;
TINELLI, CESARE

Publication type:

Article