Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge)

tags
Transaction Logic Michael Kifer

Notes

Notes that link to this note