Automatic Theorem Proving Based on Resolution

• Jan 01, 1974
• International Tracts in Computer Science and Technology and Their Application
• Alain Pirotte

Cite

Listen

Save

Contents of Previous Volumes

• Jan 01, 1974
• International Tracts in Computer Science and Technology and Their Application

Cite

Listen

Save

A General Purpose Conversational System for Graphical Programming

• Jan 01, 1974
• International Tracts in Computer Science and Technology and Their Application
• O Lecarme

Cite

Listen

Save

Contents of Volume 2

• Jan 01, 1964
• International Tracts in Computer Science and Technology and Their Application

Cite

Listen

Save

Jovial—A Programming Language for Real-time Command Systems

• Jan 01, 1963
• International Tracts in Computer Science and Technology and Their Application
• C.j Shaw

Cite

Listen

Save

The Structure and Use of the Syntax Directed Compiler

• Jan 01, 1963
• International Tracts in Computer Science and Technology and Their Application
• Edgar T Irons

Cite

Listen

Save

Contents of Volume 1

• Jan 01, 1963
• International Tracts in Computer Science and Technology and Their Application

Cite

Listen

Save

Copyright page

• Jan 01, 1963
• International Tracts in Computer Science and Technology and Their Application

Cite

Listen

Save

The Growth of a Commercial Programming Language

• Jan 01, 1961
• International Tracts in Computer Science and Technology and Their Application
• H.d Baecker

Cite

Listen

Save

SAKO—An Automatic Coding System

• Jan 01, 1961
• International Tracts in Computer Science and Technology and Their Application
• Leon Łukaszewicz

Cite

Listen

Save