James H. Andrews

Student Workbook for College P

Student Workbook for College Physics : Pearson New International Edition

2013

College Physics Vol. 2, Chs. 1

College Physics Vol. 2, Chs. 17-30

2009

The logical structure of seque

The logical structure of sequential prolog

1990

Proof-Theoretic Characterisati

Proof-Theoretic Characterisations of Logic Programming

1989