Logic Programming and Nonmonotonic Reasoning 1

Data & IT

Logic Programming and Nonmonotonic Reasoning

Thomas Eiter • Wolfgang Faber • Miroslaw Trusczynksi

Pocket

779:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

454 sidor
2001

The papers in this volume cover such topics as: computational logic; declarative information extraction; model checking; inductive logic programming; default theories; stable logic programming; program semantics; incomplete information processing; and declarative specification.

Författare: Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi
Illustratör: Mit Abb
Format: Pocket/Paperback
ISBN: 9783540425939
Språk: Engelska
Antal sidor: 454
Utgivningsdatum: 2001-09-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K