Media type: Book Title: Non-monotonic reasoning : formalization of commonsense reasoning Contributor: Łukaszewicz, Witold [Author] imprint: New York [u.a.]: Ellis Horwood, 1990 Published in: Ellis Horwood Series in artificial intelligence Issue: 1. publ. Extent: 328 S.; ill Language: English ISBN: 0136244467 RVK notation: ST 285 : Computer supported cooperative work (CSCW), Groupware ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Nichtmonotone Logik > Künstliche Intelligenz Nichtmonotones Schließen > Künstliche Intelligenz Urteilen > Künstliche Intelligenz Origination: Footnote: Includes bibliographical references (p. [309]-318) and index
Central Library – stack Shelf-mark: 0792 01177 001 Item ID: 10031908 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.