DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. V. MULTILEVEL SYLLOGISTIC EXTENDED BY THE GENERAL UNION OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. V. MULTILEVEL SYLLOGISTIC EXTENDED BY THE GENERAL UNION OPERATOR (HB)

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR

DECISION PROCEDURES FOR ELEMENTARY SUBLANGUAGES OF SET THEORY. VI. MULTI-LEVEL SYLLOGISTIC EXTENDED BY THE POWERSET OPERATOR (HB)

NETWORKS AND ALGORITHMS FOR VERY LARGE SCALE PARALLEL COMPUTATION

NETWORKS AND ALGORITHMS FOR VERY LARGE SCALE PARALLEL COMPUTATION (HB)

ON GENERATORS OF THE BANACH ALGEBRA L1 (0, OO) AND RELATED QUESTIONS

ON GENERATORS OF THE BANACH ALGEBRA L1 (0, OO) AND RELATED QUESTIONS (HB)

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM (HB)

ON THE COMPLEXITY OF MOTION PLANNING FOR MULTIPLE INDEPENDENT OBJECTS; PSPACE HARDNESS OF THE WAREHOUSEMAN'S PROBLEM - PRIMARY SOURCE EDITION

ON THE EXISTENCE AND SYNTHESIS OF MULTIFINGER POSITIVE GRIPS

ON THE EXISTENCE AND SYNTHESIS OF MULTIFINGER POSITIVE GRIPS (HB)

PRECISE IMPLEMENTATION OF CAD PRIMITIVES USING RATIONAL PARAMETRIZATIONS OF STANDARD SURFACES

PRECISE IMPLEMENTATION OF CAD PRIMITIVES USING RATIONAL PARAMETRIZATIONS OF STANDARD SURFACES (HB)

PRELIMINARY IMPLEMENTATION OF A RATIO IMAGE DEPTH SENSOR

PRELIMINARY IMPLEMENTATION OF A RATIO IMAGE DEPTH SENSOR (HB)

PROGRAMMING WITH SETS (HB)

ROBOTICS RESEARCH TECHNICAL REPORT

STRUCTURED LIGHT SENSORS FOR 3-D ROBOT VISION (CLASSIC REPRINT)