Zum Inhalt springen

Herre, Heinrich [HerausgeberIn]

Informationsverarbeitung in der Biomedizin - Erkennung von Stoffwechselerkrankungen : Workshop; 14. - 15. Juni 1996; Abstractband

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1996

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,9
Dahlmann, Friedrich Christoph [VerfasserIn]; Waitz, Georg [VerfasserIn] ; Herre, Paul [HerausgeberIn]

Quellenkunde der deutschen Geschichte - [8. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Koehler, 1912
Reichardt, Johann Friedrich [VerfasserIn] ; Herre, Grita [HerausgeberIn]

Briefe, die Musik betreffend : Berichte, Rezensionen, Essays

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Reclam, 1976

Erschienen in: Reclams Universal-Bibliothek ; 620
Heller, Barbara [VerfasserIn]; Herre, Heinrich [VerfasserIn]

Formal ontology and principles of GOL

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institute for Meidcal Informatics, Statistics and Epidemiology [u.a.], 2003

Erschienen in: Onto-Med report ; 1
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Contributions to the semantics of generalized logic programs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1996

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,6
Dietrich, Jens [VerfasserIn]; Herre, Heinrich [VerfasserIn]

Contributions to the theory of nonmonotonic inference systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1997

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1997,5
Engelfriet, Joeri [VerfasserIn]; Herre, Heinrich [VerfasserIn]

Generated preferred models of nonmonotonic systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1997

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1997,2
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Semantical foundation of extented generalized logic programs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1997

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1997,7
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Solving practical reasoning problems with extended disjunctive logic programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1996

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,8
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Stable and grounded models of extended generalized logic programs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1996

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,5
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Stable semantics of temporal deductive databases

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Institut für Informatik, 1996

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,7
Herre, Heinrich [VerfasserIn]; Wagner, Gerd [VerfasserIn]

A general notion of stable models

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Univ., Institut für Informatik, 1995

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 17
Goltz, Hans-Joachim [VerfasserIn]; Herre, Heinrich [VerfasserIn]

Grundlagen der logischen Programmierung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akad.-Verl., 1990

Erschienen in: Informatik, Kybernetik, Rechentechnik ; 34
Goltz, Hans-Joachim [VerfasserIn]; Herre, Heinrich [VerfasserIn]

Mathematische Grundlagen der logischen Programmierung - [2., überarb. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akad. d. Wiss. d. DDR, Inst. für Informatik und Rechentechnik, 1988

Erschienen in: Informatik, Informationen, Reporte ; 88,14
Herre, Heinrich [VerfasserIn]; Jaspars, Jan O. [VerfasserIn]; Wagner, Gerd [VerfasserIn]

Partial logics with two kinds of negation as a foundation for knowledge-based reasoning

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Univ., Inst. für Informatik, 1995

Erschienen in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 12
Dyckhoff, Roy [HerausgeberIn]; Herre, Heinrich [Sonstige Person, Familie und Körperschaft]; Schroeder-Heister, Peter Joseph [Sonstige Person, Familie und Körperschaft] ; ELP 5 1996 Leipzig

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1050
Heinrich, Friedrich [VerfasserIn] ; Herre, Friedrich [DruckerIn]; Herre, Friedrich [Verlag]

Zwölf Gedichte

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart: gedruckt und zu haben bei Friedrich Herre, 1825 ; Online-Ausgabe: Weimar: Klassik Stiftung Weimar, Herzogin Anna Amalia Bibliothek, 2020
Loebe, Frank [VerfasserIn] ; Herre, Heinrich [AkademischeR BetreuerIn]; Herre, Heinrich [Sonstige Person, Familie und Körperschaft]; Grüninger, Michael [Sonstige Person, Familie und Körperschaft]

Ontological Semantics : An Attempt at Foundations of Ontology Representation

Online ansehen
Schließen

Zugang

https://d-nb.info/1239565658/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Universitätsbibliothek Leipzig, 2015
Theodoricus, Petrus [VerfasserIn] ; Herre, Adam [Sonstige Person, Familie und Körperschaft] Universität Jena

Decanus Facultatis Iuridicae In Academia Ienensi Petrus Theodoricus I. U. D. Et Professor Publicus, LL. Studiosis S. P. D : Prudenter a Veteribus dictum est honorem esse calcaer & uberrimum virtutis alimentum ... P.P. Jenae Dominica Invocavit Anno Christi 1613.

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S. l.], 1613 ; Online-Ausgabe: Gotha: UFB Erfurt/Gotha
Uciteli, Alexandr [VerfasserIn]; Herre, Heinrich [VerfasserIn]

OntoStudyEdit : a new approach for ontology-based representation and management of metadata in clinical and epidemiological research

Online ansehen
Schließen

Zugang

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London, UK: BioMed Central, 2015

Erschienen in: Journal of biomedical semantics ; 6(2015), Seite 41

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr