Year of publication
Type of media
Source
Subject
Type of material
Licence
21–40 of 678 hits
Sort by:
Sort by:
-
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
British Library Conference Proceedings | 2004| -
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
British Library Online Contents | 2004| -
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
Online Contents | 2004| -
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk)
British Library Conference Proceedings | 2010| -
Einfluss von Kugelmahlen auf die Quantenausbeute photokatalysierter Gasphasenreaktionen
Online Contents | 2003| -
When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames
British Library Conference Proceedings | 2002| -
DEBAT Faut-il poursuivre la liberalisation des services publics?
British Library Online Contents | 2002| -
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk)
British Library Online Contents | 2010| -
Computational Solutions for Structural Constraints (Learning Structural Permissions in Categorial Grammar)
British Library Online Contents | 2001| -
Computational Solutions for Structural Constraints (Learning Structural Permissions in Categorial Grammar)
British Library Conference Proceedings | 2001| -
Revising Specifications with CTL Properties Using Bounded Model Checking
British Library Online Contents | 2008| -
Revising Specifications with CTL Properties Using Bounded Model Checking
British Library Conference Proceedings | 2008|
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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.