Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
  Superposition for Lambda-Free Higher-Order Logic

Bentkamp, A., Blanchette, J. C., Cruanes, S., & Waldmann, U. (2018). Superposition for Lambda-Free Higher-Order Logic. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.), Automated Reasoning (pp. 28-46). Berlin: Springer. doi:10.1007/978-3-319-94205-6_3.

Item is

Basisdaten

einblenden: ausblenden:
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bentkamp, Alexander1, Autor
Blanchette, Jasmin Christian2, Autor           
Cruanes, Simon1, Autor
Waldmann, Uwe2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20182018
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/978-3-319-94205-6_3
BibTex Citekey: Bentkamp_IJCAR2018
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 9th International Joint Conference on Automated Reasoning
Veranstaltungsort: Oxford, UK
Start-/Enddatum: 2018-07-14 - 2018-07-17

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Automated Reasoning
  Untertitel : 9th International Joint Conference, IJCAR 2018 ; Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 ; Proceedings
  Kurztitel : IJCAR 2018
Genre der Quelle: Konferenzband
 Urheber:
Galmiche, Didier1, Herausgeber
Schulz, Stephan1, Herausgeber
Sebastiani, Roberto1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 28 - 46 Identifikator: ISBN: 978-3-319-94204-9

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 10900 Artikelnummer: - Start- / Endseite: - Identifikator: -