Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Pientka Brigitte"'
Resource list
By Pientka Brigitte in Journal of Automated Reasoning
ISSN:0168-7433|34|2|179-207
Springer Publishing Company (2005)
Access to resources
Favorite
21.01347