Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  14 نتائج ل ""Mathematical theory of computation""

فلترة النتائج

Subject : mathematical logic
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
eBook

Robust Argumentation Machines

  • Authors : Cimiano, Philipp; Frank, Anette; Kohlhase, Michael

Subjects: argument mining; computational agrumentation; deliberation support

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Harmony and Paradox

Subjects: Proof-theoretic semantics; Identity of proofs; Proof-theoretic harmony

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Foundations of Software Science and Computation Structures

  • Authors : Kobayashi, Naoki; Worrell, James

Subjects: program analysis; categorical models and logics; language theory, automata, and games

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Mathematics of the information of letters

Subjects: Media and communications; Digital humanities; Educational sciences

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
eBook

Computer Aided Verification

  • Authors : Chockler, Hana; Weissenbacher, Georg

Subjects: Computer science; Computer logic; Software engineering

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Computer Aided Verification

  • Authors : Dillig, Isil; Tasiran, Serdar

Subjects: Computer science; Software engineering; Computer logic

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

The Everyday Life of an Algorithm

Subjects: Social sciences; Technology—Sociological aspects; Culture

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Tools and Algorithms for the Construction and Analysis of Systems

  • Authors : Vojnar, Tomáš; Zhang, Lijun

Subjects: Computer science; Computer logic; Mathematical logic

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

The Amazing Journey of Reason

Subjects: Computer science; Computer science—Mathematics; Input-output equipment (Computers)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
eBook

Tools and Algorithms for the Construction and Analysis of Systems

  • Authors : Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice

Subjects: Computer science; Computer logic; Software engineering

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  14 نتائج ل ""Mathematical theory of computation""