Web ИРБИС

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Logic<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

    EPSA epistemology and methodology of science [Electronic resource] : launch of the European philosophy of science association / ed. M. Suarez [et al.]. - Electronic text data. - Dordrecht : Springer, 2010. - ISBN 978-9-048-13263-8 : Б. ц.

Рубрики: Philosophy (general)
   Genetic epistemology
   Logic
   Biology--Philosophy
   Science--Philosophy
   Social sciences--Philosophy
   Philosophy
   Philosophy of science
   Philosophy of the social sciences
   Philosophy of biology
   Epistemology
   Logic

См. : Текст издания

Доп.точки доступа:
Suarez, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Braüner, T.
    Hybrid logic and its proof-theory [Electronic resource] / T. Braüner. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Applied logic series, ISSN 1386-2790 ; 37). - ISBN 978-94-007-0002-4 : Б. ц.

Рубрики: Philosophy (general)
   Logic
   Computer science
   Logic, symbolic and mathematical
   Philosophy
   Logic
   Mathematical logic and formal languages
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Gratton, C.
    Infinite regress arguments [Electronic resource] / C. Gratton. - Electronic text data. - Dordrecht : Springer, 2010. - (Argumentation library, ISSN 1566-7650 ; 17). - ISBN 978-9-048-13341-3 : Б. ц.

Рубрики: Philosophy (general)
   Genetic epistemology
   Logic
   Metaphysics
   Philosophy
   Philosophy
   Philosophy
   Logic
   Metaphysics
   Epistemology
   Philosophy of religion

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Sarbo, J. J.
    Knowledge in formation [Electronic resource] : a computational theory of interpretation / J. J. Sarbo, J. I. Farkas, A. J. Breemen. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (Cognitive technologies, ISSN 1611-2482). - ISBN 978-3-642-17089-8 : Б. ц.

Рубрики: Computer science
   Logic
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Logic

См. : Текст издания

Доп.точки доступа:
Farkas, J.I.; Breemen, A.J.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Centrone, S.
    Logic and philosophy of mathematics in the early husserl [Electronic resource] / S. Centrone. - Electronic text data. - Dordrecht : Springer, 2010. - (Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; 345). - ISBN 978-9-048-13246-1 : Б. ц.

Рубрики: Philosophy (general)
   Genetic epistemology
   Logic
   Phenomenology
   Science--Philosophy
   Logic, symbolic and mathematical
   Philosophy
   Epistemology
   Mathematical logic and foundations
   History of philosophy
   Logic
   Phenomenology
   Philosophy of science

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Phenomenology and mathematics [Electronic resource] / ed. M. Hartimo. - Electronic text data. - Dordrecht : Springer, 2010. - (Phaenomenologica, published under the auspices of the husserl-archives, ISSN 0079-1350 ; 195). - ISBN 978-9-048-13729-9 : Б. ц.

Рубрики: Philosophy (general)
   Logic
   Phenomenology
   Science--Philosophy
   Mathematics_$xHistory
   Philosophy
   Phenomenology
   Logic
   Philosophy of science
   History of mathematics
   History of philosophy

См. : Текст издания

Доп.точки доступа:
Hartimo, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Duzi, M.
    Procedural semantics for hyperintensional logic [Electronic resource] : foundations and applications of transparent intensional logic / M. Duzi, B. Jespersen, P. Materna. - Electronic text data. - Dordrecht : Springer, 2010. - (Logic, epistemology, and the unity of science ; 17). - ISBN 978-9-048-18812-3 : Б. ц.

Рубрики: Philosophy (general)
   Logic
   Ontology
   Linguistics--Philosophy
   Coding theory
   Semantics
   Philosophy
   Logic
   Semantics
   Coding and information theory
   Philosophy of language
   Ontology

См. : Текст издания

Доп.точки доступа:
Jespersen, B.; Materna, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Kaci, S.
    Working with preferences: less is more [Electronic resource] : less is more / S. Kaci. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Cognitive technologies, ISSN 1611-2482). - ISBN 978-3-642-17280-9 : Б. ц.

Рубрики: Computer science
   Logic
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Operations research/decision theory
   Logic
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)