Nonclassical Logics and Information Processing

Name: Nonclassical Logics and Information Processing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540557456
Price: 194.56 RON
Availability: InStock

International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

Autor: David Pearce, Heinrich Wansing

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

194.56 lei

This volume comprises the proceedings of the First§All-Berlin Workshop on Nonclassical Logics and In...

Informații despre carte

Autor

David Pearce, Heinrich Wansing

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1992

Pagini

175

EAN

9783540557456

ISBN

3540557458

Enbook ID

01565557

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

600

Dimensiuni

216 x 279 x 10

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Nonclassical Logics and Information Processing

International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și