Proceedings of the 6th International Workshop on the Implementation of Logics (bibtex)
by Unknown
Reference:
Proceedings of the 6th International Workshop on the Implementation of Logics, (Christoph Benzmüller, Bernd Fischer, Geoff Sutcliffe, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume 212, 2006.
Bibtex Entry:
@proceedings{E10,
  Editor =	 {Benzm{\"u}ller, Christoph and Fischer, Bernd and
                  Sutcliffe, Geoff},
  Issn =	 {ISSN 1613-0073},
  Publisher =	 {CEUR-WS.org},
  Series =	 {CEUR Workshop Proceedings},
  Title =	 {Proceedings of the 6th International Workshop on the
                  Implementation of Logics},
  Url =		 {http://ceur-ws.org/Vol-212/},
  Volume =	 212,
  Year =	 2006,
}
Powered by bibtexbrowser