Nonclassical logics and information processing
Subtitle: International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings
By: D. Pearce, H. Wansing (eds.).
Contributors: Pearce, David A., 1952-; Wansing, H.; All-Berlin Workshop on Nonclassical Logics and Information Processing. (1st : 1990 : Berlin, Germany).
Series: Lecture notes in computer science -- 619. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 619; Lecture notes in computer science
Publisher: Springer-Verlag
Published: 1992
Place of publication: Berlin; New York
Language: eng
Number of pages: 171
Subjects: Artificial intelligence -- Congresses.; Logic programming -- Congresses.; Nonclassical mathematical logic -- Congresses.; Proof theory -- Congresses.
Notes: "This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing which was held at the Freie Universität on the first anniversary of the opening of the Berlin Wall, 9-10 November, 1990."--Pref.

Includes bibliographical references.