Modes and types in logic programming

Logic programming for expert systems

Hammond, P.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1982

SIGLELD:7056.15(DOC--82/4). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Some aspects of meaning and justification in logic

Stephanou, I.

January 1995

Available from British Library Document Supply Centre-DSC:DX217153 / BLDSC - British Library Documen...

Tool support for logics of programs

Paulson, L.C.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(CU-CL-TR--406) / BLDSC - Bri...

Mode analysis domains for typed logic programs

Smaus, J.
Hill, P.M.
King, A.
Leeds Univ. (United Kingdom). School of Computer Studies

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(2000/06) / BLDSC - British L...

The algebra of logic programming

Seres, S.

January 2001

Available from British Library Document Supply Centre-DSC:D213881 / BLDSC - British Library Document...

An introduction to logic programming

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/14). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Some problems in logic

Quinsey, J.E

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D73582/87 / BLDSC - British Library ...

Logic as a computer language

Kowalski, R.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1982

SIGLELD:7056.15(DOC--82/24) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Computational types from a logical perspective I

Benton, P.
Bierman, G.
Paiva, V. de
Cambridge Univ. (United Kingdom). Computer Lab

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--365) / BLDSC - Br...

The application of logic programming to data bases

Neves, J.C.F.M.

January 1983

SIGLELD:D50552/84 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Logics with variable functors

Barton, S

January 1982

SIGLEAvailable from British Library Document Supply Centre- DSC:D44771/83 / BLDSC - British Library ...

Partial-valued logic

Blamey, S

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D35330/81 / BLDSC - British Library ...

Non-binary logic system

Kelsch, R.G

January 1972

SIGLEAvailable from British Library Document Supply Centre- DSC:D85209 / BLDSC - British Library Doc...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-162) / BLDSC ...

Logic as a database language

Kowalski, R.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:f82/1134. / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Logic programming for expert systems

Hammond, P.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1982

SIGLELD:7056.15(DOC--82/4). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Some aspects of meaning and justification in logic

Stephanou, I.

January 1995

Available from British Library Document Supply Centre-DSC:DX217153 / BLDSC - British Library Documen...

Tool support for logics of programs

Paulson, L.C.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(CU-CL-TR--406) / BLDSC - Bri...

Mode analysis domains for typed logic programs

Smaus, J.
Hill, P.M.
King, A.
Leeds Univ. (United Kingdom). School of Computer Studies

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:7769.555(2000/06) / BLDSC - British L...

The algebra of logic programming

Seres, S.

January 2001

Available from British Library Document Supply Centre-DSC:D213881 / BLDSC - British Library Document...

An introduction to logic programming

Clark, K.L.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:7056.15(DOC--81/14). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Some problems in logic

Quinsey, J.E

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D73582/87 / BLDSC - British Library ...

Logic as a computer language

Kowalski, R.A.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1982

SIGLELD:7056.15(DOC--82/24) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Computational types from a logical perspective I

Benton, P.
Bierman, G.
Paiva, V. de
Cambridge Univ. (United Kingdom). Computer Lab

January 1995

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--365) / BLDSC - Br...

The application of logic programming to data bases

Neves, J.C.F.M.

January 1983

SIGLELD:D50552/84 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Logics with variable functors

Barton, S

January 1982

SIGLEAvailable from British Library Document Supply Centre- DSC:D44771/83 / BLDSC - British Library ...

Partial-valued logic

Blamey, S

January 1980

SIGLEAvailable from British Library Document Supply Centre- DSC:D35330/81 / BLDSC - British Library ...

Non-binary logic system

Kelsch, R.G

January 1972

SIGLEAvailable from British Library Document Supply Centre- DSC:D85209 / BLDSC - British Library Doc...

A framework for defining logics

Harper, R.
Honsell, F.
Plotkin, G
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-162) / BLDSC ...

Logic as a database language

Kowalski, R.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1981

SIGLELD:f82/1134. / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Logic programming for expert systems

Hammond, P.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1982

SIGLELD:7056.15(DOC--82/4). / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Some aspects of meaning and justification in logic

Stephanou, I.

January 1995

Available from British Library Document Supply Centre-DSC:DX217153 / BLDSC - British Library Documen...

Tool support for logics of programs

Paulson, L.C.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(CU-CL-TR--406) / BLDSC - Bri...

Modes and types in logic programming

Abstract

Extracted data

Modes and types in logic programming

Abstract

Extracted data

Related items

Related items