Human–computer interaction

Logic in Algebraic Form

Word Problems

The Theory of Semisets

Contributions to Non-Standard Analysis

Truth, Syntax and Modality

The Metamathematics of Algebraic Systems

Combinatory Logic

Proceedings of the Second Scandinavian Logic Symposium

Model Theory For Infinitary Logic

LOGIC COLLOQUIUM '69

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

Global biogeochemical cycles

Chemistry of the Natural Atmosphere

Lunar Gravimetry

Planets and Their Atmospheres: Origin and Evolution

The Earth's Magnetic Field : Its History, Origin, and Planetary Perspective

Deformations of an Elastic Earth

The Earth's Climate, Past and Future

Nonlinear System Theory

Bilinear Transformation Method

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Social networks and online communities are reshaping the way people communicate, both in their personal and professional lives.

Decision and Control in Uncertain Resource Systems

Generalized Functions: Theory and Technique

Stochastic Systems

The Stability of Input-Output Dynamical Systems

Volterra Integral and Differential Equations

Algebraic Theory for Multivariable Linear Systems

Introduction to Sensitivity and Stability Analysis in Nonlinear Programming

Approximation of Nonlinear Evolution Systems

First Order Elliptic Systems: A Function Theoretic Approach

Differential Equations: Classical to Controlled

Ba?

Dynamic Noncooperative Game Theory

An Introduction to Applied Optimal Control

Maximum Principles and Their Applications

Approximate Methods in Engineering Design

Sequence Transformations and Their Applications

Stability of Linear Systems: Some Aspects of Kinematic Similarity

Introduction to Algebraic System Theory

Random Differential Inequalities

Search Games

Vector-Valued Optimization Problems in Control Theory

Operator Inequalities

Applications of Functional Analysis and Operator Theory

This book describes systematic methods for winning in differential games of pursuit and evasion and illustrates the scope and application of the developed procedures.