This book is currently unavailable on Open Library, check out available alternatives.
An edition of Computational aspects of an order-sorted logic with term declarations (1989)

Computational aspects of an order-sorted logic with term declarations

by

Cover of: Computational aspects of an order-sorted logic with term declarations by M. Schmidt-Schauss, M. Schmidt-Schauss
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of Computational aspects of an order-sorted logic with term declarations (1989)

Computational aspects of an order-sorted logic with term declarations

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
171

Check nearby libraries

Buy this book

Subjects

Sorting (Electronic computers) Symbolic and mathematical Logic
Edition Availability
Cover of: Computational aspects of an order-sorted logic with term declarations
Computational aspects of an order-sorted logic with term declarations
1989, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 395., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 395., Lecture notes in computer science.
Other Titles
Order-sorted logic with term declarations.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9 .S343 1989

The Physical Object

Pagination
viii, 171 p. ;
Number of pages
171

Edition Identifiers

Open Library
OL2200207M
ISBN 10
0387517057
LCCN
89021790
Goodreads
4733993

Work Identifiers

Work ID
OL4786401W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON