Show simple item record

AuthorBolock, Alia Eldc.contributor.author
AuthorZaki, Amiradc.contributor.author
AuthorFrühwirth, Thomdc.contributor.author
Date of accession2020-03-09T10:16:30Zdc.date.accessioned
Available in OPARU since2020-03-09T10:16:30Zdc.date.available
Date of first publication2012dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleSubstitution-based CHR Solver for Bivariate Binomial Equation Setsdc.title
Resource typeTeil eines Buchesdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Softwaretechnik und Programmiersprachenuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
Source - Title of sourceCHR 2012: Ninth International Workshop on Constraint Handling Rulessource.title
Quellenangabe - HerausgeberSneyers, Jonsource.contributor.editor1
Quellenangabe - HerausgeberFrühwirth, Thomsource.contributor.editor1
Source - PublisherLeuvensource.publisherPlace
Source - Place of publicationHeverleesource.publisher
Source - Year2012source.year
Source - From page41source.fromPage
Source - To page50source.toPage
Source - SerialReport CW ; 624source.series
Suitable communityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
University Bibliographyjauulm.unibibliographie


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