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
1-1 of 1 Editions
CSL'882nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science)
Language: eng
Pages: 399
Published In: October 18, 1989
Publisher: Springer