eBook
Προβολή σε EDS

A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
Συγγραφείς: Fages, FrançoisAff1
Συνεισφορές: Goos, Gerhard, Founding EditorAff11, Hartmanis, Juris, Founding EditorAff12, Bertino, Elisa, Editorial Board MemberAff13, Gao, Wen, Editorial Board MemberAff14, Steffen, Bernhard, Editorial Board MemberAff15, Yung, Moti, Editorial Board MemberAff16, Gibbons, Jeremy, editorAff17, Miller, Dale, editorAff18
Πηγή: Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings. 14659:135-150
Βάση Δεδομένων: Springer Nature eBooks
FullText Text:
  Availability: 0
Header DbId: edssjb
DbLabel: Springer Nature eBooks
An: edssjb.978.981.97.2300.3.8
RelevancyScore: 1014
AccessLevel: 2
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1013.60559082031
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Fages%2C+François%22">Fages, François</searchLink><relatesTo>Aff1</relatesTo>
– Name: Author
  Label: Contributors
  Group: Au
  Data: Goos, Gerhard, Founding Editor<relatesTo>Aff11</relatesTo><br />Hartmanis, Juris, Founding Editor<relatesTo>Aff12</relatesTo><br />Bertino, Elisa, Editorial Board Member<relatesTo>Aff13</relatesTo><br />Gao, Wen, Editorial Board Member<relatesTo>Aff14</relatesTo><br />Steffen, Bernhard, Editorial Board Member<relatesTo>Aff15</relatesTo><br />Yung, Moti, Editorial Board Member<relatesTo>Aff16</relatesTo><br />Gibbons, Jeremy, editor<relatesTo>Aff17</relatesTo><br />Miller, Dale, editor<relatesTo>Aff18</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings</i>. 14659:135-150
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.981.97.2300.3.8
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/978-981-97-2300-3_8
    PhysicalDescription:
      Pagination:
        PageCount: 16
        StartPage: 135
    Titles:
      – TitleFull: A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Fages, François
      – PersonEntity:
          Name:
            NameFull: Goos, Gerhard, Founding Editor
      – PersonEntity:
          Name:
            NameFull: Hartmanis, Juris, Founding Editor
      – PersonEntity:
          Name:
            NameFull: Bertino, Elisa, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Gao, Wen, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Steffen, Bernhard, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Yung, Moti, Editorial Board Member
      – PersonEntity:
          Name:
            NameFull: Gibbons, Jeremy, editor
      – PersonEntity:
          Name:
            NameFull: Miller, Dale, editor
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2024
          Identifiers:
            – Type: isbn-print
              Value: 9789819722990
            – Type: isbn-print
              Value: 9789819723003
          Numbering:
            – Type: volume
              Value: 14659
          Titles:
            – TitleFull: Functional and Logic Programming : 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
              Type: main
ResultId 1