Nu se pretează? Nu contează! La noi puteți returna bunurile în 30 de zile
Cu un voucher cadou nu veți da greș. În schimbul voucherului, destinatarul își poate alege orice din oferta noastră.
30 de zile pentru retur bunuri
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.