Suchergebnisse - Logic, Symbolic and mathematical Data processing

Commonsense reasoning von Mueller, Erik T.

“… The only up-to-date book on logic-based commonsense reasoning …”
Volltext

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

“… This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS …”
Volltext

Robust Argumentation Machines: First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings von Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno

“… This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in …”
Volltext

Finitely supported mathematics : an introduction von Andrei, Alexandru, Ciobanu, Gabriel

“… ) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite …”
Volltext

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 von Kobayashi, Naoki, Worrell, James

“… : Types and programming languages; logic and proofs; infinite-state systems …”
Volltext

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 von Kobayashi, Naoki, Worrell, James

“… : Types and programming languages; logic and proofs; infinite-state systems …”
Volltext

Practical MATLAB - With Modeling, Simulation, and Processing Projects von Turk, Irfan

“… Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II von Silva, Alexandra, Leino, K. Rustan M

“… This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021 …”
Volltext

The Everyday Life of an Algorithm von Neyland, Daniel

“… This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I von Silva, Alexandra, Leino, K. Rustan M

“… This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021 …”
Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I von Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“… ; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models …”
Volltext

Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II von Benzmüller, Christoph, Heule, Marijn J. H, Schmidt, Renate A

“… ; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models …”
Volltext

Learning-Assisted Automated Reasoning with Flyspeck von Kaliszyk, Cezary, Urban, Josef

“… The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs …”
Volltext

Data Clustering: Algorithms and Applications von Aggarwal, Charu C., Reddy, Chandan K.

“… In this book, top researchers from around the world cover the entire area of clustering, from basic methods to more refined and complex data clustering approaches …”
Volltext

HermiT: An OWL 2 Reasoner von Glimm, Birte, Horrocks, Ian, Motik, Boris, Stoilos, Giorgos, Wang, Zhe

“… This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the …”
Volltext

Fuzzy Algebraic Hyperstructures: An Introduction von Davvaz, Bijan, Cristea, Irina

“… the authors' past research and thus provides a starting point for future research directions …”
Volltext

Schaum's outline of discrete mathematics von Lipschutz, Seymour, Lipson, Marc Lars

Volltext

Practical MATLAB Modeling with Simulink - Programming and Simulating Ordinary and Partial Differential Equations von Eshkabilov, Sulaymon L

“… Employ the essential and hands-on tools and functions of MATLAB's ordinary differential equation (ODE) and partial differential equation (PDE) packages, which …”
Volltext

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods von Alama, Jesse, Heskes, Tom, Kühlwein, Daniel, Tsivtsivadze, Evgeni, Urban, Josef

“… This work develops learning-based premise selection in two ways. First, a fine-grained dependency analysis of existing high-level formal mathematical proofs is used …”
Volltext

Human-Centered AI von SHNEIDERMAN, BEN

“… Shneiderman discusses the Human-Centered AI (HCAI). HCAI is a vision of how machines might augment humans, and even encourage our best impulses toward each …”
Volltext