کتابخانه دیجیتال دانشگاه هنر اصفهان
فیلترها

کل نتایج:

5 مورد

Logic, Symbolic and mathematical.
Reasoning about uncertainty

پدیدآورنده:

Halpern, Joseph Y.,

زبان اثر:

En

درباره (موضوع):

Uncertainty (Information theory) ، Reasoning. ، Logic, Symbolic and mathematical.
نمود / نمونه‌های شی / اثر
Reasoning about uncertainty
محتوا دیجیتال
کتاب

شرح پدیدآور

:
Joseph Y. Halpern.

محل تولید محتوا (نشر)

:
Cambridge, Mass.

ناشر

:
MIT Press,

تاریخ انتشار

:
c2003.

محل نگهداری

:
کتاب لاتین
Reasoning about uncertainty

شرح پدیدآور:

Joseph Y. Halpern.

محل تولید محتوا (نشر):

Cambridge, Mass.

ناشر:

MIT Press,

تاریخ انتشار:

c2003.

شابک:

0262083205 (hc.: alk. paper)

توصیف:

Includes bibliographical references (p. 435-457) and index

محل نگهداری:

کتاب لاتین
Proof, logic, and formalization

همکار:

Detlefsen, Michael, 1948-

زبان اثر:

En

درباره (موضوع):

Proof theory. ، Logic, Symbolic and mathematical.
نمود / نمونه‌های شی / اثر
Proof, logic, and formalization
محتوا دیجیتال
کتاب

شرح پدیدآور

:
edited by Michael Detlefsen.

محل تولید محتوا (نشر)

:
London; New York

ناشر

:
Routledge,

تاریخ انتشار

:
1992.

محل نگهداری

:
کتاب لاتین
Proof, logic, and formalization

شرح پدیدآور:

edited by Michael Detlefsen.

محل تولید محتوا (نشر):

London; New York

ناشر:

Routledge,

تاریخ انتشار:

1992.

شابک:

0415023351

توصیف:

Includes bibliographical references and index

محل نگهداری:

کتاب لاتین
A Summary of Scientific Method

پدیدآورنده:

Kosso, Peter.

زبان اثر:

En

درباره (موضوع):

Logic, Symbolic and mathematical. ، Science- Methodology.
نمود / نمونه‌های شی / اثر
A Summary of Scientific Method
محتوا دیجیتال
کتاب

جایگاه (فروست)

:
SpringerBriefs in Philosophy

محل تولید محتوا (نشر)

:
Dordrecht

ناشر

:
Springer Netherlands,

تاریخ انتشار

:
2011.

محل نگهداری

:
کتاب لاتین
A Summary of Scientific Method

جایگاه (فروست):

SpringerBriefs in Philosophy

محل تولید محتوا (نشر):

Dordrecht

ناشر:

Springer Netherlands,

تاریخ انتشار:

2011.

شابک:

9789400716148:

توصیف:

Description based upon print version of record

محل نگهداری:

کتاب لاتین
Tractatus logico-philosophicus

همکار:

Pears, David, 1921-2009. McGuinness, Brian.

پدیدآورنده:

Wittgenstein, Ludwig,

نام جایگزین:

Tractatus logico-philosophicus

زبان اثر:

En

درباره (موضوع):

Logic, Symbolic and mathematical. ، Language and languages-Philosophy.
نمود / نمونه‌های شی / اثر
Tractatus logico-philosophicus
محتوا دیجیتال
کتاب

شرح پدیدآور

:
Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell.

محل تولید محتوا (نشر)

:
London; New York

ناشر

:
Routledge,

تاریخ انتشار

:
c2001.

محل نگهداری

:
کتاب لاتین
Tractatus logico-philosophicus

شرح پدیدآور:

Ludwig Wittgenstein ; translated by D.F. Pears and B.F. McGuinness ; with an introduction by Bertrand Russell.

محل تولید محتوا (نشر):

London; New York

ناشر:

Routledge,

تاریخ انتشار:

c2001.

شابک:

0415255627

توصیف:

Originally published: 1975; Includes index

محل نگهداری:

کتاب لاتین
Logic with trees

پدیدآورنده:

Howson, Colin.

زبان اثر:

En

درباره (موضوع):

Logic, Symbolic and mathematical.
نمود / نمونه‌های شی / اثر
Logic with trees
محتوا دیجیتال
کتاب

شرح پدیدآور

:
Colin Howson.

محل تولید محتوا (نشر)

:
London; New York

ناشر

:
Routledge,

تاریخ انتشار

:
1997.

محل نگهداری

:
کتاب لاتین
Logic with trees

شرح پدیدآور:

Colin Howson.

محل تولید محتوا (نشر):

London; New York

ناشر:

Routledge,

تاریخ انتشار:

1997.

شابک:

0415133424

توصیف:

Includes bibliographical references (p. [189]-190) and indexes

محل نگهداری:

کتاب لاتین
کتابخانه دیجیتال دانشگاه هنر اصفهان

توضیحات

دسترسی سریع

دوستان کتابخانه

وبسایت

کاربر

ما در شبکه های اجتماعی دنبال کنید