DaftarIsitemplate

Call Number

005.133 Bee P

Title

Handling implication and universal quantification constraints in flux, (LNCS-Lecture Notes in Computer Science 3709) Hal 667-681

Author

Michael Thielscher;

Publisher

Springer, 2005

Subject

Location