Propositional satisfiability in declarative programming
Propositional theories are strongly equivalent to logic programs
Propulsion and Power Generation Capabilities of a Dense Plasma Focus (DPF) Fusion System for Future Military Aerospace Vehicles
Propulsion Options for Near Earth Object Characterization Missions
Propulsion Systems Integration for a `Tractor Beam' Mercury Lightcraft: Liftoff Engine
Propulsion systems using in situ propellants for a Mars ascent vehicle
Propulsion systems using in situ propellants for a Mars Ascent Vehicle
Propulsion technologies for exploration of the solar system and beyond (plenary)
Prosody Based Co-analysis for Continuous Recognition of Coverbal Gestures
Prosody-Based Automatic Segmentation of Speech into Sentences and Topics
Prospect for VLBI network extension: the first results of an Ad-hoc S2 array experiments
Prospect of AMS Experiment for Dark Matter
Prospecting for Rare Elements in the Interstellar Medium
Prospecting for Rare Elements in the Interstellar Medium
Prospecting for Subsurface Liquid Water Using Magnetotellurics on Mars
Prospective Algorithms for Quantum Evolutionary Computation
Prospective spacecraft for venus research: Venera-D design
Prospective Study for Semantic Inter-Media Fusion in Content-Based Medical Image Retrieval
Prospects for a Solar Radar at Arecibo
Prospects for a Wide Field CCD Camera Aboard NGST