%0 Book Section %1 conf/RelMiCS/FormisanoOO06 %A Formisano, Andrea %A Omodeo, Eugenio G. %A Orlowska, Ewa %B Theory and Applications of Relational Structures as Knowledge Instruments %D 2006 %E de Swart, Harrie C. M. %E Orlowska, Ewa %E Schmidt, Gunther %E Roubens, Marc %I Springer %K dblp %P 89-104 %T An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. %U http://dblp.uni-trier.de/db/conf/RelMiCS/tarski2006.html#FormisanoOO06 %V 4342 %@ 3-540-69223-1

@incollection{conf/RelMiCS/FormisanoOO06, added-at = {2020-07-13T00:00:00.000+0200}, author = {Formisano, Andrea and Omodeo, Eugenio G. and Orlowska, Ewa}, biburl = {https://www.bibsonomy.org/bibtex/2274044f96c2f808f1f801e2b2f61723b/dblp}, booktitle = {Theory and Applications of Relational Structures as Knowledge Instruments}, crossref = {conf/RelMiCS/2006tarski}, editor = {de Swart, Harrie C. M. and Orlowska, Ewa and Schmidt, Gunther and Roubens, Marc}, ee = {https://doi.org/10.1007/11964810_5}, interhash = {f1f69b898306a0080cc95a6cef2fe8dd}, intrahash = {274044f96c2f808f1f801e2b2f61723b}, isbn = {3-540-69223-1}, keywords = {dblp}, pages = {89-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T07:57:23.000+0200}, title = {An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.}, url = {http://dblp.uni-trier.de/db/conf/RelMiCS/tarski2006.html#FormisanoOO06}, volume = 4342, year = 2006 }