Items related to A Many-Sorted Calculus Based on Resolution and Paramodulatio...

A Many-Sorted Calculus Based on Resolution and Paramodulation - Softcover

Walther, Christoph

 
9780273087182: A Many-Sorted Calculus Based on Resolution and Paramodulation
Softcover
ISBN 10: 0273087185 ISBN 13: 9780273087182
Publisher: Morgan Kaufmann, 1987

Synopsis

A Many-Sorted Calculus Based on Resolution and ParamodulationAuthor: Walther, ChristophTitle: A Many-Sorted Calculus Based on Resolution and ParamodulationPublication: Morgan KaufmannEdition: FIRST EDITIONDescription: First Edition, First Printing. Published by Morgan Kaufmann, 1987. Octavo. Paperback. Book is very good.Seller ID: 540079Subject: Reference We Buy Books! Collections - Libraries - Estates - Individual Titles. Message us if you have books to sell!

"synopsis" may belong to another edition of this title.

Language Notes

Text: English, German (translation)

"About this title" may belong to another edition of this title.

Publisher
Morgan Kaufmann
Publication date
1987
Language
English
ISBN 10 
0273087185
ISBN 13 
9780273087182
Binding
Paperback
Number of pages
168