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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Computational aspects of an order-sorted logic with term declarations by Manfred Schmidt-Schauss
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 25, 2024 | 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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition 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

Previews available in: English

Subjects
Sorting (Electronic computers), Symbolic and mathematical Logic

Showing 1 featured edition. View all 1 editions?

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
  • Not in Library
Libraries near you: WorldCat

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

ID Numbers

Open Library
OL24900469M
Internet Archive
computationalasp00schm_829
ISBN 10
0387517057
LCCN
89021790
OCLC/WorldCat
20318854

Source records

Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 25, 2024 Edited by MARC Bot import existing book
November 9, 2020 Edited by MARC Bot import existing book
June 29, 2019 Edited by MARC Bot import existing book
July 29, 2011 Created by LC Bot Imported from Library of Congress MARC record