%0 Conference Paper %1 conf/isco/SernadasFMS89 %A Sernadas, Cristina %A Fiadeiro, José Luiz %A Meersman, Robert %A Sernadas, Amílcar %B ISCO %D 1989 %E Falkenberg, Eckhard D. %E Lindgreen, Paul %I North-Holland %K dblp %P 1-30 %T Proof-theoretic Conceptual Modeling: the NIAM Case Study. %U http://dblp.uni-trier.de/db/conf/isco/isco1989.html#SernadasFMS89 %@ 0-444-88323-1

@inproceedings{conf/isco/SernadasFMS89, added-at = {2017-04-28T00:00:00.000+0200}, author = {Sernadas, Cristina and Fiadeiro, José Luiz and Meersman, Robert and Sernadas, Amílcar}, biburl = {https://www.bibsonomy.org/bibtex/2d5897953f62b651ca2b6ecd9adbde320/dblp}, booktitle = {ISCO}, crossref = {conf/isco/1989}, editor = {Falkenberg, Eckhard D. and Lindgreen, Paul}, ee = {https://d-nb.info/1051352827}, interhash = {a0e789b847d257fac9e9a19e60b352e7}, intrahash = {d5897953f62b651ca2b6ecd9adbde320}, isbn = {0-444-88323-1}, keywords = {dblp}, pages = {1-30}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2024-04-09T19:12:25.000+0200}, title = {Proof-theoretic Conceptual Modeling: the NIAM Case Study.}, url = {http://dblp.uni-trier.de/db/conf/isco/isco1989.html#SernadasFMS89}, year = 1989 }