Search alternatives:
its applications » its application
many volumes » all volumes, many voices, app volumes
Cover Image
Read Now

1
Published 2002
Springer Netherlands
Table of Contents: “... Descriptive Dynamic Logic and its Application to Reflective Architectures -- Compositional Verification...”
Cover Image
Read Now

2
Published 2001
Springer Netherlands
Subjects: “...Mathematical logic...”