Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Theorem Proving for Hierarchic First-order Theories

Bachmair, L., Ganzinger, H., & Waldmann, U. (1992). Theorem Proving for Hierarchic First-order Theories. In H. Kirchner, & G. Levi (Eds.), Algebraic and Logic Programming (pp. 420-434). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000E-1511-7 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-345E-F
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://rdcu.be/dug40 (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Bachmair, Leo1, Autor
Ganzinger, Harald2, Autor           
Waldmann, Uwe2, Autor                 
Affiliations:
1External Organizations, ou_persistent22              
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1007/BFb0013841
BibTex Citekey: Bachmair-et-al_ALP92
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 3rd International Conference on Algebraic and Logic Programming
Veranstaltungsort: Volterra, Italy
Start-/Enddatum: 1992-09-02 - 1992-09-04

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Algebraic and Logic Programming
  Kurztitel : ALP 1992
  Untertitel : 3rd International Conference
Genre der Quelle: Konferenzband
 Urheber:
Kirchner, Hélène1, Herausgeber
Levi, Georgio1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 420 - 434 Identifikator: ISBN: 978-3-540-55873-6

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 632 Artikelnummer: - Start- / Endseite: - Identifikator: -