Items related to Computational Aspects of an Order-Sorted Logic with...
Computational Aspects of an Order-Sorted Logic with Term Declarations: 395 (Lecture Notes in Computer Science, 395) - Softcover
Synopsis
The increasing number of publications and international congresses on schizoaffective psychoses were the reason to present this topic in detail and comprehensively for the first time in book form. Well-known scientists from Germany and abroad provide practical, clinically relevant information about the diagnosis, course, therapy and prophylaxis of schizoaffective psychoses. Genetic and social aspects as well as future prospects are also addressed.
"synopsis" may belong to another edition of this title.
Search results for Computational Aspects of an Order-Sorted Logic with...
Stock Image
Computational Aspects of an Order-sorted Logic With Term Declarations
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-577-908
Quantity: 1 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540517054
Quantity: 10 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540517054_new
Quantity: Over 20 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Auflage: 1989. 184 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 23,1 x 15,2 x 1,3 cm, Taschenbuch. Seller Inventory # 370895
Quantity: 1 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. 184 pp. Englisch. Seller Inventory # 9783540517054
Quantity: 2 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References. Seller Inventory # 9783540517054
Quantity: 1 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.InhaltsverzeichnisFoundations.- Various ex. Seller Inventory # 4892090
Quantity: Over 20 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations
Published by
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540517057
ISBN 13: 9783540517054
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch. Seller Inventory # 9783540517054
Quantity: 2 available
Seller Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UT1572730
Quantity: 1 available
Stock Image
Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-3540517057
Quantity: 1 available