A resolution principle for a logic with restricted quantifiers

A resolution principle for a logic with restricted quantifiers

Teilw. zugl.: Kaiserslautern, Univ., Diss.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bürckert, Hans-Jürgen (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1991
Schriftenreihe:Lecture notes in computer science 568 : Lecture notes in artificial intelligence
Schlagworte:
Automatic theorem proving > Logic, Symbolic and mathematical > Logic, symbolic and mathematical > Logic programming > Hochschulschrift > Prädikatenlogik > Eingeschränkter Quantor
Online Zugang:Cover
Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Teilw. zugl.: Kaiserslautern, Univ., Diss.
Beschreibung:Literaturverz. S. [101] - 109
Beschreibung:X, 116 S
graph. Darst
ISBN:3540550348
3-540-55034-8
0387550348
0-387-55034-8