International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 2002 Kopenhagen
VIAF ID: 128789094 ( Corporate )
Permalink: http://viaf.org/viaf/128789094
Preferred Forms
4xx's: Alternate Name Forms (1)
5xx's: Related Names (3)
- 511 2 _ ‡a International Conference on Analytic Tableaux and Related Methods ‡d 2000 ‡c Saint Andrews ‡j Vorgaenger
- 511 2 _ ‡a International Conference on Analytic Tableaux and Related Methods ‡d 2003 ‡c Rom ‡j Nachfolger
- 551 _ _ ‡a Kopenhagen