Search Results - "Logic, Symbolic and mathematical" :: K.UTB vyhledávací portál

Loading…

The Oxford Handbook of Philosophy of Mathematics and Logic

by Shapiro, Stewart
Year of Publication 03.03.2005

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Year of Publication 2025

Get full text

eBook

Loading…

Logical Dynamics of Information and Interaction

by van Benthem, Johan
Year of Publication 2011

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Introduction to Abstract Algebra

by Li, Libin
Year of Publication 2022

Get full text

eBook

Loading…

Peter Schroeder-Heister on Proof-Theoretic Semantics

by Piecha, Thomas, Wehmeier, Kai F
Year of Publication 2024

Get full text

eBook

Loading…

The Pragmatics of Humour in Interactive Contexts

by Esther Linares Bernabeu, Linares Bernabeu
Year of Publication 2023

Get full text

eBook Book

Loading…

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

Year of Publication 2023

Get full text

eBook

Loading…

Introduction to mathematical structures and proofs

by Gerstein, Larry J
Year of Publication 14.03.2013

Get full text

eBook

Loading…

Art, Science, and the Politics of Knowledge

by Rogers, Hannah Star
Year of Publication 2022

Get full text

eBook

Loading…

10th Anniversary of Axioms: Logic

Year of Publication 2023

Get full text

eBook

Loading…

Computational Artifacts: Towards a Philosophy of Computer Science

by Turner, Raymond
Year of Publication 2018

Get full text

eBook

Loading…

An introduction to practical formal methods using temporal logic

by Fisher, Michael
Year of Publication 2011

Get full text

eBook Book

Loading…

Introduction to Modern Algebra and its Applications

by Gubareni, Nadiya
Year of Publication 2021

Get full text

eBook Book

Loading…

Fuzzy Logic and Soft Computing - Dedicated to the Centenary of the Birth of Lotfi A. Zadeh (1921-2017)

Year of Publication 2022

Get full text

eBook

Loading…

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

by Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
Year of Publication 2018

Get full text

eBook Book

Loading…

Discourse functions at the left and right periphery : crosslinguistic investigations of language use and language change

by Beeching, Kate, Detges, Ulrich
Year of Publication 2014

Get full text

eBook Book

Loading…

Turing Computability: Theory and Applications

by Soare, Robert I
Year of Publication 2016

Get full text

eBook Book

Loading…

Counterspeech: Multidisciplinary Perspectives on Countering Dangerous Speech

by Ullmann, Stefanie, Tomalin, Marcus
Year of Publication 2024

Get full text

eBook

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database