Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Quantifier Elimination in Second-order Predicate Logic

Gabbay, D., & Ohlbach, H. J. (1992). Quantifier Elimination in Second-order Predicate Logic. In KR'92, Principles of Knowledge Representation and Reasoning (pp. 425-435). San Francisco, CA, United States: Morgan Kaufmann Publishers Inc.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000E-160E-B Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-1666-7
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Gabbay, Dov1, Autor
Ohlbach, Hans Jürgen2, 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: 1992
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Gabbay-Ohlbach_KR92
DOI: 10.5555/3087223.3087266
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Third International Conference on Principles of Knowledge Representation and Reasoning
Veranstaltungsort: Cambridge, MA, United States
Start-/Enddatum: 1992-10-25 - 1992-10-29

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: KR'92, Principles of Knowledge Representation and Reasoning
  Untertitel : Proceedings of the Third International Conference
  Kurztitel : KR 1992
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: San Francisco, CA, United States : Morgan Kaufmann Publishers Inc.
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 425 - 435 Identifikator: ISBN: 978-1-55860-262-5