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