Show simple item record

AuthorFrühwirth, Thomdc.contributor.author
Date of accession2019-10-15T08:03:10Zdc.date.accessioned
Available in OPARU since2019-10-15T08:03:10Zdc.date.available
Date of first publication2018dc.date.issued
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleImplementation of Logical Retraction in Constraint Handling Rules with Justificationsdc.title
Resource typeBeitrag zu einer Konferenzdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Softwaretechnik und Programmiersprachenuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1007/978-3-030-00801-7_3dc.identifier.doiExternal
Source - Title of sourceDeclarative Programming and Knowledge Management, Declare 2017source.title
Source - PublisherChamsource.publisherPlace
Source - Place of publicationSpringer International Publishingsource.publisher
Source - Year2018source.year
Source - From page37source.fromPage
Source - To page52source.toPage
Source - SerialLecture Notes in Artificial Intelligence ; 10997source.series
Source - ISSN0302-9743source.identifier.issn
Source - eISSN1611-3349source.identifier.eissn
Source - ISBN978-3-030-00801-7source.identifier.isbn
Source - ISBN978-3-030-00800-0source.identifier.isbn
Conference nameInternational Conference on Declarative Programming (DECLARE)uulm.conferenceName
Conference placeWurzburg, Germanyuulm.conferencePlace
Conference start date2017-09-19uulm.conferenceStartDate
Conference end date2017-09-22uulm.conferenceEndDate
CommunityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
WoS000477760300003uulm.identifier.wos
Bibliographyuulmuulm.bibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record