عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9401057818
شابک
9401140405
شابک
9789401057813
شابک
9789401140409
شماره کتابشناسی ملی
شماره
b595323
عنوان و نام پديدآور
عنوان اصلي
Labelled Deduction
نام عام مواد
[Book]
نام نخستين پديدآور
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Springer Netherlands
تاریخ نشرو بخش و غیره
2000
فروست
عنوان فروست
Applied Logic Series, 17
یادداشتهای مربوط به مندرجات
متن يادداشت
Preface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability; V. Balat, D. Galmiche. Normal Multimodal Logics with Interaction Axioms; M. Baldoni. The SAT Problem of Signed CNF Formulas; B. Beckert, R. Hahnle, F. Manya. Discipline as Logic: Treating Labels as First Class Citizens; P. Blackburn. Labelled Abduction (I); K. Broda, D.M. Gabbay. Labelled Tableaux for Propositional Linear Time Logic over Finite Frames; S. Cerrito, M. Cialdea Mayer. Fibred Modal Tableaux; D.M. Gabbay, G. Governatori. Labelled Deduction for the Guarded Fragment; M. Marx, S. Mikulas, S. Schlobach. Semantics for Temporal Annotated Constraint Logic Programming; A. Raffaeta, T. Fruhwirth. The Logic of Reusable Propositional Output with the Fulfilment Constraint; L. van der Torre.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General)
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
David Basin
مستند نام اشخاص تاييد نشده
Dov M Gabbay
مستند نام اشخاص تاييد نشده
Luca Viganò
مستند نام اشخاص تاييد نشده
Marcello D'Agostino
مستند نام اشخاص تاييد نشده
Seán Matthews
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
