Login / Signup
Predicate µ-Calculus for Mobile Ambients.
Huimin Lin
Published in:
J. Comput. Sci. Technol. (2005)
Keyphrases
</>
predicate calculus
formal model
first order logic
semantic network
predicate logic
theorem proving
mobile devices
lambda calculus
mobile phone
proof procedure
mobile learning
theorem prover
semantic net
mobile users
data analysis
mobile applications
knowledge representation
probabilistic model
machine learning