Search Results - "mathematics"

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tortuosity and Microstructure Effects in Porous Media Classical Theories, Empirical Data and Modern Methods by Holzer, Lorenz

Subjects: “…Mathematical physics bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

Subjects: “…Mathematical foundations bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions by Ciardelli, Ivano

Subjects: “…Mathematical foundations bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Logic and Computation

Subjects: “…Mathematics & science bicssc…”
DOAB: download the publication
DOAB: description of the publication

A Passion for Cooperation Adventures of a Wide-Ranging Scientist by Axelrod, Robert

Subjects: “…Cooperation, international relations, international security, game theory, Prisoner's Dilemma, tit-for-tat, evolutionary biology, cancer, interdisciplinary research, collaboration, trench warfare, World War I, Russia, China, Israel, terrorism, conflict resolution, computer tournaments, simulation, mathematics, complexity, social science, economics, law, history, shadow of the future, competition, National Medal of Science, MacArthur Prize, Boris Mints Prize, Hamas, Jordan, Syria, Prime Minister, evolutionary biologists, interdisciplinary research…”
DOAB: download the publication
DOAB: description of the publication

Quantum Computing Algorithms and Computational Complexity

Subjects: “…Mathematics & science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Finite Elements and Symmetry

Subjects: “…Mathematics & science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Gender Equity in STEM in Higher Education International Perspectives on Policy, Institutional Culture, and Individual Choice

Subjects: “…Mathematics…”
DOAB: download the publication
DOAB: description of the publication

Gender Equity in STEM in Higher Education International Perspectives on Policy, Institutional Culture, and Individual Choice

Subjects: “…Mathematics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

A Passion for Cooperation Adventures of a Wide-Ranging Scientist by Axelrod, Robert

Subjects: “…Cooperation, international relations, international security, game theory, Prisoner's Dilemma, tit-for-tat, evolutionary biology, cancer, interdisciplinary research, collaboration, trench warfare, World War I, Russia, China, Israel, terrorism, conflict resolution, computer tournaments, simulation, mathematics, complexity, social science, economics, law, history, shadow of the future, competition, National Medal of Science, MacArthur Prize, Boris Mints Prize, Hamas, Jordan, Syria, Prime Minister, evolutionary biologists, interdisciplinary research…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences by Wen, Chih-Yung

Subjects: “…Mathematical physics bicssc…”
DOAB: download the publication
DOAB: description of the publication

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences by Wen, Chih-Yung

Subjects: “…Mathematical physics bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication