This is the first of two volumes comprising the paperssubmitted for publication by the invited ...

This book gives a state-of-the-art survey of current researchin logic and philosophy of science...

This mathematically oriented introduction to the theory of logic programming presents a systemati...

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geome...

This book gives a state-of-the-art survey of current researchin logic and philosophy of science...

This book gives a state-of-the-art survey of current researchin logic and philosophy of science...

This is the first of two volumes comprising the paperssubmitted for publication by the invited ...

Explores the security implications of military, scientific, and commercial activities in space.

This is the first of two volumes comprising the paperssubmitted for publication by the invited ...

This book gives a state-of-the-art survey of current researchin logic and philosophy of science...