Call Number (LC) Title Results
QA76.6 .L583 1987 Foundations of logic programming / 2
QA76.6 .L585 1987 The foundations of program verification / 1
QA76.6 .L5855 1985 Logics of programs Brooklyn, June 17-19, 1985 : proceedings /
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / 		2
QA76.6 L5855 1985 Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / 1
QA76.6 .L586 1981 Logic of programs : workshop, ETH Zurich, May-July 1979 /
Logic of programs workshop, ETH Zürich, May-July 1979 / 		2
QA76.6 .L587 1982 Logic programming / 2
QA76.6 .L5875 1986 Logic programming '85 proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / 1
QA76.6 L5875 1986 Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / 1
QA76.6 .L5876 1987 Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / 1
QA76.6 .L58762 1988 Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
Logic programming '87 proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / 		2
QA76.6 .L588 1986 Logic programming and its applications / 2
QA76.6 .L589 Logic programming : proceedings of the ... international conference.
Proceedings / 		2
QA76.6 .L594 1981 Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / 2
QA76.6 .L595 1984 Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / 		2
QA76.6 .L62 2001  
QA76.6 .L63 1972 Decision tables / 1
QA76.6 .L639 Operating systems / 2
QA76.6 .L639 2004 Operating systems / 1
QA76.6 .L64 Parallelism in hardware and software : real and apparent concurrency. 1
QA76.6 .L643 Sorting and sort systems / 1