System BV without the Equalities for Unit

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

System BV without the Equalities for Unit

Ozan KahramanoğullarıOzan Kahramanoğulları

• Download

Ozan Kahramanoğulları
System BV without the Equalities for Unit
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04, Lecture Notes in Computer Science, 2004. Springer

• Details
• Bibtex

• Bemerkung: Note: © Springer-Verlag Berlin Heidelberg 2004, the original publicationhttp://www.springerlink.com/content/x1y9b7t6lw4ymffj/ is available at www.springerlink.com.
• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{K2004,
  author    = {Ozan Kahramano{\u{g}}ullar{\i}},
  title     = {System {BV} without the Equalities for Unit},
  editor    = {C. Aykanat and T. Dayar and I. Korpeoglu},
  booktitle = {Proceedings of the 19th International Symposium on Computer and
               Information Sciences, {ISCIS'04}},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2004}
}