An edition of Computational aspects of an order-sorted logic with term declarations (1989)
CSL'88
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
By Manfred Schmidt-Schauss
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
October 18, 1989
Publisher
Springer
Language
eng
Pages
399
Description:
subjects: Logique 1er ordre, Logique symbolique et mathématique, Sorting (Electronic computers), Symbolic and mathematical Logic, Résolution problème, Représentation connaissance, Tri (Informatique), Déduction automatique, Ordnungssortierte Logik, Formalisme, Tri (Ordinateurs), Logique mathématique, Unifikationstheorie