Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Sofronie-Stokkermans, Viorica

dblp



Editor(s):

Cachro, Jacek
Kijania-Placek, Katarzyna

dblp
dblp



BibTeX cite key*:

Sofronie-Stokkermans1999-lmps

Title, Booktitle

Title*:

Resolution-based theorem proving for non-classical logics based on distributive lattices with operators

Booktitle*:

Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts

Event, URLs

URL of the conference:

http://www.uj.edu.pl/Phils/congress/

URL for downloading the paper:


Event Address*:

Cracow, Poland

Language:

English

Event Date*
(no longer used):

August, 20-26

Organization:


Event Start Date:

24 August 2019

Event End Date:

24 August 2019

Publisher

Name*:

The Faculty of Philosophy, Jagellonian University

URL:


Address*:

Cracow, Poland

Type:

Abstract

Vol, No, Year, pp.

Series:


Volume:


Number:


Month:

August

Pages:

481-481

Year*:

1999

VG Wort Pages:


ISBN/ISSN:

83-912252-0-8

Sequence Number:


DOI:




Note, Abstract, ©





Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, university publications list, MPII FTP Server, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{Sofronie-Stokkermans1999-lmps,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Cachro, Jacek and Kijania-Placek, Katarzyna},
TITLE = {Resolution-based theorem proving for non-classical logics based on distributive lattices with operators},
BOOKTITLE = {Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts},
PUBLISHER = {The Faculty of Philosophy, Jagellonian University},
YEAR = {1999},
TYPE = {Abstract},
PAGES = {481--481},
ADDRESS = {Cracow, Poland},
MONTH = {August},
ISBN = {83-912252-0-8},
}


Entry last modified by Manfred Jaeger, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Viorica Sofronie-Stokkermans
Created
02/23/2000 11:57:57 AM
Revisions
3.
2.
1.
0.
Editor(s)
Manfred Jaeger
Uwe Brahm
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Edit Dates
31/08/2001 11:54:39
28.03.2000 10:37:00
21/03/2000 15:37:33
23/02/2000 11:57:57