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

"This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly...

Full description

Bibliographic Details
Corporate Authors:	All-Berlin Workshop on Nonclassical Logics and Information Processing, 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-Verlag, c1992 Berlin ; New York : Springer, 1992 Berlin ; New York : Springer-Verlay, [1992], ©1992 Berlin ; New York : c1992 Berlin ; New York : c1992
Series:	Lecture notes in computer science ; . 619 Lecture notes in computer science ; 619 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence. Lecture notes in computer science 619
Subjects:	Artificial intelligence > Congresses Electronic data processing > Congresses Logic programming > Congresses Logic, Symbolic and mathematical > Congresses Nonclassical mathematical logic > Congresses Proof theory > Congresses Artificial intelligence Electronic data processing Logic, Symbolic and mathematical Conference papers and proceedings

Internet

Stanford University

Holdings details from Stanford University
Call Number:	QA76.63 .N6 1992

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.63.N6 1992

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.63.N6 1990

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA 76.63 .N61 1992

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 619

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 619

Cornell University

Holdings details from Cornell University
Call Number:	QA76.5 .N82 1990

Princeton University

Holdings details from Princeton University
Call Number:	QA76.63 .N662 1992

Columbia University

Holdings details from Columbia University
Call Number:	QA76.63 .N6 1992g

Brown University

Holdings details from Brown University
Call Number:	Q76.63 .N64x 1992