by
Kowalski, Robert
Author
Kowalski, Robert
Format:
Call Number
QA63 K68 1979
Publisher
North Holland,
Publication Date
1979
ISBN
9780444003652
Holds:
Copies:
by
Kowalski, Robert
Author
Kowalski, Robert, Bowen, Kenneth A., Association for Logic Programming, IEEE Computer Society, International Conference on Logic Programming (5th : 1988 : University of Washington, Seattle)
Format:
Call Number
QA76.6 L662 1988
Publisher
MIT Press,
Publication Date
1988
ISBN
9780262610544 9780262610551
Holds:
Copies:
by
Conference on Automated Deduction, (5th : 1980 : Les Arcs)
Author
Conference on Automated Deduction, (5th : 1980 : Les Arcs), Bibel, W., 1938-, Kowalski, Robert
Format:
Call Number
QA76.9.A96 C65 1980
Publisher
Springer-Verlag,
Publication Date
1980
ISBN
9783540100096
Holds:
Copies:
by
Peters, Edward I.
Author
Peters, Edward I., Kowerski, Robert C.
Format:
Call Number
QD33.P483 1994
Edition
2nd ed
Publisher
Saunders College Pub,
Publication Date
1994
ISBN
9780030968112
Holds:
Copies:
by
Peters, Edward I.
Author
Peters, Edward I., Kowerski, Robert C.
Format:
Call Number
QD33.P48 1994
Edition
6th ed
Publisher
Saunders College Pub,
Publication Date
1994
ISBN
9780030968181
Holds:
Copies: