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):

Wu, Jinzhao
Lu, Mi

dblp
dblp



Editor(s):

Li, Zhibin

dblp



BibTeX cite key*:

Wulu1998

Title, Booktitle

Title*:

CWA in Multi-Valued Logics

Booktitle*:

Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98)

Event, URLs

URL of the conference:

http://www.lzu.edu.cn/landa/dept/comp/ascm98.html

URL for downloading the paper:


Event Address*:

Lanzhou, China

Language:

English

Event Date*
(no longer used):

August, 6 - August 8

Organization:

Lanzhou University, the Mathematics Mechanization Research Center (MMRC), and the Japanese Society for Symbolic and Algebraic Computation (JSSAC)

Event Start Date:

9 December 2019

Event End Date:

9 December 2019

Publisher

Name*:

Lanzhou University

URL:


Address*:

Lanzhou, China

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:

August

Pages:

259-270

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

7-311-01406-9

Sequence Number:


DOI:




Note, Abstract, ©



Keywords:

Many-Valued Logics, Closed World Assumpation



Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

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



BibTeX Entry:

@INPROCEEDINGS{Wulu1998,
AUTHOR = {Wu, Jinzhao and Lu, Mi},
EDITOR = {Li, Zhibin},
TITLE = {CWA in Multi-Valued Logics},
BOOKTITLE = {Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98)},
PUBLISHER = {Lanzhou University},
YEAR = {1998},
ORGANIZATION = {Lanzhou University, the Mathematics Mechanization Research Center (MMRC), and the Japanese Society for Symbolic and Algebraic Computation (JSSAC)},
PAGES = {259--270},
ADDRESS = {Lanzhou, China},
MONTH = {August},
ISBN = {7-311-01406-9},
}


Entry last modified by Christine Kiesel, 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)
Jinzhao Wu
Created
01/12/1999 12:22:33 PM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Jinzhao Wu
Jinzhao Wu
Edit Dates
31.08.2001 10:23:25 AM
01.04.99 17:25:08
29.03.99 19:28:07
29.03.99 19:28:07
29.03.99 19:28:07