Computational aspects of an order-sorted logic with term declarations

Saved in:

Bibliographic Details
Main Author:	Schmidt-Schauss, M. Manfred
Format:	Book
Published:	Berlin Springer-Verlag 1989
Series:	Lecture notes in computer science Lecture notes in artificial intelligence 395.
Subjects:	Sorting (Electronic computers) Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-2559
020	#	#	\|a 0387517057
090	0	0	\|a QA9 \|b .S343 1989
100	1	#	\|a Schmidt-Schauss, M. \|q Manfred
245	1	1	\|a Computational aspects of an order-sorted logic with term declarations \|c M. Schmidt-Schauss
260	#	#	\|a Berlin \|b Springer-Verlag \|c 1989
300	#	#	\|a viii, 171 p. \|b ill. \|c 24 cm
490	1	#	\|a Lecture notes in computer science \|a Lecture notes in artificial intelligence \|v 395.
504	#	#	\|a Includes bibliographical references.
650	#	0	\|a Sorting (Electronic computers)
650	#	0	\|a Logic, Symbolic and mathematical
740	1	#	\|a Order-sorted logic with term declarations
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=2559
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam