Home
Search
Classification
About BLLDB
Contact
Privacy
Help
Deutsch
STATUS
Guest (Restricted Access)
SELECTED TITLES
Selected titles:
0
Export:
Text
|
Dublin Core
|
RIS
Journal article
[Search Result]
|
[save]
|
Bibliographic description
Author
Perlis, Donald;
Minker, Jack
Title
Completeness results for circumscription
Written in
English
Notes
15 Literaturangaben
Source
Artificial intelligence. - Amsterdam : Elsevier
Volume
28
Year
1986
Issue
1
Page
29-42
Classification
Domains / Linguistic logic
Domains / Linguistic logic / Predicate logic
Redirected from
Logic of language; Linguistic logic ; First-order logic; Second-order logic; Monadische Logik; Monadic logic; Dependence logic; Predicate logic