Year of publication
Type of material
Licence
Language
TIB reading rooms collection
Synonyms were used for: Computer logic
Search without synonyms: keywords:("Computer logic")
Used synonyms:
- programmierlogik
- programmierungslogik
-
Verifying Faradzev-Read Type Isomorph-Free Exhaustive Generation
TIBKAT | 2020|Keywords: Programmierlogik -
The Imandra Automated Reasoning System (System Description)
TIBKAT | 2020|Keywords: Programmierlogik -
Possible Models Computation and Revision — A Practical Approach
TIBKAT | 2020|Keywords: Programmierlogik -
MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
TIBKAT | 2020|Keywords: Programmierlogik -
Formal Proof of the Group Law for Edwards Elliptic Curves
TIBKAT | 2020|Keywords: Programmierlogik -
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL
TIBKAT | 2020|Keywords: Programmierlogik -
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
TIBKAT | 2020|Keywords: Programmierlogik -
Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis
TIBKAT | 2020|Keywords: Programmierlogik -
Integrating Induction and Coinduction via Closure Operators and Proof Cycles
TIBKAT | 2020|Keywords: Programmierlogik -
A Combinator-Based Superposition Calculus for Higher-Order Logic
TIBKAT | 2020|Keywords: Programmierlogik -
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
TIBKAT | 2020|Keywords: Programmierlogik
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.