Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings /

Bibliographic Details
Corporate Author:	All-Berlin Workshop on Nonclassical Logics and Information Processing
Other Authors:	Pearce, David A., 1952-, Wansing, H. (Heinrich)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlay, [1992]
Series:	Lecture notes in computer science ; 619. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Artificial intelligence > Congresses. Nonclassical mathematical logic > Congresses. Proof theory > Congresses.

Remote Storage