> Details

Konev, Boris [Editor]; Schulz, Stephan [Editor]; Simon, Laurent [Editor] ; International Workshop on the Implementation of Logics 11. 2015 Suva

IWIL-2015

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: IWIL-2015 : 11th International Workshop on the Implementation of Logics
  • Contributor: Konev, Boris [Editor]; Schulz, Stephan [Editor]; Simon, Laurent [Editor]
  • Published: [Manchester]: EasyChair, September 27, 2016
  • Published in: EPiC series in computing ; 40
  • Extent: 1 Online-Ressource; Illustrationen
  • Language: English
  • Keywords: Konferenzschrift
  • Origination:
  • Footnote: "This volume contains the papers presented at IWIL-2015: 11th International Workshop on the Implementation of Logics held on November 22, 2016 at the Laucla Bay Campus of the University of the South Pacific in Suva, Fiji." - Vorwort
    "The 11th International Workshop on the Implementation of Logics will be held in November 2015 in conjunction with the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at the Laucla Bay Campus of the University of the South Pacific in Suva, Fiji." - Webseite des Workshops
    Literaturangaben
  • Access State: Open Access