Year of publication
Type of media
Source
Type of material
Licence
Language
1–50 of 151 hits
Sort by:
Sort by:
-
Towards Polynomial Approximations of Full Propositional Logic
British Library Conference Proceedings | 2004| -
Polynomial Approximations of Full Propositional Logic via Limited Bivalence
British Library Conference Proceedings | 2004| -
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk)
British Library Conference Proceedings | 2010| -
When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames
British Library Conference Proceedings | 2002| -
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 Conference Proceedings | 2008| -
A Logic Based Algorithm for Solving Probabilistic Satisfiability
British Library Conference Proceedings | 2010| -
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
British Library Conference Proceedings | 2007| -
A Refuted Conjecture on Probabilistic Satisfiability
British Library Conference Proceedings | 2010| -
Towards a Multi-measurement Platform of e-Government Projects and Services
British Library Conference Proceedings | 2005| -
Critical Steps Towards e-Governance: A Case Study Analysis
British Library Conference Proceedings | 2004| -
Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains
British Library Conference Proceedings | 2006| -
Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese
British Library Conference Proceedings | 2006| -
Logics for Approximate Reasoning: Approximating Classical Logic "From Above"
British Library Conference Proceedings | 2002| -
Two-dimensional Executable Temporal Logic for Bitemporal Databases
British Library Conference Proceedings | 2000| -
The Swiss Postal Law of 1998: Is It Worth the Monopoly Protection?
British Library Conference Proceedings | 1999| -
Towards Electronic Governance - Gaining Evidence for a Paradigm Shift in Governance From Federated Identity Management
British Library Conference Proceedings | 2005| -
Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability
British Library Conference Proceedings | 2013| -
Exploiting Fitness Distance Correlation of Set Covering Problems
British Library Conference Proceedings | 2002| -
Search for the NN → 6q phase transition in the np-polarized measurements at T~k~i~n = 1-6 GeV
British Library Conference Proceedings | 2008| -
RXTE Observations of the Transient Accreting Pulsar 2S 1845-024 (GS 1843-02)
British Library Conference Proceedings | 1998| -
The concept of the "Learning Organization" applied to the transformation of the public sector: conceptual contributions for theory development
British Library Conference Proceedings | 1996| -
Recent Results from Observations of Accreting Pulsars
British Library Conference Proceedings | 1997| -
Metatem at Work: Modelling Reactive Systems Using Executable Temporal Logic
British Library Conference Proceedings | 1993| -
Useful classes of redundant array for Imaging applications
British Library Conference Proceedings | 1995| -
Metatem at Work: Modelling Reactive Systems Using Executable Temporal Logic
British Library Conference Proceedings | 1993| -
Risk sharing and capacity investment in the urban water sector in Europe
British Library Conference Proceedings | 2006| -
An April 1991 Outburst from 4U0115+63 Observed by BATSE
British Library Conference Proceedings | 1994| -
Learning from Life-Experiences to Cope with Change: The case of top-managers in public service enterprise
British Library Conference Proceedings | 1995| -
From e-Government to e-Governance? Towards a Model of e-Governance
British Library Conference Proceedings | 2003| -
PARTNERSHIPS IN THE UN: The Transformation of UNCTAD, a Case Study
British Library Conference Proceedings | 1999| -
Nuclear Orientation of Radioactive Nuclei: The SPIN Project
British Library Conference Proceedings | 2002|
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.