Year of publication
Type of material
Licence
1–50 of 8,331 hits
Sort by:
Sort by:
-
Towards automated first-order abduction: the cut-based approach
British Library Online Contents | 2012| -
Spin observables in np elastic scattering in the energy range 200–600 MeV. Complete experiment
Springer Verlag | 2008| -
Spin observables in np elastic scattering in the energy range 200–600 MeV. Complete experiment
Online Contents | 2008| -
Spin observables in elastic np interaction in the energy range 230–590 MeV. Complete experiment
Online Contents | 2007| -
Spin observables in np elastic scattering in the energy range 200–600 MeV. Complete experiment
British Library Online Contents | 2008| -
Spin observables in elastic np interaction in the energy range 230–590 MeV. Complete experiment
British Library Online Contents | 2007| -
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
British Library Online Contents | 2015| -
Towards Polynomial Approximations of Full Propositional Logic
British Library Online Contents | 2004| -
Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
Online Contents | 2004| -
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
British Library Conference Proceedings | 2004| -
Towards Polynomial Approximations of Full Propositional Logic
British Library Conference Proceedings | 2004| -
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
British Library Online Contents | 2004| -
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk)
British Library Conference Proceedings | 2010| -
Spin observables in elastic np interaction in the energy range 230–590 MeV. Complete experiment
Springer Verlag | 2007| -
When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames
British Library Conference Proceedings | 2002| -
Einfluss von Kugelmahlen auf die Quantenausbeute photokatalysierter Gasphasenreaktionen
Online Contents | 2003| -
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| -
Entwicklung eines Raman-Chemical-Imaging-Messverfahrens zur Analyse der Verteilung von Inhaltsstoffen im Papierquerschnitt : Raman-Chemical-Imaging : im Rahmen des Forschunsvorhabens MF 120171 : im Programm zur "Förderung von Forschung und Entwicklung bei Wachstumsträgern in benachteiligten Regionen"
Free accessTIBKAT | 2015| -
Study of Spin Effects in Nucleon-Nucleon Interactions at Intermediate Energies
British Library Online Contents | 1998| -
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
British Library Online Contents | 2007|
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.