Semantik logischer Programme

Semantik logischer Programme

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sperber, Helmut (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Erlangen Inst. für Math. Maschinen und Datenverarbeitung 1988
Schriftenreihe:	Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) 21,8
Schlagworte:	Logische Programmierung Formale Semantik Programm
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Selektor-erzeugte Modelle verallgemeinerter logischer Programme
von: Schwarz, Sibylle 1966-
Veröffentlicht: (2004)

Semantik eine Einführung
von: Gutzmann, Daniel
Veröffentlicht: (2020)

Semantik eine Einführung
von: Gutzmann, Daniel
Veröffentlicht: (2019)

Semantische Aspekte elementarer Sprachen
von: Kleinknecht, Reinhard
Veröffentlicht: (1976)

Semantische Aspekte elementarer Sprachen
von: Kleinknecht, Reinhard
Veröffentlicht: (1976)

Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen
von: Rohen, Mechthild
Veröffentlicht: (1991)

Datenparallele Auswertung rekursiver logischer Programme
von: Klingler, Antonius
Veröffentlicht: (1993)

Predmetnaja oblast' v logičeskoj semantike
von: Bessonov, Aleksandr Vladimirovič
Veröffentlicht: (1985)

Advances in inductive logic programming
Veröffentlicht: (1996)

Logical aspects of computational linguistics celebrating 20 years of LACL (1996-2016) : 9th international conference, LACL 2016, Nancy, France, December 5-7, 2016 : proceedings
Veröffentlicht: (2016)

Formale Semantik und natürliche Sprache
von: Lohnstein, Horst 1958-
Veröffentlicht: (2011)

Logic programming proceedings of the Joint International Conference and Symposium on Logic Programming
Veröffentlicht: (1992)

Beiträge zur Theorie des logisch-funionalen Programmierens
von: Bockmayr, Alexander M.
Veröffentlicht: (1990)

Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL
von: Hinkel, Ursula
Veröffentlicht: (1998)

Semantika i logika Njakoi granic̆ni problemi na ontologijata, semantikata i logikata
von: Djankov, Bogdan
Veröffentlicht: (1975)

Introduction à la sémantique des logiques non-classiques Texte remanié d'un cours professé à l'École Normale Supérieure de Jeunes Filles, janvier-mars 1977
von: Van Heijenoort, Jean 1912-1986
Veröffentlicht: (1979)

Logičeskaja semantika i filosofskie osnovanija logiki
von: Smirnova, Elena D.
Veröffentlicht: (1986)

Elements of formal semantics an introduction to logic for students of language
von: Martin, John P.

Formal semantics an introduction
von: Cann, Ronnie
Veröffentlicht: (1994)

Semantics with applications: an appetizer
von: Nielson, Hanne Riis 1954-, et al.
Veröffentlicht: (2007)

The semantic foundations of logic
von: Epstein, Richard L. 1947-

Elements of formal semantics an introduction to the mathematical theory of meaning in natural language
von: Winter, Yoad 1966-
Veröffentlicht: (2016)

Integration von Konzepten der objektorientierten und logischen Programmierung
von: Welsch, Christoph
Veröffentlicht: (1990)

Elements of formal semantics an introduction to the mathematical theory of meaning in natural language
von: Winter, Yoad 1966-
Veröffentlicht: (2016)

Formalisierung in der Semantik Versuch einer Formalisierung eines Teilbereichs eines semantischen Systems, gezeigt am Beispiel des Tschechischen
von: Flößer, Josef
Veröffentlicht: (1982)

Eine relationale PROLOG-Semantik
von: Weingärtner, Josef
Veröffentlicht: (1989)

Eine relationale PROLOG-Semantik
von: Weingärtner, Josef
Veröffentlicht: (1989)

Ein Modell zur parallelen Ausführung von Logikprogrammen auf der Basis von partiellen AND-Prozessen
von: Schend, Bernd
Veröffentlicht: (1988)

Einführung in die logische Programmierung mit PROLOG
von: Belli, Fevzi
Veröffentlicht: (1988)

Einführung in die logische Programmierung mit PROLOG
von: Belli, Fevzi
Veröffentlicht: (1988)

Zur Modellierung logischer Aussagen ergänzend zu linearen Programmen
von: Meier, G., et al.

ILFA - ein Tool für Logikanwendungen
von: Flögel, Andreas, et al.
Veröffentlicht: (1991)

Semantik und Programmverifikation
von: Walther, Christoph
Veröffentlicht: (2001)

Meaning and grammar an introduction to semantics
von: Chierchia, Gennaro, et al.
Veröffentlicht: (1992)

Varieties of formal semantics proceedings of the 4. Amsterdam Colloquium, Sept. 1982
Veröffentlicht: (1984)

Informal lectures on formal semantics
von: Bach, Emmon
Veröffentlicht: (1989)

Semantik Theorie sequentieller und paralleler Programmierung
von: Best, Eike 1951-
Veröffentlicht: (1995)

Logic programming and knowledge representation third international workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 ; selected papers
Veröffentlicht: (1998)

Die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken
von: Schmitt, Peter H. 1948-, et al.

Inférence, antonymie et paraphrase éléments pour une théorie sémantique
von: Martin, Robert 1936-
Veröffentlicht: (1976)