English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik

Ohlbach, H. J. (1993). Ein kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik. In A. Kobsa (Ed.), Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS (pp. 19-26). Konstanz, Germany: Universität Konstanz, FB Informationswissenschaft.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ohlbach, Hans Jürgen1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: In diesem Bericht werden die wesentlichen Punkte gekl{\"a}rt, die f{\"u}r Anwender der funktionalen {\"U}bersetzung von Modal- nach Pr{\"a}dikatenlogik wichtig sind.

Details

show
hide
Language(s): deu - German
 Dates: 2010-03-121993
 Publication Status: Issued
 Pages: -
 Publishing info: Konstanz, Germany : Universität Konstanz, FB Informationswissenschaft
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519584
Other: Local-ID: C1256104005ECAFC-A8854C3B4419FC1BC125647B0051B906-Ohlbach93a
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: ?
Start-/End Date: 1993

Legal Case

show

Project information

show

Source 1

show
hide
Title: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS
Source Genre: Proceedings
 Creator(s):
Kobsa, Alfred, Editor
Affiliations:
-
Publ. Info: Konstanz, Germany : Universität Konstanz, FB Informationswissenschaft
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 19 - 26 Identifier: -