Shelfclass_id |
4.B.2 |
Sortkey |
PEARCE, DAVID |
Authors |
David Pearce, Heinrich Wansing |
Title |
Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990: Proceedings |
Publisher |
Springer Pub. Co. |
Year |
c1992 |
Languages |
eng |
Isbn |
0387557458, 3540557458 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
619 |
Issn |
0302-9743 |
Description |
(Springer-Verlag Berlin Heidelberg New York) (Springer-Verlag New 171 p. 25 cm. |
Record date |
20061025 |
Location |
New York |
Nlmed |
QA76.63 |
Keywords |
Logic programming, Artificial intelligence, Nonclassical mathematical logic, Proof theory |
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. |