Búsqueda de LIBROS DEL AUTOR: robert j moore

4 resultados

  • MAN AND THE MARINE ENVIRONMENT
    ROBERT A. RAGOTZKIE / J. ROBERT MOORE
    Marine recreation represents one of the most important uses of our marine and coastal environments.This is a natural result of three things; population density in coastal areas, increasing interest in outdoor recreation, and the special lure of the sea.What the poet may think of as the lure of the sea, today‘s recreation planner would consider a combination of resource-directed...

    $4,500.00

  • A COMPUTATIONAL LOGIC
    ROBERT S. BOYER / J STROTHER MOORE
    ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the theory, and correctness of a tautology-checker. Topics include mechanical proofs, ...

    $970.00

  • A COMPUTATIONAL LOGIC HANDBOOK
    ROBERT S. BOYER / J STROTHER MOORE
    Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving system, including a primer for the logic as a functional programming language, an introduction to proofs in the logic, and a primer for the mechanical theorem. The publication first offers information ...

    $970.00

  • DEVIL'S LAKE, WISCONSIN AND THE CIVILIAN CONSERVATION CORPS
    ROBERT J. MOORE
    Thousands of young men embarked on the adventure of a lifetime when they joined the Civilian Conservation Corps during the Great Depression. Service at Wisconsin's popular state park offered notoriety absent at most camp assignments. While most of the CCC work around the country was in remote forests and farmlands, at Devil's Lake tourists could view CCC project activity each d...

    $229.00