Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: logic
Search without synonyms: keywords:("logic")
Used synonyms:
- deduktion
- logik
- philosophische logik
-
Kant's transcendental deduction and the theory of apperception : new interpretations
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2022|Keywords: Transzendentale Deduktion, Deduktion -
Kant’s deduction from apperception : an essay on the transcendental deduction of the categories
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2019|Keywords: Transzendentale Deduktion, Deduktion -
The dialogical roots of deduction : historical, cognitive, and philosophical perspectives on reasoning
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2021|Keywords: Mathematische Logik, Logic, Deduktion -
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
TIBKAT | 2021|Keywords: Deduktion -
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
TIBKAT | 2021|Keywords: Deduktion -
A Multilanguage Static Analysis of Python Programs with Native C Extensions
TIBKAT | 2021|Keywords: Deduktion -
The reduction of physical theories : a contribution to the unity of physics / Erhard Scheibe ; translated by Brigitte Falkenburg, Gregg Jaeger ; part 1: Foundations and elementary theory
TIBKAT | 2022|Keywords: REDUKTIONISMUS (PHILOSOPHISCHE LOGIK) -
Deductions-Bibliothek von Teutschland nebst dazugehörigen Nachrichten
Free accessGWLB - Gottfried Wilhelm Leibniz Bibliothek | 1. Band (1778)-4. Band (1783)|Keywords: Deduktion -
Deductions-Bibliothek von Teutschland nebst dazugehörigen Nachrichten
Free accessTIBKAT | 1. Band (1778)-4. Band (1783)|Keywords: Deduktion -
Accelerating Program Analyses in Datalog by Merging Library Facts
TIBKAT | 2021|Keywords: Deduktion -
Exploiting Verified Neural Networks via Floating Point Numerical Error
TIBKAT | 2021|Keywords: Deduktion
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.