Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.).

Other author Pearce, David A., 1952-
Other author Wansing, H. (Heinrich)
Other author All-Berlin Workshop on Nonclassical Logics and Information Processing 1990 : Berlin Germany)
Format Book
Publication InfoBerlin ; New York : Springer-Verlag, ©1992.
Description171 pages ; 25 cm.
Subjects
Logic programming--Congresses.
Artificial intelligence--Congresses.
Nonclassical mathematical logic--Congresses.
Proof theory--Congresses.

SeriesLecture notes in computer science. Lecture notes in artificial intelligence
Lecture notes in computer science ; 619
Lecture notes in computer science 619. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
General note"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.
Bibliography noteIncludes bibliographical references.
ISBN3540557458 (Springer-Verlag Berlin Heidelberg New York)
ISBN0387557458 (Springer-Verlag New York Berlin Heidelberg)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.63.N6 1992 ✔ Available Place Hold