Yazar

ross a overbeek

20 cilt bulundu.

Cilt sonuçları

International Conference on Automated Deduction ... Proceedings

Bilinmeyen yazar · Yayınevi bilinmiyor

796 sayfa · 1988

Automatic theorem proving

Assembler Language with ASSIST and ASSIST/I

Ross A. Overbeek, Wilson E. Singletary · Prentice Hall

580 sayfa · 1991

Computers

ANS COBOL

Wilson E. Singletary, Ross A. Overbeek · McGraw-Hill Companies

272 sayfa · 1975

Computers

Introduction to COBOL

Ross A. Overbeek, Wilson E. Singletary · Addison Wesley Publishing Company

420 sayfa · 1986

Computers

Assembler Language with ASSIST

Ross A. Overbeek, Wilson E. Singletary · Yayınevi bilinmiyor

520 sayfa · 1983

Computers

CiltOverview of the Integrated Genomic Data System (IGD)Bilinmeyen yazar

Overview of the Integrated Genomic Data System (IGD)

Bilinmeyen yazar · Yayınevi bilinmiyor

29 sayfa · 1992

Kategori yok

CiltProblems and Experiments for and with Automated Theorem-proving ProgramsJohn D. McCharen, Ross A. Overbeek, Larry Wos, Institute of Electrical and Electronics Engineers

Problems and Experiments for and with Automated Theorem-proving Programs

John D. McCharen, Ross A. Overbeek, Larry Wos, Institute of Electrical and Electronics Engineers · Yayınevi bilinmiyor

Sayfa sayısı yok · 1976

Kategori yok

CiltA New Class of Automated Theorem Proving AlgorithmRoss Alan Overbeek

A New Class of Automated Theorem Proving Algorithm

Ross Alan Overbeek · Yayınevi bilinmiyor

114 sayfa · 1971

Kategori yok

CiltA New Class of Automated Theorem Proving AlgorithmsRoss Alan Overbeek

A New Class of Automated Theorem Proving Algorithms

Ross Alan Overbeek · Yayınevi bilinmiyor

114 sayfa

Kategori yok

Assembly languages (Electronic computers)Instructor's ManualRoss A. Overbeek, Wilson E. Singletary

Instructor's Manual

Ross A. Overbeek, Wilson E. Singletary · Yayınevi bilinmiyor

109 sayfa · 1991

Assembly languages (Electronic computers)

COBOL (Computer program language)Introduction to COBOLCatherine Garrison, Ross A. Overbeek, Wilson E. Singletary

Introduction to COBOL

Catherine Garrison, Ross A. Overbeek, Wilson E. Singletary · Yayınevi bilinmiyor

395 sayfa · 1986

COBOL (Computer program language)

CiltExperiments with OR-parallel Logic ProgramsTerry Disz, Ewing L. Lusk, Ross A. Overbeek, Argonne National Laboratory

Experiments with OR-parallel Logic Programs

Terry Disz, Ewing L. Lusk, Ross A. Overbeek, Argonne National Laboratory · Yayınevi bilinmiyor

Sayfa sayısı yok · 1987

Kategori yok

CiltEffective Utilization of OR-ParallelismBilinmeyen yazar

Effective Utilization of OR-Parallelism

Bilinmeyen yazar · Yayınevi bilinmiyor

6 sayfa · 1988

Kategori yok

CiltQuerying Genomic DatabasesBilinmeyen yazar

Querying Genomic Databases

Bilinmeyen yazar · Yayınevi bilinmiyor

48 sayfa · 1991

Kategori yok

CiltApplications of the Aurora Parallel Prolog System to Computational Molecular BiologyBilinmeyen yazar

Applications of the Aurora Parallel Prolog System to Computational Molecular Biology

Bilinmeyen yazar · Yayınevi bilinmiyor

15 sayfa · 1993

Kategori yok

ASSIST (Computer program)Assembler Language with ASSIST.Ross A. Overbeek, Wilson E. Singletary

Assembler Language with ASSIST.

Ross A. Overbeek, Wilson E. Singletary · Yayınevi bilinmiyor

106 sayfa · 1983

ASSIST (Computer program)

CiltA Primer on Rapid Prototyping of Genomic Databases in PrologK. Yoshida, C. L. Smith, R. Overbeek

A Primer on Rapid Prototyping of Genomic Databases in Prolog

K. Yoshida, C. L. Smith, R. Overbeek · Yayınevi bilinmiyor

10 sayfa · 1992

Kategori yok

MultiprocessorsA Multiprocessing Experiment in Automated ReasoningMichael Ballantyne, Robert S. Boyer, Ross A. Overbeek, Microelectronics and Computer Technology Corporation

A Multiprocessing Experiment in Automated Reasoning

Michael Ballantyne, Robert S. Boyer, Ross A. Overbeek, Microelectronics and Computer Technology Corporation · Yayınevi bilinmiyor

19 sayfa · 1988

Multiprocessors

CiltImplementation of Monitors with MacrosE. L. Lusk

Implementation of Monitors with Macros

E. L. Lusk · Yayınevi bilinmiyor

63 sayfa · 1983

Kategori yok

CiltA Parallel Processing Approach for Implementing High-performance First-order Logic Deduction SystemsArgonne National Laboratory. Mathematics and Computer Science Division, A. Jindal, R. Overbeek, W. McCune

A Parallel Processing Approach for Implementing High-performance First-order Logic Deduction Systems

Argonne National Laboratory. Mathematics and Computer Science Division, A. Jindal, R. Overbeek, W. McCune · Yayınevi bilinmiyor

Sayfa sayısı yok · 1989

Kategori yok