Research Catalog

  • Assembler language with ASSIST / W. E. Singletary, Ross A. Overbeek.

    • Text
    • Chicago : Science Research Associates, [1976]
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 76-864Offsite
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 88-2871Offsite
  • Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.

    • Text
    • Cambridge, Mass. : MIT Press, c1989.
    • 1989
    • 2 Items
    FormatCall NumberItem Location
    Text JSK 90-102 v. 1Offsite
    FormatCall NumberItem Location
    Text JSK 90-102 v. 2Offsite
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-site
  • ANS COBOL: a pragmatic approach [by] W. E. Singletary [and] Ross A. Overbeek.

    • Text
    • New York, McGraw-Hill [1975]
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.C25 S6Off-site
  • Assembler language with ASSIST and ASSIST/I / Ross A. Overbeek, W.E. Singletary.

    • Text
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A8O93 1986Off-site
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-site
  • Assembler language with ASSIST and ASSIST/I / Ross A. Overbeek, W.E. Singletary.

    • Text
    • Chicago : Science Research Associates, c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.A8 O93 1986Off-site
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 I57 1988Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta