Language
Publisher
Subjects
- All ( )
- Free, open source ( )
3Result(s)for '"Basin David"'
Resource list
By Basin David in LISP and Symbolic Computation
ISSN:1388-3690|17|3|171-171
Springer Publishing Company (2004)
Access to resources Favorite 16.732605
By Basin David Friedrich Stefan Gawkowski Marek in Journal of Automated Reasoning
ISSN:0168-7433|30|3-4|399-444
Springer Publishing Company (2003)
Access to resources Favorite 10.039563
By Armando Alessandro Basin David Cuellar Jorge Rusinowitch Michaël Viganò Luca in Journal of Automated Reasoning
ISSN:0168-7433|36|1-2|1-3
Springer Publishing Company (2006)
Access to resources Favorite 7.529544