Formal Methods in Software Engineering

Institution-independent logic programming paradigms

Year2006
TypeTalk
StatusPublished
AuthorsDorel Lucanu

Links

    Abstract

    Institution-independent logic programming paradigms

    BibTeX

    @TALK{munchenwiler06p1, author = {D. Lucanu}, title = {Institution-independent logic programming paradigms}, institution = {Logic and Information Workshop Aspects of Ontologies, Schloss Muenchenwiler}, year = {2006}, url = {[Muenchenwiler]} }