Many-sorted logic and its applications
By: edited by K. Meinke and J.V. Tucker.
Contributors: Meinke, K.; Tucker, J. V. 1952-
Series: Wiley professional computing
Publisher: Wiley
Published: 1993
Place of publication: Chichester; New York
Language: eng
Number of pages: 397
Subjects: Computer science -- Mathematics.; Logic, Symbolic and mathematical.; Artificial intelligence.
Notes: Includes bibliographical references and index.