On skolemization in constrained logics

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
40 S.
Language
Deutsch

Keyword
Künstliche Intelligenz

Event
Veröffentlichung
(where)
Kaiserslautern, Saarbrücken
(who)
DFKI
(when)
1993
Creator
Bürckert, Hans-Jürgen
Hollunder, Bernhard
Laux, Armin

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:38 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Bürckert, Hans-Jürgen
  • Hollunder, Bernhard
  • Laux, Armin
  • DFKI

Time of origin

  • 1993

Other Objects (12)