Year of publication
Subject
Type of material
Licence
Language
1–20 of 2,029 hits
Sort by:
Sort by:
-
Category cooccurrence restrictions and the elimination of metarules
TIBKAT | 1986|Publisher: Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, Berlin -
Dokumentation von BLIP: Die Benutzerschnittstelle für die Wissensakquisition
TIBKAT | 1986|Publisher: Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, Künstl. Intelligenz u. Textverstehen, Berlin -
The user's guide to the BACK system : version 1
TIBKAT | 1987|Publisher: Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, Berlin -
Textlinguistische Probleme der maschinellen Übersetzung
TIBKAT | 1987|Publisher: Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, Berlin -
Design goals for sloppy modeling systems : Contract ITW-8501-B-1
TIBKAT | 1987|Publisher: Techn. Univ., Fachbereich Informatik, Inst. für Angewandte Informatik, Projektgruppe KIT, Berlin -
On periodic solutions of the nonlinear suspension bridge equation with a rotary inertia term
British Library Conference Proceedings | 1989|Publisher: KIT -
Nonlinear semigroups and applications to degenerate parabolic partial differential equations
British Library Conference Proceedings | 1989|Publisher: KIT -
A brief introduction to the L^2-cohomology of locally symmetric varieties
British Library Conference Proceedings | 1989|Publisher: KIT -
Convergence for solutions of equations involving accretive operators in Banach spaces
British Library Conference Proceedings | 1989|Publisher: KIT -
Some remarks on the abstract cauchy problem in the ultraweak sense
British Library Conference Proceedings | 1989|Publisher: KIT -
On polynomial growth harmonic functions and holomorphic functions on manifolds
British Library Conference Proceedings | 1989|Publisher: KIT -
Some topics in the study of elliptic equations
British Library Conference Proceedings | 1989|Publisher: KIT -
Developments in 1-dimensional calculus of variations affecting continuum mechanics
British Library Conference Proceedings | 1989|Publisher: KIT -
Sampling effect on the exponential map of vector fields
British Library Conference Proceedings | 1989|Publisher: KIT -
Regularity of isometric immersions of Riemannian manifolds
British Library Conference Proceedings | 1989|Publisher: KIT -
Terminological Logic Users Workshop : October 24 - 25, 1991 ; [Proceedings]
TIBKAT | 1991|Publisher: TU, Fachbereich 20, Informatik, Projektgruppe KIT, Berlin -
ET : eine Logik erster Stufe mit Selbstreferenz und totalem Wahrheitsprädikat
TIBKAT | 1992|Publisher: Techn. Univ., Projektgruppe KIT, Berlin
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.