Nehodí se? Vůbec nevadí! U nás můžete do 30 dní vrátit
S dárkovým poukazem nešlápnete vedle. Obdarovaný si za dárkový poukaz může vybrat cokoliv z naší nabídky.
30 dní na vrácení zboží
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.