Artikel in einem Konferenzbericht,

Fact Calculus: Using ORM and Lisa-D to Reason About Domains.

, , und .
OTM Workshops, Volume 3762 von Lecture Notes in Computer Science, Seite 720-729. Springer, (2005)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen