UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Comparing responses to different selenium sources and dosages in laying hens

Poultry science, 2014-12, Vol.93 (12), p.3083-3090

2014

Volltextzugriff (PDF)

Hsc70-4 Deforms Membranes to Promote Synaptic Protein Turnover by Endosomal Microautophagy

Neuron (Cambridge, Mass.), 2015-11, Vol.88 (4), p.735-748

2015

Volltextzugriff (PDF)

Detailed analysis of the microbial population in Malaysian spontaneous cocoa pulp fermentations reveals a core and variable microbiota

PloS one, 2013-12, Vol.8 (12), p.e81559-e81559

2013

Volltextzugriff (PDF)

Assessment of cantilevered concrete balconies by means of practically oriented evaluation tools

MATEC Web of Conferences, 2022, Vol.364, p.3003

2022

Volltextzugriff (PDF)

Revamping corrosion damaged reinforced concrete balconies: Life cycle assessment and life cycle cost of life-extending repair methods

Journal of Building Engineering, 2022-07, Vol.52, p.104436, Article 104436

2022

Volltextzugriff (PDF)

Grounding FO and FO(ID) with Bounds

The Journal of artificial intelligence research, 2010-05, Vol.38, p.223-269

2010

Volltextzugriff (PDF)

Finite domain and symbolic inference methods for extensions of first-order logic

Ai communications, 2011, Vol.24 (1), p.91-93

Wittocx, Johan

2011

Volltextzugriff (PDF)

Constraint Propagation for First-Order Logic and Inductive Definitions

ACM transactions on computational logic, 2013-08, Vol.14 (3), p.1-45

2013

Volltextzugriff (PDF)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

Theory and Applications of Satisfiability Testing – SAT 2008, p.211-224

Volltextzugriff (PDF)

Debugging for Model Expansion

Logic Programming, p.296-311

Volltextzugriff (PDF)

A Prototype of a Knowledge-Based Programming Environment

Applications of Declarative Programming and Knowledge Management, p.279-286

Volltextzugriff (PDF)

Detailed Analysis of the Microbial Population in Malaysian Spontaneous Cocoa Pulp Fermentations Reveals a Core and Variable Microbiota: e81559

PloS one, 2013-12, Vol.8 (12)

2013

Volltextzugriff (PDF)

A Deductive System for PC(ID)

Logic Programming and Nonmonotonic Reasoning, p.162-174

Volltextzugriff (PDF)

Towards Computing Revised Models for FO Theories

Applications of Declarative Programming and Knowledge Management, p.85-101

Volltextzugriff (PDF)

Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, p.12-32

Volltextzugriff (PDF)

Integrating Inductive Definitions in SAT

Logic for Programming, Artificial Intelligence, and Reasoning, p.378-392

Volltextzugriff (PDF)

An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems

Logics in Artificial Intelligence, p.326-338

Volltextzugriff (PDF)

Predicate Introduction Under Stable and Well-Founded Semantics

Lecture notes in computer science, 2006, p.242-256

2006

Volltextzugriff (PDF)

Kees Goudzwaard: Schilderijen/Kees Goudzwaard: Paintings

Ghent, Belgium: Stedelijk Museum voor Actuele Kunst, 2005, ISBN: 9075679211, 2005, p.95; 1 folded plate-95; 1 folded plate

(text by) Wittocx, Eva

2005

Volltextzugriff (PDF)

Determination of aliphatic aldehydes in waters by high-performance liquid chromatography

Analytica chimica acta, 1985, Vol.169, p.419-424

1985

Volltextzugriff (PDF)

Allegory of the Cave Painting

Flash art (International), 2014-11, Vol.47 (299), p.100-101

Wittocx, Eva

2014

Volltextzugriff (PDF)

Performa 07

Flash art (International), 2008-01, Vol.41 (258), p.77-82

Wittocx, Eva

2008

Volltextzugriff (PDF)

Daria Martin: Harpstrings and Lava

Flash art (International), 2007-11, Vol.40 (257), p.105-105

Wittocx, Eva

2007

Volltextzugriff (PDF)

Skulptur Projekte Münster 07

Flash art (International), 2007-10, Vol.40 (256), p.78-79

Wittocx, Eva

2007

Volltextzugriff (PDF)

Michaël Borremans

Flash art (International), 2004-11, Vol.37 (239), p.111-111

Wittocx, Eva

2004

Volltextzugriff (PDF)

1 – 25 von 30

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(19)
Mit Volltextzugriff
(19)

Publikationsform

Sprache

Englisch
(30)

Erscheinungsjahr

n.n

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Comparing responses to different selenium sources and dosages in laying hens

Hsc70-4 Deforms Membranes to Promote Synaptic Protein Turnover by Endosomal Microautophagy

Detailed analysis of the microbial population in Malaysian spontaneous cocoa pulp fermentations reveals a core and variable microbiota

Assessment of cantilevered concrete balconies by means of practically oriented evaluation tools

Revamping corrosion damaged reinforced concrete balconies: Life cycle assessment and life cycle cost of life-extending repair methods

Grounding FO and FO(ID) with Bounds

Finite domain and symbolic inference methods for extensions of first-order logic

Constraint Propagation for First-Order Logic and Inductive Definitions

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions

Debugging for Model Expansion

A Prototype of a Knowledge-Based Programming Environment

Detailed Analysis of the Microbial Population in Malaysian Spontaneous Cocoa Pulp Fermentations Reveals a Core and Variable Microbiota: e81559

A Deductive System for PC(ID)

Towards Computing Revised Models for FO Theories

Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology

Integrating Inductive Definitions in SAT

An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems

Predicate Introduction Under Stable and Well-Founded Semantics

Kees Goudzwaard: Schilderijen/Kees Goudzwaard: Paintings

Determination of aliphatic aldehydes in waters by high-performance liquid chromatography

Allegory of the Cave Painting

Performa 07

Daria Martin: Harpstrings and Lava

Skulptur Projekte Münster 07

Michaël Borremans

Suchergebnisse filtern