eBook
Coinductive Logic Programming with Negation
| Τίτλος: | Coinductive Logic Programming with Negation |
|---|---|
| Συγγραφείς: | Min, RichardAff17, Gupta, GopalAff17 |
| Συνεισφορές: | Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, De Schreye, Danny, editorAff16 |
| Πηγή: | Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. 6037:97-112 |
| Βάση Δεδομένων: | Springer Nature eBooks |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edssjb DbLabel: Springer Nature eBooks An: edssjb.978.3.642.12592.8.8 RelevancyScore: 886 AccessLevel: 2 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 886.324340820313 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Coinductive Logic Programming with Negation – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Min%2C+Richard%22">Min, Richard</searchLink><relatesTo>Aff17</relatesTo><br /><searchLink fieldCode="AR" term="%22Gupta%2C+Gopal%22">Gupta, Gopal</searchLink><relatesTo>Aff17</relatesTo> – Name: Author Label: Contributors Group: Au Data: Hutchison, David, editor<relatesTo>Aff1</relatesTo><br />Kanade, Takeo, editor<relatesTo>Aff2</relatesTo><br />Kittler, Josef, editor<relatesTo>Aff3</relatesTo><br />Kleinberg, Jon M., editor<relatesTo>Aff4</relatesTo><br />Mattern, Friedemann, editor<relatesTo>Aff5</relatesTo><br />Mitchell, John C., editor<relatesTo>Aff6</relatesTo><br />Naor, Moni, editor<relatesTo>Aff7</relatesTo><br />Nierstrasz, Oscar, editor<relatesTo>Aff8</relatesTo><br />Pandu Rangan, C., editor<relatesTo>Aff9</relatesTo><br />Steffen, Bernhard, editor<relatesTo>Aff10</relatesTo><br />Sudan, Madhu, editor<relatesTo>Aff11</relatesTo><br />Terzopoulos, Demetri, editor<relatesTo>Aff12</relatesTo><br />Tygar, Doug, editor<relatesTo>Aff13</relatesTo><br />Vardi, Moshe Y., editor<relatesTo>Aff14</relatesTo><br />Weikum, Gerhard, editor<relatesTo>Aff15</relatesTo><br />De Schreye, Danny, editor<relatesTo>Aff16</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <i>Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers</i>. 6037:97-112 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjb&AN=edssjb.978.3.642.12592.8.8 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/978-3-642-12592-8_8 PhysicalDescription: Pagination: PageCount: 16 StartPage: 97 Titles: – TitleFull: Coinductive Logic Programming with Negation Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Min, Richard – PersonEntity: Name: NameFull: Gupta, Gopal – PersonEntity: Name: NameFull: Hutchison, David, editor – PersonEntity: Name: NameFull: Kanade, Takeo, editor – PersonEntity: Name: NameFull: Kittler, Josef, editor – PersonEntity: Name: NameFull: Kleinberg, Jon M., editor – PersonEntity: Name: NameFull: Mattern, Friedemann, editor – PersonEntity: Name: NameFull: Mitchell, John C., editor – PersonEntity: Name: NameFull: Naor, Moni, editor – PersonEntity: Name: NameFull: Nierstrasz, Oscar, editor – PersonEntity: Name: NameFull: Pandu Rangan, C., editor – PersonEntity: Name: NameFull: Steffen, Bernhard, editor – PersonEntity: Name: NameFull: Sudan, Madhu, editor – PersonEntity: Name: NameFull: Terzopoulos, Demetri, editor – PersonEntity: Name: NameFull: Tygar, Doug, editor – PersonEntity: Name: NameFull: Vardi, Moshe Y., editor – PersonEntity: Name: NameFull: Weikum, Gerhard, editor – PersonEntity: Name: NameFull: De Schreye, Danny, editor IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2010 Identifiers: – Type: isbn-print Value: 9783642125911 – Type: isbn-print Value: 9783642125928 Numbering: – Type: volume Value: 6037 Titles: – TitleFull: Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers Type: main |
| ResultId | 1 |