Research Catalog
Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings
- Title
- Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing, eds.
- Publication
- Berlin ; New York : Springer, 1992.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | QA76.63 .N662 1992 | Off-site |
Details
- Additional Authors
- Description
- 171 pages; 24 cm.
- Summary
- "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 nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory. The classification is only a rough guide since the four areas overlap considerably."--PUBLISHER'S WEBSITE.
- Series Statement
- Lecture notes in computer science ; 619. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 619.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subject
- Electronic data processing > Congresses
- Logic, Symbolic and mathematical > Congresses
- Artificial intelligence > Congresses
- Logic programming > Congresses
- Nonclassical mathematical logic > Congresses
- Proof theory > Congresses
- Proof theory
- Nonclassical mathematical logic
- Logic programming
- Artificial intelligence
- Electronic data processing
- Logic, Symbolic and mathematical
- Logica
- Bewijstheorie
- Modalité (logique) > Congrès
- Intelligence artificielle > Congrès
- Programmation logique > Congrès
- Genre/Form
- Conference papers and proceedings
- 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 (note)
- Includes bibliographical references.
- ISBN
- 3540557458
- 9783540557456
- 0387557458
- 9780387557458
- LCCN
- 93102667
- OCLC
- ocm26556722
- 26556722
- SCSB-1976449
- Owning Institutions
- Princeton University Library