answersLogoWhite

0

James H. Andrews has written:

'Logic Programming' -- subject(s): Automatic theorem proving, Logic programming, Programming languages (Electronic computers), Semantics

'Proof-Theoretic Characterisations of Logic Programming'

User Avatar

Wiki User

10y ago

What else can I help you with?