Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Prime Implicate Generation in Equational Logic

Echenim, M., Peltier, N., & Tourret, S. (2018). Prime Implicate Generation in Equational Logic. In J. Lang (Ed.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (pp. 5588-5592). IJCAI. doi:10.24963/ijcai.2018/790.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0002-A2B1-E Versions-Permalink: https://hdl.handle.net/21.11116/0000-0002-A2B2-D

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Echenim, Mnacho¹, Autor
Peltier, Nicolas¹, Autor
Tourret, Sophie², Autor

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2018Online veröffentlicht: 2018

Publikationsstatus: Online veröffentlicht

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: EchenimIJCAI2018
DOI: 10.24963/ijcai.2018/790

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence

Veranstaltungsort: Stockholm, Sweden

Start-/Enddatum: 2018-07-13 - 2018-07-19

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence

Kurztitel : IJCAI 2018

Andere : IJCAI-18

Genre der Quelle: Konferenzband

Urheber:
Lang, Jérôme, Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: IJCAI

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 5588 - 5592 Identifikator: ISBN: 978-0-9992411-2-7