Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Artificial Intelligence 395)

Declarations

by M. Schmidt-Schauss

Paperback

ISBN: 978-0-387-51705-6

ISBN-10: 0-387-51705-7

Springer Verlag · 1990
See also (possibly by other authors):
2008TaschenbuchComputational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, Band 395)