Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, Band 395)

Declarations

von Manfred Schmidt-Schau??

Taschenbuch

ISBN-13: 978-3-540-51705-4

ISBN-10: 3-540-51705-7

Springer · 2008
S. auch (eventuell von anderen Autoren):
1990PaperbackComputational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)