Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Resolution-based Theorem Proving for Non-classical Logics based on Distributive Lattices with Operators

Sofronie-Stokkermans, V. (1999). Resolution-based Theorem Proving for Non-classical Logics based on Distributive Lattices with Operators. In J. Cachro, & K. Kijania-Placek (Eds.), Volume of Abstracts / 11th International Congress of Logic, Methodology and Philosophy of Science (pp. 481-481). Cracow, Poland: The Faculty of Philosophy, Jagellonian University.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A583-D Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A585-9

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Sofronie-Stokkermans, Viorica¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Erschienen: 1999

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Sofronie-Stokkermans1999-lmps

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: 11th International Congress of Logic, Methodology and Philosophy of Science

Veranstaltungsort: Cracow, Poland

Start-/Enddatum: 1999-08-20 - 1999-08-26

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Volume of Abstracts / 11th International Congress of Logic, Methodology and Philosophy of Science

Genre der Quelle: Konferenzband

Urheber:
Cachro, Jacek¹, Herausgeber
Kijania-Placek, Katarzyna¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Cracow, Poland : The Faculty of Philosophy, Jagellonian University

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 481 - 481 Identifikator: ISBN: 83-912252-0-8