Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 151 hits
Sort by:
Sort by:
-
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| -
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|
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.