nonclassical logics information processing von pearce david (5 Ergebnisse)

Paperback. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systemslogic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.

Taschenbuch. Zustand: Neu. Nonclassical Logics and Information Processing | International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings | David Pearce (u. a.) | Taschenbuch | ix | Englisch | 1992 | Springer | EAN 9783540557456 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious diff.

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systemslogic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.