The Tableaux Work Bench
Automated Reasoning with Analytic Tableaux and Related Methods, 2003, p.230-236 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540407871 ;ISBN: 9783540407874 ;EISSN: 1611-3349 ;EISBN: 3540452060 ;EISBN: 9783540452065 ;DOI: 10.1007/978-3-540-45206-5_18
Full text available
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||