Connecting you to content on EBSCOhost

Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 3

Results: 6

1

A simple formalization and proof for the mutilated chess board.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 475, doi. 10.1093/jigpal/9.3.475

By:

Paulson, LC

Publication type:

Article

2

Theorem proving in infinitesimal geometry.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 447, doi. 10.1093/jigpal/9.3.447

By:

Fleuriot, JD

Publication type:

Article

3

Tableau reasoning and programming with dynamic first order logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 411, doi. 10.1093/jigpal/9.3.411

By:

van Eijck, J;
Heguiabehere, J;
Ó Nualláin, B

Publication type:

Article

4

The rewriting calculus - part II.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 377, doi. 10.1093/jigpal/9.3.377

By:

Cirstea, H;
Kirchner, K

Publication type:

Article

5

The rewriting calculus - part I.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 339, doi. 10.1093/jigpal/9.3.339

By:

Cirstea, H;
Kirchner, K

Publication type:

Article

6

Editorial.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 335, doi. 10.1093/jigpal/9.3.335

By:

Kamareddine, F

Publication type:

Article