Your search returned 2 results.

Results
	1.	Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / by Swart, Harrie de [editor.] Orlowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4342 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings / by Swart, Harrie de [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1397 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search