Skip to contents

Herre, Heinrich [Editor]

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1996

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

Quellenkunde der deutschen Geschichte - [8. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Koehler, 1912
Reichardt, Johann Friedrich [Author] ; Herre, Grita [Editor]

Briefe, die Musik betreffend : Berichte, Rezensionen, Essays

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Reclam, 1976

Published in: Reclams Universal-Bibliothek ; 620
Heller, Barbara [Author]; Herre, Heinrich [Author]

Formal ontology and principles of GOL

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Onto-Med report ; 1
Dietrich, Jens [Author]; Herre, Heinrich [Author]

Contributions to the theory of nonmonotonic inference systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1997

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

Generated preferred models of nonmonotonic systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1997

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

Semantical foundation of extented generalized logic programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1997

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

Contributions to the semantics of generalized logic programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1996

Published in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,6
Herre, Heinrich [Author]; Wagner, Gerd [Author]

A general notion of stable models

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 17
Herre, Heinrich [Author]; Wagner, Gerd [Author]

Solving practical reasoning problems with extended disjunctive logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1996

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

Stable and grounded models of extended generalized logic programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1996

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

Stable semantics of temporal deductive databases

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Institut für Informatik, 1996

Published in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 1996,7
Goltz, Hans-Joachim [Author]; Herre, Heinrich [Author]

Grundlagen der logischen Programmierung

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Akad.-Verl., 1990

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

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Universität Leipzig: Report / Institut für Informatik, Universität Leipzig ; 12
Dyckhoff, Roy [Editor]; Herre, Heinrich [Other]; Schroeder-Heister, Peter Joseph [Other] ; ELP 5 1996 Leipzig

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1050
Heinrich, Friedrich [Author] ; Herre, Friedrich [Printer]; Herre, Friedrich [Publisher]

Zwölf Gedichte

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: gedruckt und zu haben bei Friedrich Herre, 1825 ; Online-Ausgabe, Weimar: Klassik Stiftung Weimar, Herzogin Anna Amalia Bibliothek, 2020
Loebe, Frank [Author] ; Herre, Heinrich [Degree supervisor]; Herre, Heinrich [Other]; Grüninger, Michael [Other]

Ontological Semantics : An Attempt at Foundations of Ontology Representation

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Universitätsbibliothek Leipzig, 2015
Theodoricus, Petrus [Author] ; Herre, Adam [Other] 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.

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

View online
Schließen

Access

... to article via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London, UK: BioMed Central, 2015

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

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication