„formal logic“

Suchergebnisse

1.000+ Treffer

• Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
  Gabbay, Dov M. ; Giacomin, Massimiliano ; Liao, Beishui ; Torre, Leendert ˜van derœ
• Automated Reasoning for Security Protocol Analysis
  Armando, Alessandro ; Basin, David A. ; Cuellar, Jorge ; Rusinowitch, Michaël ; Viganò, Luca
• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• Situated Ideological Systems: A Formal Concept, a Computational Notation, some Applications
  Rocha Costa, Antônio Carlos ˜daœ
• Switchable Photoelectrodes: Robust Hierarchically Structured Biphasic Ambipolar Oxide Photoelectrodes for Light‐Driven Chemical Regulation and Switchable Logic Applications (Adv. Mater. 42/2016)
  Bourée, Wiktor S. ; Prévot, Mathieu S. ; Jeanbourquin, Xavier A. ; Guijarro, Néstor ; Johnson, Melissa ; Formal, Florian Le ; Sivula, Kevin
• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• Präzises Denken für Informatiker
  Wolf, Karsten 2017 Springer Berlin Heidelberg
• Generalizing Morley’s and Other Theorems with Automated Realization
  Braude, Eric ; Abdyldayev, Satbek
• Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
  Boutry, Pierre ; Gries, Charly ; Narboux, Julien ; Schreck, Pascal
• Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
  Marić, Filip
• Markov Chains and Markov Decision Processes in Isabelle/HOL
  Hölzl, Johannes
• Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
  Li, Wenda ; Passmore, Grant Olney ; Paulson, Lawrence C.
• Design Patterns für mathematische Beweise – Ein Leitfaden insbesondere für Informatiker
  Ohlbach, Hans Jürgen ; Eisinger, Norbert 2017 Springer Berlin Heidelberg
• Unification Modulo ACUI Plus Distributivity Axioms
  Anantharaman, Siva ; Narendran, Paliath ; Rusinowitch, Michael
• A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
  Arieli, Ofer ; Avron, Arnon
• Logic – Foundations, the P-vs-NP-Problem and Information-Theoretic Perspectives
  Sina, Lucien 2025 epubli
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Formal Grammar – 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
  Morrill, Glyn V. ; Muskens, Reinhard ; Osswald, Rainer ; Richter, Frank 2014 Springer Berlin Heidelberg
• From Signatures to Monads in UniMath
  Ahrens, Benedikt ; Matthes, Ralph ; Mörtberg, Anders