Amanote Research
Register
Sign In
Applying the Mu-Calculus in Planning and Reasoning About Action
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/8.3.425
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
June 1, 1998
Authors
M. Singh
Publisher
Oxford University Press (OUP)
Related search
Alpha-Particle Emission as a Probe of Nuclear Shapes and Structure Effects in Proton Evaporation Spectra
Nuclear Physics A
High Energy Physics
Nuclear